text:
% Frame number: 0
holdsAt( appearance( id0 )=appear,  0 ).
holdsAt( appearance( id1 )=appear,  0 ).
holdsAt( appearance( id2 )=appear,  0 ).

% Frame number: 1
holdsAt( appearance( id0 )=visible,  40 ).
holdsAt( appearance( id1 )=visible,  40 ).
holdsAt( appearance( id2 )=visible,  40 ).

% Frame number: 2
holdsAt( appearance( id0 )=visible,  80 ).
holdsAt( orientation( id1 )=170, 80  ). holdsAt( appearance( id1 )=visible,  80 ).
holdsAt( appearance( id2 )=visible,  80 ).

% Frame number: 3
holdsAt( appearance( id0 )=visible,  120 ).
holdsAt( appearance( id1 )=visible,  120 ).
holdsAt( orientation( id2 )=170, 120  ). holdsAt( appearance( id2 )=visible,  120 ).

% Frame number: 4
holdsAt( appearance( id0 )=visible,  160 ).
holdsAt( appearance( id1 )=visible,  160 ).
holdsAt( appearance( id2 )=visible,  160 ).

% Frame number: 5
holdsAt( appearance( id0 )=visible,  200 ).
holdsAt( appearance( id1 )=visible,  200 ).
holdsAt( appearance( id2 )=visible,  200 ).

% Frame number: 6
holdsAt( appearance( id0 )=visible,  240 ).
holdsAt( appearance( id1 )=visible,  240 ).
holdsAt( orientation( id2 )=170, 240  ). holdsAt( appearance( id2 )=visible,  240 ).

% Frame number: 7
holdsAt( orientation( id0 )=150, 280  ). holdsAt( appearance( id0 )=visible,  280 ).
holdsAt( appearance( id1 )=visible,  280 ).
holdsAt( appearance( id2 )=visible,  280 ).

% Frame number: 8
holdsAt( appearance( id0 )=visible,  320 ).
holdsAt( appearance( id1 )=visible,  320 ).
holdsAt( appearance( id2 )=visible,  320 ).

% Frame number: 9
holdsAt( orientation( id0 )=150, 360  ). holdsAt( appearance( id0 )=visible,  360 ).
holdsAt( orientation( id1 )=170, 360  ). holdsAt( appearance( id1 )=visible,  360 ).
holdsAt( appearance( id2 )=visible,  360 ).

% Frame number: 10
holdsAt( appearance( id0 )=visible,  400 ).
holdsAt( appearance( id1 )=visible,  400 ).
holdsAt( orientation( id2 )=170, 400  ). holdsAt( appearance( id2 )=visible,  400 ).

% Frame number: 11
holdsAt( orientation( id0 )=150, 440  ). holdsAt( appearance( id0 )=visible,  440 ).
holdsAt( appearance( id1 )=visible,  440 ).
holdsAt( appearance( id2 )=visible,  440 ).

% Frame number: 12
holdsAt( appearance( id0 )=visible,  480 ).
holdsAt( appearance( id1 )=visible,  480 ).
holdsAt( appearance( id2 )=visible,  480 ).

% Frame number: 13
holdsAt( appearance( id0 )=visible,  520 ).
holdsAt( appearance( id1 )=visible,  520 ).
holdsAt( appearance( id2 )=visible,  520 ).

% Frame number: 14
holdsAt( appearance( id0 )=visible,  560 ).
holdsAt( appearance( id1 )=visible,  560 ).
holdsAt( appearance( id2 )=visible,  560 ).

% Frame number: 15
holdsAt( orientation( id0 )=150, 600  ). holdsAt( appearance( id0 )=visible,  600 ).
holdsAt( appearance( id1 )=visible,  600 ).
holdsAt( appearance( id2 )=visible,  600 ).

% Frame number: 16
holdsAt( appearance( id0 )=visible,  640 ).
holdsAt( appearance( id1 )=visible,  640 ).
holdsAt( appearance( id2 )=visible,  640 ).

% Frame number: 17
holdsAt( appearance( id0 )=visible,  680 ).
holdsAt( appearance( id1 )=visible,  680 ).
holdsAt( appearance( id2 )=visible,  680 ).

% Frame number: 18
holdsAt( appearance( id0 )=visible,  720 ).
holdsAt( appearance( id1 )=visible,  720 ).
holdsAt( appearance( id2 )=visible,  720 ).

% Frame number: 19
holdsAt( appearance( id0 )=visible,  760 ).
holdsAt( appearance( id1 )=visible,  760 ).
holdsAt( appearance( id2 )=visible,  760 ).

% Frame number: 20
holdsAt( appearance( id0 )=visible,  800 ).
holdsAt( appearance( id1 )=visible,  800 ).
holdsAt( appearance( id2 )=visible,  800 ).

% Frame number: 21
holdsAt( appearance( id0 )=visible,  840 ).
holdsAt( appearance( id1 )=visible,  840 ).
holdsAt( orientation( id2 )=170, 840  ). holdsAt( appearance( id2 )=visible,  840 ).

% Frame number: 22
holdsAt( orientation( id0 )=150, 880  ). holdsAt( appearance( id0 )=visible,  880 ).
holdsAt( orientation( id1 )=170, 880  ). holdsAt( appearance( id1 )=visible,  880 ).
holdsAt( appearance( id2 )=visible,  880 ).

% Frame number: 23
holdsAt( appearance( id0 )=visible,  920 ).
holdsAt( appearance( id1 )=visible,  920 ).
holdsAt( orientation( id2 )=170, 920  ). holdsAt( appearance( id2 )=visible,  920 ).

% Frame number: 24
holdsAt( orientation( id0 )=150, 960  ). holdsAt( appearance( id0 )=visible,  960 ).
holdsAt( appearance( id1 )=visible,  960 ).
holdsAt( appearance( id2 )=visible,  960 ).

% Frame number: 25
holdsAt( appearance( id0 )=visible,  1000 ).
holdsAt( appearance( id1 )=visible,  1000 ).
holdsAt( orientation( id2 )=170, 1000  ). holdsAt( appearance( id2 )=visible,  1000 ).

% Frame number: 26
holdsAt( appearance( id0 )=visible,  1040 ).
holdsAt( appearance( id1 )=visible,  1040 ).
holdsAt( appearance( id2 )=visible,  1040 ).

% Frame number: 27
holdsAt( appearance( id0 )=visible,  1080 ).
holdsAt( orientation( id1 )=170, 1080  ). holdsAt( appearance( id1 )=visible,  1080 ).
holdsAt( appearance( id2 )=visible,  1080 ).

% Frame number: 28
holdsAt( appearance( id0 )=visible,  1120 ).
holdsAt( appearance( id1 )=visible,  1120 ).
holdsAt( appearance( id2 )=visible,  1120 ).

% Frame number: 29
holdsAt( appearance( id0 )=visible,  1160 ).
holdsAt( orientation( id1 )=170, 1160  ). holdsAt( appearance( id1 )=visible,  1160 ).
holdsAt( appearance( id2 )=visible,  1160 ).

% Frame number: 30
holdsAt( appearance( id0 )=visible,  1200 ).
holdsAt( appearance( id1 )=visible,  1200 ).
holdsAt( orientation( id2 )=170, 1200  ). holdsAt( appearance( id2 )=visible,  1200 ).

% Frame number: 31
holdsAt( appearance( id0 )=visible,  1240 ).
holdsAt( appearance( id1 )=visible,  1240 ).
holdsAt( orientation( id2 )=170, 1240  ). holdsAt( appearance( id2 )=visible,  1240 ).

% Frame number: 32
holdsAt( appearance( id0 )=visible,  1280 ).
holdsAt( appearance( id1 )=visible,  1280 ).
holdsAt( appearance( id2 )=visible,  1280 ).

% Frame number: 33
holdsAt( appearance( id0 )=visible,  1320 ).
holdsAt( appearance( id1 )=visible,  1320 ).
holdsAt( appearance( id2 )=visible,  1320 ).

% Frame number: 34
holdsAt( appearance( id0 )=visible,  1360 ).
holdsAt( appearance( id1 )=visible,  1360 ).
holdsAt( appearance( id2 )=visible,  1360 ).

% Frame number: 35
holdsAt( appearance( id0 )=visible,  1400 ).
holdsAt( appearance( id1 )=visible,  1400 ).
holdsAt( appearance( id2 )=visible,  1400 ).

% Frame number: 36
holdsAt( orientation( id0 )=160, 1440  ). holdsAt( appearance( id0 )=visible,  1440 ).
holdsAt( appearance( id1 )=visible,  1440 ).
holdsAt( appearance( id2 )=visible,  1440 ).

% Frame number: 37
holdsAt( appearance( id0 )=visible,  1480 ).
holdsAt( appearance( id1 )=visible,  1480 ).
holdsAt( appearance( id2 )=visible,  1480 ).

% Frame number: 38
holdsAt( appearance( id0 )=visible,  1520 ).
holdsAt( appearance( id1 )=visible,  1520 ).
holdsAt( appearance( id2 )=visible,  1520 ).

% Frame number: 39
holdsAt( appearance( id0 )=visible,  1560 ).
holdsAt( appearance( id1 )=visible,  1560 ).
holdsAt( appearance( id2 )=visible,  1560 ).

% Frame number: 40
holdsAt( appearance( id0 )=visible,  1600 ).
holdsAt( appearance( id1 )=visible,  1600 ).
holdsAt( appearance( id2 )=visible,  1600 ).

% Frame number: 41
holdsAt( appearance( id0 )=visible,  1640 ).
holdsAt( orientation( id1 )=150, 1640  ). holdsAt( appearance( id1 )=visible,  1640 ).
holdsAt( appearance( id2 )=visible,  1640 ).

% Frame number: 42
holdsAt( appearance( id0 )=visible,  1680 ).
holdsAt( appearance( id1 )=visible,  1680 ).
holdsAt( appearance( id2 )=visible,  1680 ).

% Frame number: 43
holdsAt( appearance( id0 )=visible,  1720 ).
holdsAt( appearance( id1 )=visible,  1720 ).
holdsAt( appearance( id2 )=visible,  1720 ).

% Frame number: 44
holdsAt( appearance( id0 )=visible,  1760 ).
holdsAt( orientation( id1 )=150, 1760  ). holdsAt( appearance( id1 )=visible,  1760 ).
holdsAt( orientation( id2 )=170, 1760  ). holdsAt( appearance( id2 )=visible,  1760 ).

% Frame number: 45
holdsAt( appearance( id0 )=visible,  1800 ).
holdsAt( appearance( id1 )=visible,  1800 ).
holdsAt( appearance( id2 )=visible,  1800 ).

% Frame number: 46
holdsAt( appearance( id0 )=visible,  1840 ).
holdsAt( appearance( id1 )=visible,  1840 ).
holdsAt( appearance( id2 )=visible,  1840 ).

% Frame number: 47
holdsAt( appearance( id0 )=visible,  1880 ).
holdsAt( orientation( id1 )=150, 1880  ). holdsAt( appearance( id1 )=visible,  1880 ).
holdsAt( orientation( id2 )=170, 1880  ). holdsAt( appearance( id2 )=visible,  1880 ).

% Frame number: 48
holdsAt( appearance( id0 )=visible,  1920 ).
holdsAt( appearance( id1 )=visible,  1920 ).
holdsAt( appearance( id2 )=visible,  1920 ).

% Frame number: 49
holdsAt( appearance( id0 )=visible,  1960 ).
holdsAt( appearance( id1 )=visible,  1960 ).
holdsAt( appearance( id2 )=visible,  1960 ).

% Frame number: 50
holdsAt( appearance( id0 )=visible,  2000 ).
holdsAt( appearance( id1 )=visible,  2000 ).
holdsAt( appearance( id2 )=visible,  2000 ).

% Frame number: 51
holdsAt( appearance( id0 )=visible,  2040 ).
holdsAt( appearance( id1 )=visible,  2040 ).
holdsAt( appearance( id2 )=visible,  2040 ).

% Frame number: 52
holdsAt( appearance( id0 )=visible,  2080 ).
holdsAt( appearance( id1 )=visible,  2080 ).
holdsAt( appearance( id2 )=visible,  2080 ).

% Frame number: 53
holdsAt( appearance( id0 )=visible,  2120 ).
holdsAt( appearance( id1 )=visible,  2120 ).
holdsAt( appearance( id2 )=visible,  2120 ).

% Frame number: 54
holdsAt( appearance( id0 )=visible,  2160 ).
holdsAt( appearance( id1 )=visible,  2160 ).
holdsAt( appearance( id2 )=visible,  2160 ).

% Frame number: 55
holdsAt( appearance( id0 )=visible,  2200 ).
holdsAt( appearance( id1 )=visible,  2200 ).
holdsAt( appearance( id2 )=visible,  2200 ).

% Frame number: 56
holdsAt( appearance( id0 )=visible,  2240 ).
holdsAt( appearance( id1 )=visible,  2240 ).
holdsAt( appearance( id2 )=visible,  2240 ).

% Frame number: 57
holdsAt( appearance( id0 )=visible,  2280 ).
holdsAt( appearance( id1 )=visible,  2280 ).
holdsAt( orientation( id2 )=170, 2280  ). holdsAt( appearance( id2 )=visible,  2280 ).

% Frame number: 58
holdsAt( appearance( id0 )=visible,  2320 ).
holdsAt( appearance( id1 )=visible,  2320 ).
holdsAt( appearance( id2 )=visible,  2320 ).

% Frame number: 59
holdsAt( appearance( id0 )=visible,  2360 ).
holdsAt( appearance( id1 )=visible,  2360 ).
holdsAt( appearance( id2 )=visible,  2360 ).

% Frame number: 60
holdsAt( appearance( id0 )=visible,  2400 ).
holdsAt( appearance( id1 )=visible,  2400 ).
holdsAt( appearance( id2 )=visible,  2400 ).

% Frame number: 61
holdsAt( appearance( id0 )=visible,  2440 ).
holdsAt( appearance( id1 )=visible,  2440 ).
holdsAt( appearance( id2 )=visible,  2440 ).

% Frame number: 62
holdsAt( appearance( id0 )=visible,  2480 ).
holdsAt( appearance( id1 )=visible,  2480 ).
holdsAt( appearance( id2 )=visible,  2480 ).

% Frame number: 63
holdsAt( appearance( id0 )=visible,  2520 ).
holdsAt( appearance( id1 )=visible,  2520 ).
holdsAt( appearance( id2 )=visible,  2520 ).

% Frame number: 64
holdsAt( appearance( id0 )=visible,  2560 ).
holdsAt( appearance( id1 )=visible,  2560 ).
holdsAt( appearance( id2 )=visible,  2560 ).

% Frame number: 65
holdsAt( orientation( id0 )=160, 2600  ). holdsAt( appearance( id0 )=visible,  2600 ).
holdsAt( appearance( id1 )=visible,  2600 ).
holdsAt( appearance( id2 )=visible,  2600 ).

% Frame number: 66
holdsAt( appearance( id0 )=visible,  2640 ).
holdsAt( orientation( id1 )=150, 2640  ). holdsAt( appearance( id1 )=visible,  2640 ).
holdsAt( appearance( id2 )=visible,  2640 ).

% Frame number: 67
holdsAt( appearance( id0 )=visible,  2680 ).
holdsAt( appearance( id1 )=visible,  2680 ).
holdsAt( orientation( id2 )=25, 2680  ). holdsAt( appearance( id2 )=visible,  2680 ).

% Frame number: 68
holdsAt( appearance( id0 )=visible,  2720 ).
holdsAt( appearance( id1 )=visible,  2720 ).
holdsAt( appearance( id2 )=visible,  2720 ).

% Frame number: 69
holdsAt( appearance( id0 )=visible,  2760 ).
holdsAt( appearance( id1 )=visible,  2760 ).
holdsAt( appearance( id2 )=visible,  2760 ).

% Frame number: 70
holdsAt( appearance( id0 )=visible,  2800 ).
holdsAt( appearance( id1 )=visible,  2800 ).
holdsAt( appearance( id2 )=visible,  2800 ).

% Frame number: 71
holdsAt( appearance( id0 )=visible,  2840 ).
holdsAt( appearance( id1 )=visible,  2840 ).
holdsAt( appearance( id2 )=visible,  2840 ).

% Frame number: 72
holdsAt( appearance( id0 )=visible,  2880 ).
holdsAt( appearance( id1 )=visible,  2880 ).
holdsAt( appearance( id2 )=visible,  2880 ).

% Frame number: 73
holdsAt( appearance( id0 )=visible,  2920 ).
holdsAt( appearance( id1 )=visible,  2920 ).
holdsAt( appearance( id2 )=visible,  2920 ).

% Frame number: 74
holdsAt( appearance( id0 )=visible,  2960 ).
holdsAt( appearance( id1 )=visible,  2960 ).
holdsAt( appearance( id2 )=visible,  2960 ).

% Frame number: 75
holdsAt( appearance( id0 )=visible,  3000 ).
holdsAt( appearance( id1 )=visible,  3000 ).
holdsAt( appearance( id2 )=visible,  3000 ).

% Frame number: 76
holdsAt( orientation( id0 )=160, 3040  ). holdsAt( appearance( id0 )=visible,  3040 ).
holdsAt( appearance( id1 )=visible,  3040 ).
holdsAt( appearance( id2 )=disappear,  3040 ).

% Frame number: 77
holdsAt( orientation( id0 )=160, 3080  ). holdsAt( appearance( id0 )=visible,  3080 ).
holdsAt( appearance( id1 )=visible,  3080 ).

% Frame number: 78
holdsAt( appearance( id0 )=visible,  3120 ).
holdsAt( appearance( id1 )=visible,  3120 ).

% Frame number: 79
holdsAt( appearance( id0 )=visible,  3160 ).
holdsAt( appearance( id1 )=visible,  3160 ).

% Frame number: 80
holdsAt( appearance( id0 )=visible,  3200 ).
holdsAt( appearance( id1 )=visible,  3200 ).

% Frame number: 81
holdsAt( appearance( id0 )=visible,  3240 ).
holdsAt( appearance( id1 )=visible,  3240 ).

% Frame number: 82
holdsAt( appearance( id0 )=visible,  3280 ).
holdsAt( appearance( id1 )=visible,  3280 ).

% Frame number: 83
holdsAt( appearance( id0 )=visible,  3320 ).
holdsAt( appearance( id1 )=visible,  3320 ).

% Frame number: 84
holdsAt( appearance( id0 )=visible,  3360 ).
holdsAt( appearance( id1 )=visible,  3360 ).

% Frame number: 85
holdsAt( orientation( id0 )=160, 3400  ). holdsAt( appearance( id0 )=visible,  3400 ).
holdsAt( appearance( id1 )=visible,  3400 ).

% Frame number: 86
holdsAt( appearance( id0 )=visible,  3440 ).
holdsAt( appearance( id1 )=visible,  3440 ).

% Frame number: 87
holdsAt( appearance( id0 )=visible,  3480 ).
holdsAt( appearance( id1 )=visible,  3480 ).

% Frame number: 88
holdsAt( appearance( id0 )=visible,  3520 ).
holdsAt( appearance( id1 )=visible,  3520 ).

% Frame number: 89
holdsAt( appearance( id0 )=visible,  3560 ).
holdsAt( appearance( id1 )=visible,  3560 ).

% Frame number: 90
holdsAt( appearance( id0 )=visible,  3600 ).
holdsAt( appearance( id1 )=visible,  3600 ).

% Frame number: 91
holdsAt( appearance( id0 )=visible,  3640 ).
holdsAt( appearance( id1 )=visible,  3640 ).

% Frame number: 92
holdsAt( appearance( id0 )=visible,  3680 ).
holdsAt( appearance( id1 )=visible,  3680 ).

% Frame number: 93
holdsAt( appearance( id0 )=visible,  3720 ).
holdsAt( appearance( id1 )=visible,  3720 ).

% Frame number: 94
holdsAt( appearance( id0 )=visible,  3760 ).
holdsAt( appearance( id1 )=visible,  3760 ).

% Frame number: 95
holdsAt( appearance( id0 )=visible,  3800 ).
holdsAt( appearance( id1 )=visible,  3800 ).

% Frame number: 96
holdsAt( appearance( id0 )=visible,  3840 ).
holdsAt( appearance( id1 )=visible,  3840 ).

% Frame number: 97
holdsAt( appearance( id0 )=visible,  3880 ).
holdsAt( appearance( id1 )=visible,  3880 ).

% Frame number: 98
holdsAt( appearance( id0 )=visible,  3920 ).
holdsAt( appearance( id1 )=visible,  3920 ).

% Frame number: 99
holdsAt( appearance( id0 )=visible,  3960 ).
holdsAt( appearance( id1 )=visible,  3960 ).

% Frame number: 100
holdsAt( appearance( id0 )=visible,  4000 ).
holdsAt( appearance( id1 )=visible,  4000 ).

% Frame number: 101
holdsAt( appearance( id0 )=visible,  4040 ).
holdsAt( appearance( id1 )=visible,  4040 ).

% Frame number: 102
holdsAt( appearance( id0 )=visible,  4080 ).
holdsAt( appearance( id1 )=visible,  4080 ).

% Frame number: 103
holdsAt( orientation( id0 )=160, 4120  ). holdsAt( appearance( id0 )=visible,  4120 ).
holdsAt( appearance( id1 )=visible,  4120 ).

% Frame number: 104
holdsAt( appearance( id0 )=visible,  4160 ).
holdsAt( appearance( id1 )=visible,  4160 ).

% Frame number: 105
holdsAt( orientation( id0 )=160, 4200  ). holdsAt( appearance( id0 )=visible,  4200 ).
holdsAt( appearance( id1 )=visible,  4200 ).

% Frame number: 106
holdsAt( appearance( id0 )=visible,  4240 ).
holdsAt( appearance( id1 )=visible,  4240 ).

% Frame number: 107
holdsAt( appearance( id0 )=visible,  4280 ).
holdsAt( appearance( id1 )=visible,  4280 ).

% Frame number: 108
holdsAt( appearance( id0 )=visible,  4320 ).
holdsAt( appearance( id1 )=visible,  4320 ).

% Frame number: 109
holdsAt( appearance( id0 )=visible,  4360 ).
holdsAt( appearance( id1 )=visible,  4360 ).

% Frame number: 110
holdsAt( appearance( id0 )=visible,  4400 ).
holdsAt( appearance( id1 )=visible,  4400 ).

% Frame number: 111
holdsAt( appearance( id0 )=visible,  4440 ).
holdsAt( appearance( id1 )=visible,  4440 ).

% Frame number: 112
holdsAt( appearance( id0 )=visible,  4480 ).
holdsAt( appearance( id1 )=visible,  4480 ).

% Frame number: 113
holdsAt( orientation( id0 )=160, 4520  ). holdsAt( appearance( id0 )=visible,  4520 ).
holdsAt( appearance( id1 )=visible,  4520 ).

% Frame number: 114
holdsAt( orientation( id0 )=160, 4560  ). holdsAt( appearance( id0 )=visible,  4560 ).
holdsAt( appearance( id1 )=visible,  4560 ).

% Frame number: 115
holdsAt( appearance( id0 )=visible,  4600 ).
holdsAt( appearance( id1 )=visible,  4600 ).

% Frame number: 116
holdsAt( appearance( id0 )=visible,  4640 ).
holdsAt( appearance( id1 )=visible,  4640 ).

% Frame number: 117
holdsAt( appearance( id0 )=visible,  4680 ).
holdsAt( appearance( id1 )=visible,  4680 ).

% Frame number: 118
holdsAt( appearance( id0 )=visible,  4720 ).
holdsAt( appearance( id1 )=visible,  4720 ).

% Frame number: 119
holdsAt( appearance( id0 )=visible,  4760 ).
holdsAt( appearance( id1 )=visible,  4760 ).

% Frame number: 120
holdsAt( appearance( id0 )=visible,  4800 ).
holdsAt( appearance( id1 )=visible,  4800 ).

% Frame number: 121
holdsAt( orientation( id0 )=160, 4840  ). holdsAt( appearance( id0 )=visible,  4840 ).
holdsAt( appearance( id1 )=visible,  4840 ).

% Frame number: 122
holdsAt( appearance( id0 )=visible,  4880 ).
holdsAt( appearance( id1 )=visible,  4880 ).

% Frame number: 123
holdsAt( appearance( id0 )=visible,  4920 ).
holdsAt( appearance( id1 )=visible,  4920 ).

% Frame number: 124
holdsAt( appearance( id0 )=visible,  4960 ).
holdsAt( appearance( id1 )=visible,  4960 ).

% Frame number: 125
holdsAt( appearance( id0 )=visible,  5000 ).
holdsAt( appearance( id1 )=visible,  5000 ).

% Frame number: 126
holdsAt( appearance( id0 )=visible,  5040 ).
holdsAt( orientation( id1 )=150, 5040  ). holdsAt( appearance( id1 )=visible,  5040 ).

% Frame number: 127
holdsAt( appearance( id0 )=visible,  5080 ).
holdsAt( appearance( id1 )=visible,  5080 ).

% Frame number: 128
holdsAt( orientation( id0 )=160, 5120  ). holdsAt( appearance( id0 )=visible,  5120 ).
holdsAt( appearance( id1 )=visible,  5120 ).

% Frame number: 129
holdsAt( appearance( id0 )=visible,  5160 ).
holdsAt( appearance( id1 )=visible,  5160 ).

% Frame number: 130
holdsAt( appearance( id0 )=visible,  5200 ).
holdsAt( appearance( id1 )=visible,  5200 ).

% Frame number: 131
holdsAt( appearance( id0 )=visible,  5240 ).
holdsAt( appearance( id1 )=visible,  5240 ).

% Frame number: 132
holdsAt( appearance( id0 )=visible,  5280 ).
holdsAt( appearance( id1 )=visible,  5280 ).

% Frame number: 133
holdsAt( appearance( id0 )=visible,  5320 ).
holdsAt( appearance( id1 )=visible,  5320 ).

% Frame number: 134
holdsAt( appearance( id0 )=visible,  5360 ).
holdsAt( appearance( id1 )=visible,  5360 ).

% Frame number: 135
holdsAt( appearance( id0 )=visible,  5400 ).
holdsAt( appearance( id1 )=visible,  5400 ).

% Frame number: 136
holdsAt( appearance( id0 )=visible,  5440 ).
holdsAt( appearance( id1 )=visible,  5440 ).

% Frame number: 137
holdsAt( appearance( id0 )=visible,  5480 ).
holdsAt( appearance( id1 )=visible,  5480 ).

% Frame number: 138
holdsAt( orientation( id0 )=160, 5520  ). holdsAt( appearance( id0 )=visible,  5520 ).
holdsAt( appearance( id1 )=visible,  5520 ).

% Frame number: 139
holdsAt( appearance( id0 )=visible,  5560 ).
holdsAt( appearance( id1 )=visible,  5560 ).

% Frame number: 140
holdsAt( appearance( id0 )=visible,  5600 ).
holdsAt( appearance( id1 )=visible,  5600 ).

% Frame number: 141
holdsAt( appearance( id0 )=visible,  5640 ).
holdsAt( appearance( id1 )=visible,  5640 ).

% Frame number: 142
holdsAt( appearance( id0 )=visible,  5680 ).
holdsAt( appearance( id1 )=visible,  5680 ).

% Frame number: 143
holdsAt( appearance( id0 )=visible,  5720 ).
holdsAt( appearance( id1 )=visible,  5720 ).

% Frame number: 144
holdsAt( appearance( id0 )=visible,  5760 ).
holdsAt( appearance( id1 )=visible,  5760 ).

% Frame number: 145
holdsAt( appearance( id0 )=visible,  5800 ).
holdsAt( appearance( id1 )=visible,  5800 ).

% Frame number: 146
holdsAt( appearance( id0 )=visible,  5840 ).
holdsAt( appearance( id1 )=visible,  5840 ).

% Frame number: 147
holdsAt( appearance( id0 )=visible,  5880 ).
holdsAt( orientation( id1 )=150, 5880  ). holdsAt( appearance( id1 )=visible,  5880 ).

% Frame number: 148
holdsAt( orientation( id0 )=160, 5920  ). holdsAt( appearance( id0 )=visible,  5920 ).
holdsAt( appearance( id1 )=visible,  5920 ).

% Frame number: 149
holdsAt( appearance( id0 )=visible,  5960 ).
holdsAt( appearance( id1 )=visible,  5960 ).

% Frame number: 150
holdsAt( appearance( id0 )=visible,  6000 ).
holdsAt( appearance( id1 )=visible,  6000 ).

% Frame number: 151
holdsAt( orientation( id0 )=160, 6040  ). holdsAt( appearance( id0 )=visible,  6040 ).
holdsAt( appearance( id1 )=visible,  6040 ).

% Frame number: 152
holdsAt( appearance( id0 )=visible,  6080 ).
holdsAt( appearance( id1 )=visible,  6080 ).

% Frame number: 153
holdsAt( appearance( id0 )=visible,  6120 ).
holdsAt( appearance( id1 )=visible,  6120 ).

% Frame number: 154
holdsAt( appearance( id0 )=visible,  6160 ).
holdsAt( appearance( id1 )=visible,  6160 ).

% Frame number: 155
holdsAt( orientation( id0 )=160, 6200  ). holdsAt( appearance( id0 )=visible,  6200 ).
holdsAt( appearance( id1 )=visible,  6200 ).

% Frame number: 156
holdsAt( appearance( id0 )=visible,  6240 ).
holdsAt( appearance( id1 )=visible,  6240 ).

% Frame number: 157
holdsAt( appearance( id0 )=visible,  6280 ).
holdsAt( appearance( id1 )=visible,  6280 ).

% Frame number: 158
holdsAt( appearance( id0 )=visible,  6320 ).
holdsAt( appearance( id1 )=visible,  6320 ).

% Frame number: 159
holdsAt( appearance( id0 )=visible,  6360 ).
holdsAt( appearance( id1 )=visible,  6360 ).

% Frame number: 160
holdsAt( appearance( id0 )=visible,  6400 ).
holdsAt( appearance( id1 )=visible,  6400 ).

% Frame number: 161
holdsAt( appearance( id0 )=visible,  6440 ).
holdsAt( appearance( id1 )=visible,  6440 ).

% Frame number: 162
holdsAt( appearance( id0 )=visible,  6480 ).
holdsAt( appearance( id1 )=visible,  6480 ).

% Frame number: 163
holdsAt( appearance( id0 )=visible,  6520 ).
holdsAt( appearance( id1 )=visible,  6520 ).

% Frame number: 164
holdsAt( appearance( id0 )=visible,  6560 ).
holdsAt( appearance( id1 )=visible,  6560 ).

% Frame number: 165
holdsAt( appearance( id0 )=visible,  6600 ).
holdsAt( appearance( id1 )=visible,  6600 ).

% Frame number: 166
holdsAt( appearance( id0 )=visible,  6640 ).
holdsAt( appearance( id1 )=visible,  6640 ).

% Frame number: 167
holdsAt( orientation( id0 )=160, 6680  ). holdsAt( appearance( id0 )=visible,  6680 ).
holdsAt( appearance( id1 )=visible,  6680 ).

% Frame number: 168
holdsAt( appearance( id0 )=visible,  6720 ).
holdsAt( orientation( id1 )=150, 6720  ). holdsAt( appearance( id1 )=visible,  6720 ).

% Frame number: 169
holdsAt( appearance( id0 )=visible,  6760 ).
holdsAt( appearance( id1 )=visible,  6760 ).

% Frame number: 170
holdsAt( appearance( id0 )=visible,  6800 ).
holdsAt( appearance( id1 )=visible,  6800 ).

% Frame number: 171
holdsAt( appearance( id0 )=visible,  6840 ).
holdsAt( appearance( id1 )=visible,  6840 ).

% Frame number: 172
holdsAt( appearance( id0 )=visible,  6880 ).
holdsAt( appearance( id1 )=visible,  6880 ).

% Frame number: 173
holdsAt( appearance( id0 )=visible,  6920 ).
holdsAt( appearance( id1 )=visible,  6920 ).

% Frame number: 174
holdsAt( appearance( id0 )=visible,  6960 ).
holdsAt( appearance( id1 )=visible,  6960 ).

% Frame number: 175
holdsAt( appearance( id0 )=visible,  7000 ).
holdsAt( appearance( id1 )=visible,  7000 ).

% Frame number: 176
holdsAt( appearance( id0 )=visible,  7040 ).
holdsAt( appearance( id1 )=visible,  7040 ).

% Frame number: 177
holdsAt( appearance( id0 )=visible,  7080 ).
holdsAt( appearance( id1 )=visible,  7080 ).

% Frame number: 178
holdsAt( appearance( id0 )=visible,  7120 ).
holdsAt( appearance( id1 )=visible,  7120 ).

% Frame number: 179
holdsAt( appearance( id0 )=visible,  7160 ).
holdsAt( orientation( id1 )=150, 7160  ). holdsAt( appearance( id1 )=visible,  7160 ).

% Frame number: 180
holdsAt( appearance( id0 )=visible,  7200 ).
holdsAt( appearance( id1 )=visible,  7200 ).

% Frame number: 181
holdsAt( appearance( id0 )=visible,  7240 ).
holdsAt( appearance( id1 )=visible,  7240 ).

% Frame number: 182
holdsAt( appearance( id0 )=visible,  7280 ).
holdsAt( appearance( id1 )=visible,  7280 ).

% Frame number: 183
holdsAt( appearance( id0 )=visible,  7320 ).
holdsAt( appearance( id1 )=visible,  7320 ).

% Frame number: 184
holdsAt( appearance( id0 )=visible,  7360 ).
holdsAt( appearance( id1 )=visible,  7360 ).

% Frame number: 185
holdsAt( appearance( id0 )=visible,  7400 ).
holdsAt( appearance( id1 )=visible,  7400 ).

% Frame number: 186
holdsAt( appearance( id0 )=visible,  7440 ).
holdsAt( appearance( id1 )=visible,  7440 ).

% Frame number: 187
holdsAt( appearance( id0 )=visible,  7480 ).
holdsAt( appearance( id1 )=visible,  7480 ).

% Frame number: 188
holdsAt( orientation( id0 )=160, 7520  ). holdsAt( appearance( id0 )=visible,  7520 ).
holdsAt( orientation( id1 )=150, 7520  ). holdsAt( appearance( id1 )=visible,  7520 ).

% Frame number: 189
holdsAt( appearance( id0 )=visible,  7560 ).
holdsAt( appearance( id1 )=visible,  7560 ).

% Frame number: 190
holdsAt( appearance( id0 )=visible,  7600 ).
holdsAt( appearance( id1 )=visible,  7600 ).

% Frame number: 191
holdsAt( appearance( id0 )=visible,  7640 ).
holdsAt( appearance( id1 )=visible,  7640 ).

% Frame number: 192
holdsAt( appearance( id0 )=visible,  7680 ).
holdsAt( appearance( id1 )=visible,  7680 ).

% Frame number: 193
holdsAt( appearance( id0 )=visible,  7720 ).
holdsAt( appearance( id1 )=visible,  7720 ).

% Frame number: 194
holdsAt( appearance( id0 )=visible,  7760 ).
holdsAt( appearance( id1 )=visible,  7760 ).

% Frame number: 195
holdsAt( appearance( id0 )=visible,  7800 ).
holdsAt( orientation( id1 )=150, 7800  ). holdsAt( appearance( id1 )=visible,  7800 ).

% Frame number: 196
holdsAt( appearance( id0 )=visible,  7840 ).
holdsAt( appearance( id1 )=visible,  7840 ).

% Frame number: 197
holdsAt( appearance( id0 )=visible,  7880 ).
holdsAt( orientation( id1 )=150, 7880  ). holdsAt( appearance( id1 )=visible,  7880 ).

% Frame number: 198
holdsAt( appearance( id0 )=visible,  7920 ).
holdsAt( appearance( id1 )=visible,  7920 ).

% Frame number: 199
holdsAt( orientation( id0 )=160, 7960  ). holdsAt( appearance( id0 )=disappear,  7960 ).
holdsAt( appearance( id1 )=visible,  7960 ).

% Frame number: 200
holdsAt( appearance( id1 )=visible,  8000 ).

% Frame number: 201
holdsAt( appearance( id1 )=visible,  8040 ).

% Frame number: 202
holdsAt( appearance( id1 )=visible,  8080 ).

% Frame number: 203
holdsAt( appearance( id1 )=visible,  8120 ).

% Frame number: 204
holdsAt( appearance( id1 )=visible,  8160 ).

% Frame number: 205
holdsAt( orientation( id1 )=170, 8200  ). holdsAt( appearance( id1 )=visible,  8200 ).

% Frame number: 206
holdsAt( appearance( id1 )=visible,  8240 ).

% Frame number: 207
holdsAt( appearance( id1 )=visible,  8280 ).

% Frame number: 208
holdsAt( appearance( id1 )=visible,  8320 ).

% Frame number: 209
holdsAt( appearance( id1 )=visible,  8360 ).

% Frame number: 210
holdsAt( appearance( id1 )=visible,  8400 ).

% Frame number: 211
holdsAt( appearance( id1 )=visible,  8440 ).

% Frame number: 212
holdsAt( appearance( id1 )=visible,  8480 ).

% Frame number: 213
holdsAt( appearance( id1 )=visible,  8520 ).

% Frame number: 214
holdsAt( orientation( id1 )=40, 8560  ). holdsAt( appearance( id1 )=visible,  8560 ).

% Frame number: 215
holdsAt( appearance( id1 )=visible,  8600 ).

% Frame number: 216
holdsAt( appearance( id1 )=visible,  8640 ).

% Frame number: 217
holdsAt( orientation( id1 )=40, 8680  ). holdsAt( appearance( id1 )=visible,  8680 ).

% Frame number: 218
holdsAt( appearance( id1 )=visible,  8720 ).

% Frame number: 219
holdsAt( appearance( id1 )=visible,  8760 ).

% Frame number: 220
holdsAt( appearance( id1 )=visible,  8800 ).

% Frame number: 221
holdsAt( appearance( id1 )=visible,  8840 ).

% Frame number: 222
holdsAt( appearance( id1 )=visible,  8880 ).

% Frame number: 223
holdsAt( appearance( id1 )=visible,  8920 ).

% Frame number: 224
holdsAt( orientation( id1 )=80, 8960  ). holdsAt( appearance( id1 )=visible,  8960 ).

% Frame number: 225
holdsAt( appearance( id1 )=visible,  9000 ).

% Frame number: 226
holdsAt( appearance( id1 )=visible,  9040 ).

% Frame number: 227
holdsAt( appearance( id1 )=visible,  9080 ).

% Frame number: 228
holdsAt( appearance( id1 )=visible,  9120 ).

% Frame number: 229
holdsAt( appearance( id1 )=visible,  9160 ).

% Frame number: 230
holdsAt( appearance( id1 )=visible,  9200 ).

% Frame number: 231
holdsAt( appearance( id1 )=visible,  9240 ).

% Frame number: 232
holdsAt( appearance( id1 )=visible,  9280 ).

% Frame number: 233
holdsAt( orientation( id1 )=80, 9320  ). holdsAt( appearance( id1 )=visible,  9320 ).

% Frame number: 234
holdsAt( appearance( id1 )=visible,  9360 ).

% Frame number: 235
holdsAt( appearance( id1 )=visible,  9400 ).

% Frame number: 236
holdsAt( appearance( id1 )=visible,  9440 ).

% Frame number: 237
holdsAt( appearance( id1 )=visible,  9480 ).

% Frame number: 238
holdsAt( appearance( id1 )=visible,  9520 ).

% Frame number: 239
holdsAt( appearance( id1 )=visible,  9560 ).

% Frame number: 240
holdsAt( appearance( id1 )=visible,  9600 ).

% Frame number: 241
holdsAt( appearance( id1 )=visible,  9640 ).

% Frame number: 242
holdsAt( orientation( id1 )=80, 9680  ). holdsAt( appearance( id1 )=visible,  9680 ).

% Frame number: 243
holdsAt( appearance( id1 )=visible,  9720 ).

% Frame number: 244
holdsAt( appearance( id1 )=visible,  9760 ).

% Frame number: 245
holdsAt( appearance( id1 )=visible,  9800 ).

% Frame number: 246
holdsAt( appearance( id1 )=visible,  9840 ).

% Frame number: 247
holdsAt( appearance( id1 )=visible,  9880 ).

% Frame number: 248
holdsAt( appearance( id1 )=visible,  9920 ).

% Frame number: 249
holdsAt( appearance( id1 )=visible,  9960 ).

% Frame number: 250
holdsAt( appearance( id1 )=visible,  10000 ).

% Frame number: 251
holdsAt( appearance( id1 )=visible,  10040 ).

% Frame number: 252
holdsAt( appearance( id1 )=visible,  10080 ).

% Frame number: 253
holdsAt( appearance( id1 )=visible,  10120 ).

% Frame number: 254
holdsAt( appearance( id1 )=visible,  10160 ).

% Frame number: 255
holdsAt( appearance( id1 )=visible,  10200 ).

% Frame number: 256
holdsAt( appearance( id1 )=visible,  10240 ).

% Frame number: 257
holdsAt( appearance( id1 )=visible,  10280 ).

% Frame number: 258
holdsAt( appearance( id1 )=visible,  10320 ).

% Frame number: 259
holdsAt( appearance( id1 )=visible,  10360 ).

% Frame number: 260
holdsAt( appearance( id1 )=visible,  10400 ).

% Frame number: 261
holdsAt( appearance( id1 )=visible,  10440 ).

% Frame number: 262
holdsAt( appearance( id1 )=visible,  10480 ).

% Frame number: 263
holdsAt( appearance( id1 )=visible,  10520 ).

% Frame number: 264
holdsAt( appearance( id1 )=visible,  10560 ).

% Frame number: 265
holdsAt( appearance( id1 )=visible,  10600 ).

% Frame number: 266
holdsAt( appearance( id1 )=visible,  10640 ).

% Frame number: 267
holdsAt( appearance( id1 )=visible,  10680 ).

% Frame number: 268
holdsAt( appearance( id1 )=visible,  10720 ).

% Frame number: 269
holdsAt( appearance( id1 )=visible,  10760 ).

% Frame number: 270
holdsAt( appearance( id1 )=visible,  10800 ).

% Frame number: 271
holdsAt( appearance( id1 )=visible,  10840 ).

% Frame number: 272
holdsAt( appearance( id1 )=visible,  10880 ).

% Frame number: 273
holdsAt( appearance( id1 )=visible,  10920 ).

% Frame number: 274
holdsAt( appearance( id1 )=visible,  10960 ).

% Frame number: 275
holdsAt( appearance( id1 )=visible,  11000 ).

% Frame number: 276
holdsAt( appearance( id1 )=visible,  11040 ).

% Frame number: 277
holdsAt( appearance( id1 )=visible,  11080 ).

% Frame number: 278
holdsAt( appearance( id1 )=visible,  11120 ).

% Frame number: 279
holdsAt( appearance( id1 )=visible,  11160 ).

% Frame number: 280
holdsAt( orientation( id1 )=80, 11200  ). holdsAt( appearance( id1 )=visible,  11200 ).

% Frame number: 281
holdsAt( appearance( id1 )=visible,  11240 ).

% Frame number: 282
holdsAt( appearance( id1 )=visible,  11280 ).

% Frame number: 283
holdsAt( appearance( id1 )=visible,  11320 ).

% Frame number: 284
holdsAt( orientation( id1 )=80, 11360  ). holdsAt( appearance( id1 )=visible,  11360 ).
holdsAt( appearance( id5 )=appear,  11360 ).

% Frame number: 285
holdsAt( appearance( id1 )=visible,  11400 ).
holdsAt( appearance( id5 )=visible,  11400 ).

% Frame number: 286
holdsAt( appearance( id1 )=visible,  11440 ).
holdsAt( appearance( id5 )=visible,  11440 ).

% Frame number: 287
holdsAt( orientation( id1 )=80, 11480  ). holdsAt( appearance( id1 )=visible,  11480 ).
holdsAt( appearance( id5 )=visible,  11480 ).

% Frame number: 288
holdsAt( appearance( id1 )=visible,  11520 ).
holdsAt( appearance( id5 )=visible,  11520 ).

% Frame number: 289
holdsAt( appearance( id1 )=visible,  11560 ).
holdsAt( appearance( id5 )=visible,  11560 ).

% Frame number: 290
holdsAt( appearance( id1 )=visible,  11600 ).
holdsAt( appearance( id5 )=visible,  11600 ).

% Frame number: 291
holdsAt( appearance( id1 )=visible,  11640 ).
holdsAt( appearance( id5 )=visible,  11640 ).

% Frame number: 292
holdsAt( appearance( id1 )=visible,  11680 ).
holdsAt( appearance( id5 )=visible,  11680 ).

% Frame number: 293
holdsAt( appearance( id1 )=visible,  11720 ).
holdsAt( appearance( id5 )=visible,  11720 ).

% Frame number: 294
holdsAt( appearance( id1 )=visible,  11760 ).
holdsAt( appearance( id5 )=visible,  11760 ).

% Frame number: 295
holdsAt( orientation( id1 )=80, 11800  ). holdsAt( appearance( id1 )=visible,  11800 ).
holdsAt( appearance( id5 )=visible,  11800 ).

% Frame number: 296
holdsAt( appearance( id1 )=visible,  11840 ).
holdsAt( appearance( id5 )=visible,  11840 ).

% Frame number: 297
holdsAt( appearance( id1 )=visible,  11880 ).
holdsAt( appearance( id5 )=visible,  11880 ).

% Frame number: 298
holdsAt( appearance( id1 )=visible,  11920 ).
holdsAt( appearance( id5 )=visible,  11920 ).

% Frame number: 299
holdsAt( appearance( id1 )=visible,  11960 ).
holdsAt( appearance( id5 )=visible,  11960 ).

% Frame number: 300
holdsAt( appearance( id1 )=disappear,  12000 ).
holdsAt( appearance( id5 )=visible,  12000 ).

% Frame number: 301
holdsAt( appearance( id5 )=visible,  12040 ).

% Frame number: 302
holdsAt( appearance( id5 )=visible,  12080 ).

% Frame number: 303
holdsAt( appearance( id5 )=visible,  12120 ).

% Frame number: 304
holdsAt( appearance( id5 )=visible,  12160 ).

% Frame number: 305
holdsAt( orientation( id5 )=170, 12200  ). holdsAt( appearance( id5 )=visible,  12200 ).

% Frame number: 306
holdsAt( appearance( id5 )=visible,  12240 ).

% Frame number: 307
holdsAt( appearance( id5 )=visible,  12280 ).

% Frame number: 308
holdsAt( appearance( id5 )=visible,  12320 ).

% Frame number: 309
holdsAt( appearance( id5 )=visible,  12360 ).

% Frame number: 310
holdsAt( orientation( id5 )=170, 12400  ). holdsAt( appearance( id5 )=visible,  12400 ).

% Frame number: 311
holdsAt( appearance( id5 )=visible,  12440 ).

% Frame number: 312
holdsAt( appearance( id5 )=visible,  12480 ).

% Frame number: 313
holdsAt( orientation( id5 )=170, 12520  ). holdsAt( appearance( id5 )=visible,  12520 ).

% Frame number: 314
holdsAt( appearance( id5 )=visible,  12560 ).

% Frame number: 315
holdsAt( appearance( id5 )=visible,  12600 ).

% Frame number: 316
holdsAt( appearance( id5 )=visible,  12640 ).

% Frame number: 317
holdsAt( appearance( id5 )=visible,  12680 ).

% Frame number: 318
holdsAt( appearance( id5 )=visible,  12720 ).

% Frame number: 319
holdsAt( appearance( id5 )=visible,  12760 ).

% Frame number: 320
holdsAt( appearance( id5 )=visible,  12800 ).

% Frame number: 321
holdsAt( appearance( id5 )=visible,  12840 ).

% Frame number: 322
holdsAt( appearance( id5 )=visible,  12880 ).

% Frame number: 323
holdsAt( appearance( id5 )=visible,  12920 ).

% Frame number: 324
holdsAt( appearance( id5 )=visible,  12960 ).

% Frame number: 325
holdsAt( appearance( id5 )=visible,  13000 ).

% Frame number: 326
holdsAt( appearance( id5 )=visible,  13040 ).

% Frame number: 327
holdsAt( appearance( id5 )=visible,  13080 ).

% Frame number: 328
holdsAt( appearance( id5 )=visible,  13120 ).

% Frame number: 329
holdsAt( appearance( id5 )=visible,  13160 ).

% Frame number: 330
holdsAt( appearance( id5 )=visible,  13200 ).

% Frame number: 331
holdsAt( appearance( id5 )=visible,  13240 ).

% Frame number: 332
holdsAt( appearance( id5 )=visible,  13280 ).

% Frame number: 333
holdsAt( appearance( id5 )=visible,  13320 ).

% Frame number: 334
holdsAt( appearance( id5 )=visible,  13360 ).

% Frame number: 335
holdsAt( appearance( id5 )=visible,  13400 ).

% Frame number: 336
holdsAt( appearance( id5 )=visible,  13440 ).

% Frame number: 337
holdsAt( appearance( id5 )=visible,  13480 ).

% Frame number: 338
holdsAt( appearance( id5 )=visible,  13520 ).

% Frame number: 339
holdsAt( appearance( id5 )=visible,  13560 ).

% Frame number: 340
holdsAt( appearance( id5 )=visible,  13600 ).

% Frame number: 341
holdsAt( appearance( id5 )=visible,  13640 ).

% Frame number: 342
holdsAt( appearance( id5 )=visible,  13680 ).

% Frame number: 343
holdsAt( appearance( id5 )=visible,  13720 ).

% Frame number: 344
holdsAt( appearance( id5 )=visible,  13760 ).

% Frame number: 345
holdsAt( appearance( id5 )=visible,  13800 ).

% Frame number: 346
holdsAt( appearance( id5 )=visible,  13840 ).

% Frame number: 347
holdsAt( appearance( id5 )=visible,  13880 ).

% Frame number: 348
holdsAt( appearance( id5 )=visible,  13920 ).

% Frame number: 349
holdsAt( appearance( id5 )=visible,  13960 ).

% Frame number: 350
holdsAt( appearance( id5 )=visible,  14000 ).

% Frame number: 351
holdsAt( appearance( id5 )=visible,  14040 ).

% Frame number: 352
holdsAt( appearance( id5 )=visible,  14080 ).

% Frame number: 353
holdsAt( appearance( id5 )=visible,  14120 ).

% Frame number: 354
holdsAt( appearance( id5 )=visible,  14160 ).

% Frame number: 355
holdsAt( appearance( id5 )=visible,  14200 ).

% Frame number: 356
holdsAt( orientation( id5 )=170, 14240  ). holdsAt( appearance( id5 )=visible,  14240 ).

% Frame number: 357
holdsAt( appearance( id5 )=visible,  14280 ).

% Frame number: 358
holdsAt( appearance( id5 )=visible,  14320 ).

% Frame number: 359
holdsAt( appearance( id5 )=visible,  14360 ).

% Frame number: 360
holdsAt( appearance( id5 )=visible,  14400 ).

% Frame number: 361
holdsAt( appearance( id5 )=visible,  14440 ).

% Frame number: 362
holdsAt( appearance( id5 )=visible,  14480 ).

% Frame number: 363
holdsAt( appearance( id5 )=visible,  14520 ).

% Frame number: 364
holdsAt( appearance( id5 )=visible,  14560 ).

% Frame number: 365
holdsAt( appearance( id5 )=visible,  14600 ).

% Frame number: 366
holdsAt( appearance( id5 )=visible,  14640 ).

% Frame number: 367
holdsAt( appearance( id5 )=visible,  14680 ).

% Frame number: 368
holdsAt( appearance( id5 )=visible,  14720 ).

% Frame number: 369
holdsAt( appearance( id5 )=visible,  14760 ).

% Frame number: 370
holdsAt( appearance( id5 )=visible,  14800 ).

% Frame number: 371
holdsAt( appearance( id5 )=visible,  14840 ).

% Frame number: 372
holdsAt( appearance( id5 )=visible,  14880 ).

% Frame number: 373
holdsAt( orientation( id5 )=170, 14920  ). holdsAt( appearance( id5 )=visible,  14920 ).

% Frame number: 374
holdsAt( orientation( id5 )=170, 14960  ). holdsAt( appearance( id5 )=visible,  14960 ).

% Frame number: 375
holdsAt( appearance( id5 )=visible,  15000 ).

% Frame number: 376
holdsAt( orientation( id5 )=170, 15040  ). holdsAt( appearance( id5 )=visible,  15040 ).

% Frame number: 377
holdsAt( appearance( id5 )=visible,  15080 ).

% Frame number: 378
holdsAt( appearance( id5 )=visible,  15120 ).

% Frame number: 379
holdsAt( appearance( id5 )=visible,  15160 ).

% Frame number: 380
holdsAt( orientation( id5 )=170, 15200  ). holdsAt( appearance( id5 )=visible,  15200 ).

% Frame number: 381
holdsAt( appearance( id5 )=visible,  15240 ).

% Frame number: 382
holdsAt( appearance( id5 )=visible,  15280 ).

% Frame number: 383
holdsAt( appearance( id5 )=visible,  15320 ).

% Frame number: 384
holdsAt( appearance( id5 )=visible,  15360 ).

% Frame number: 385
holdsAt( appearance( id5 )=visible,  15400 ).

% Frame number: 386
holdsAt( appearance( id5 )=visible,  15440 ).

% Frame number: 387
holdsAt( appearance( id5 )=visible,  15480 ).

% Frame number: 388
holdsAt( appearance( id5 )=visible,  15520 ).

% Frame number: 389
holdsAt( appearance( id5 )=visible,  15560 ).

% Frame number: 390
holdsAt( orientation( id5 )=170, 15600  ). holdsAt( appearance( id5 )=visible,  15600 ).

% Frame number: 391
holdsAt( appearance( id5 )=visible,  15640 ).

% Frame number: 392
holdsAt( appearance( id5 )=visible,  15680 ).

% Frame number: 393
holdsAt( appearance( id5 )=visible,  15720 ).

% Frame number: 394
holdsAt( orientation( id5 )=170, 15760  ). holdsAt( appearance( id5 )=visible,  15760 ).

% Frame number: 395
holdsAt( appearance( id5 )=visible,  15800 ).

% Frame number: 396
holdsAt( appearance( id5 )=visible,  15840 ).

% Frame number: 397
holdsAt( appearance( id5 )=visible,  15880 ).

% Frame number: 398
holdsAt( appearance( id5 )=visible,  15920 ).

% Frame number: 399
holdsAt( appearance( id5 )=visible,  15960 ).

% Frame number: 400
holdsAt( appearance( id5 )=visible,  16000 ).

% Frame number: 401
holdsAt( appearance( id5 )=visible,  16040 ).

% Frame number: 402
holdsAt( orientation( id5 )=150, 16080  ). holdsAt( appearance( id5 )=visible,  16080 ).

% Frame number: 403
holdsAt( appearance( id5 )=visible,  16120 ).

% Frame number: 404
holdsAt( appearance( id5 )=visible,  16160 ).

% Frame number: 405
holdsAt( appearance( id5 )=visible,  16200 ).

% Frame number: 406
holdsAt( appearance( id5 )=visible,  16240 ).

% Frame number: 407
holdsAt( appearance( id5 )=visible,  16280 ).

% Frame number: 408
holdsAt( appearance( id5 )=visible,  16320 ).

% Frame number: 409
holdsAt( appearance( id5 )=visible,  16360 ).

% Frame number: 410
holdsAt( appearance( id5 )=visible,  16400 ).

% Frame number: 411
holdsAt( appearance( id5 )=visible,  16440 ).

% Frame number: 412
holdsAt( appearance( id5 )=visible,  16480 ).

% Frame number: 413
holdsAt( appearance( id5 )=visible,  16520 ).

% Frame number: 414
holdsAt( appearance( id5 )=visible,  16560 ).

% Frame number: 415
holdsAt( appearance( id5 )=visible,  16600 ).

% Frame number: 416
holdsAt( appearance( id5 )=visible,  16640 ).

% Frame number: 417
holdsAt( appearance( id5 )=visible,  16680 ).

% Frame number: 418
holdsAt( appearance( id5 )=visible,  16720 ).

% Frame number: 419
holdsAt( appearance( id5 )=visible,  16760 ).

% Frame number: 420
holdsAt( appearance( id5 )=visible,  16800 ).

% Frame number: 421
holdsAt( appearance( id5 )=visible,  16840 ).

% Frame number: 422
holdsAt( appearance( id5 )=visible,  16880 ).

% Frame number: 423
holdsAt( appearance( id5 )=visible,  16920 ).

% Frame number: 424
holdsAt( appearance( id5 )=visible,  16960 ).

% Frame number: 425
holdsAt( orientation( id5 )=150, 17000  ). holdsAt( appearance( id5 )=visible,  17000 ).

% Frame number: 426
holdsAt( appearance( id5 )=visible,  17040 ).

% Frame number: 427
holdsAt( appearance( id5 )=visible,  17080 ).

% Frame number: 428
holdsAt( appearance( id5 )=visible,  17120 ).

% Frame number: 429
holdsAt( appearance( id5 )=visible,  17160 ).

% Frame number: 430
holdsAt( appearance( id5 )=visible,  17200 ).

% Frame number: 431
holdsAt( appearance( id5 )=visible,  17240 ).

% Frame number: 432
holdsAt( appearance( id5 )=visible,  17280 ).

% Frame number: 433
holdsAt( orientation( id5 )=150, 17320  ). holdsAt( appearance( id5 )=visible,  17320 ).

% Frame number: 434
holdsAt( appearance( id5 )=visible,  17360 ).

% Frame number: 435
holdsAt( appearance( id5 )=visible,  17400 ).

% Frame number: 436
holdsAt( appearance( id5 )=visible,  17440 ).

% Frame number: 437
holdsAt( appearance( id5 )=visible,  17480 ).

% Frame number: 438
holdsAt( appearance( id5 )=visible,  17520 ).

% Frame number: 439
holdsAt( appearance( id5 )=visible,  17560 ).

% Frame number: 440
holdsAt( appearance( id5 )=visible,  17600 ).

% Frame number: 441
holdsAt( appearance( id5 )=visible,  17640 ).

% Frame number: 442
holdsAt( appearance( id5 )=visible,  17680 ).

% Frame number: 443
holdsAt( appearance( id5 )=visible,  17720 ).

% Frame number: 444
holdsAt( appearance( id5 )=visible,  17760 ).

% Frame number: 445
holdsAt( appearance( id5 )=visible,  17800 ).

% Frame number: 446
holdsAt( appearance( id5 )=visible,  17840 ).

% Frame number: 447
holdsAt( appearance( id5 )=visible,  17880 ).

% Frame number: 448
holdsAt( appearance( id5 )=visible,  17920 ).

% Frame number: 449
holdsAt( appearance( id5 )=visible,  17960 ).

% Frame number: 450
holdsAt( appearance( id5 )=visible,  18000 ).

% Frame number: 451
holdsAt( appearance( id5 )=visible,  18040 ).

% Frame number: 452
holdsAt( appearance( id5 )=visible,  18080 ).

% Frame number: 453
holdsAt( appearance( id5 )=visible,  18120 ).

% Frame number: 454
holdsAt( appearance( id5 )=visible,  18160 ).

% Frame number: 455
holdsAt( appearance( id5 )=visible,  18200 ).

% Frame number: 456
holdsAt( appearance( id5 )=visible,  18240 ).

% Frame number: 457
holdsAt( appearance( id5 )=visible,  18280 ).

% Frame number: 458
holdsAt( appearance( id5 )=visible,  18320 ).

% Frame number: 459
holdsAt( appearance( id5 )=visible,  18360 ).

% Frame number: 460
holdsAt( appearance( id5 )=visible,  18400 ).

% Frame number: 461
holdsAt( appearance( id5 )=visible,  18440 ).

% Frame number: 462
holdsAt( appearance( id5 )=visible,  18480 ).

% Frame number: 463
holdsAt( appearance( id5 )=visible,  18520 ).

% Frame number: 464
holdsAt( appearance( id5 )=visible,  18560 ).

% Frame number: 465
holdsAt( appearance( id5 )=visible,  18600 ).

% Frame number: 466
holdsAt( appearance( id5 )=visible,  18640 ).

% Frame number: 467
holdsAt( appearance( id5 )=visible,  18680 ).

% Frame number: 468
holdsAt( appearance( id5 )=visible,  18720 ).

% Frame number: 469
holdsAt( appearance( id5 )=visible,  18760 ).

% Frame number: 470
holdsAt( orientation( id5 )=150, 18800  ). holdsAt( appearance( id5 )=visible,  18800 ).

% Frame number: 471
holdsAt( appearance( id5 )=visible,  18840 ).

% Frame number: 472
holdsAt( appearance( id5 )=visible,  18880 ).

% Frame number: 473
holdsAt( appearance( id5 )=visible,  18920 ).

% Frame number: 474
holdsAt( appearance( id5 )=visible,  18960 ).

% Frame number: 475
holdsAt( appearance( id5 )=visible,  19000 ).

% Frame number: 476
holdsAt( orientation( id5 )=150, 19040  ). holdsAt( appearance( id5 )=visible,  19040 ).

% Frame number: 477
holdsAt( appearance( id5 )=visible,  19080 ).

% Frame number: 478
holdsAt( appearance( id5 )=visible,  19120 ).

% Frame number: 479
holdsAt( appearance( id5 )=visible,  19160 ).

% Frame number: 480
holdsAt( appearance( id5 )=visible,  19200 ).

% Frame number: 481
holdsAt( appearance( id5 )=visible,  19240 ).

% Frame number: 482
holdsAt( appearance( id5 )=visible,  19280 ).

% Frame number: 483
holdsAt( appearance( id5 )=visible,  19320 ).

% Frame number: 484
holdsAt( appearance( id5 )=visible,  19360 ).

% Frame number: 485
holdsAt( appearance( id5 )=visible,  19400 ).

% Frame number: 486
holdsAt( appearance( id5 )=visible,  19440 ).

% Frame number: 487
holdsAt( appearance( id5 )=visible,  19480 ).

% Frame number: 488
holdsAt( appearance( id5 )=visible,  19520 ).

% Frame number: 489
holdsAt( appearance( id5 )=visible,  19560 ).

% Frame number: 490
holdsAt( appearance( id5 )=visible,  19600 ).

% Frame number: 491
holdsAt( appearance( id5 )=visible,  19640 ).

% Frame number: 492
holdsAt( appearance( id5 )=visible,  19680 ).

% Frame number: 493
holdsAt( orientation( id5 )=150, 19720  ). holdsAt( appearance( id5 )=visible,  19720 ).

% Frame number: 494
holdsAt( appearance( id5 )=visible,  19760 ).

% Frame number: 495
holdsAt( appearance( id5 )=visible,  19800 ).

% Frame number: 496
holdsAt( appearance( id5 )=visible,  19840 ).

% Frame number: 497
holdsAt( appearance( id5 )=visible,  19880 ).

% Frame number: 498
holdsAt( appearance( id5 )=visible,  19920 ).

% Frame number: 499
holdsAt( appearance( id5 )=visible,  19960 ).

% Frame number: 500
holdsAt( appearance( id5 )=visible,  20000 ).

% Frame number: 501
holdsAt( appearance( id5 )=visible,  20040 ).

% Frame number: 502
holdsAt( orientation( id5 )=150, 20080  ). holdsAt( appearance( id5 )=visible,  20080 ).

% Frame number: 503
holdsAt( appearance( id5 )=visible,  20120 ).

% Frame number: 504
holdsAt( appearance( id5 )=visible,  20160 ).

% Frame number: 505
holdsAt( appearance( id5 )=visible,  20200 ).

% Frame number: 506
holdsAt( orientation( id5 )=150, 20240  ). holdsAt( appearance( id5 )=visible,  20240 ).

% Frame number: 507
holdsAt( appearance( id5 )=visible,  20280 ).

% Frame number: 508
holdsAt( appearance( id5 )=visible,  20320 ).

% Frame number: 509
holdsAt( appearance( id5 )=visible,  20360 ).

% Frame number: 510
holdsAt( appearance( id5 )=visible,  20400 ).

% Frame number: 511
holdsAt( appearance( id5 )=visible,  20440 ).

% Frame number: 512
holdsAt( appearance( id5 )=visible,  20480 ).

% Frame number: 513
holdsAt( orientation( id5 )=150, 20520  ). holdsAt( appearance( id5 )=visible,  20520 ).

% Frame number: 514
holdsAt( appearance( id5 )=visible,  20560 ).

% Frame number: 515
holdsAt( appearance( id5 )=visible,  20600 ).

% Frame number: 516
holdsAt( appearance( id5 )=visible,  20640 ).

% Frame number: 517
holdsAt( appearance( id5 )=visible,  20680 ).

% Frame number: 518
holdsAt( appearance( id5 )=visible,  20720 ).

% Frame number: 519
holdsAt( appearance( id5 )=visible,  20760 ).

% Frame number: 520
holdsAt( appearance( id5 )=visible,  20800 ).

% Frame number: 521
holdsAt( appearance( id5 )=visible,  20840 ).

% Frame number: 522
holdsAt( appearance( id5 )=visible,  20880 ).

% Frame number: 523
holdsAt( appearance( id5 )=visible,  20920 ).

% Frame number: 524
holdsAt( orientation( id5 )=140, 20960  ). holdsAt( appearance( id5 )=visible,  20960 ).

% Frame number: 525
holdsAt( appearance( id5 )=visible,  21000 ).

% Frame number: 526
holdsAt( appearance( id5 )=visible,  21040 ).

% Frame number: 527
holdsAt( appearance( id5 )=visible,  21080 ).

% Frame number: 528
holdsAt( appearance( id5 )=visible,  21120 ).

% Frame number: 529
holdsAt( appearance( id5 )=visible,  21160 ).

% Frame number: 530
holdsAt( appearance( id5 )=visible,  21200 ).

% Frame number: 531
holdsAt( appearance( id5 )=visible,  21240 ).

% Frame number: 532
holdsAt( appearance( id5 )=visible,  21280 ).

% Frame number: 533
holdsAt( appearance( id5 )=visible,  21320 ).

% Frame number: 534
holdsAt( appearance( id5 )=visible,  21360 ).

% Frame number: 535
holdsAt( orientation( id5 )=110, 21400  ). holdsAt( appearance( id5 )=visible,  21400 ).

% Frame number: 536
holdsAt( appearance( id5 )=visible,  21440 ).

% Frame number: 537
holdsAt( appearance( id5 )=visible,  21480 ).

% Frame number: 538
holdsAt( appearance( id5 )=visible,  21520 ).

% Frame number: 539
holdsAt( appearance( id5 )=visible,  21560 ).

% Frame number: 540
holdsAt( appearance( id5 )=visible,  21600 ).

% Frame number: 541
holdsAt( appearance( id5 )=visible,  21640 ).

% Frame number: 542
holdsAt( appearance( id5 )=visible,  21680 ).

% Frame number: 543
holdsAt( appearance( id5 )=visible,  21720 ).

% Frame number: 544
holdsAt( appearance( id5 )=visible,  21760 ).

% Frame number: 545
holdsAt( appearance( id5 )=visible,  21800 ).

% Frame number: 546
holdsAt( appearance( id5 )=visible,  21840 ).

% Frame number: 547
holdsAt( appearance( id5 )=visible,  21880 ).

% Frame number: 548
holdsAt( appearance( id5 )=visible,  21920 ).

% Frame number: 549
holdsAt( appearance( id5 )=visible,  21960 ).

% Frame number: 550
holdsAt( appearance( id5 )=visible,  22000 ).

% Frame number: 551
holdsAt( appearance( id5 )=visible,  22040 ).

% Frame number: 552
holdsAt( appearance( id5 )=visible,  22080 ).

% Frame number: 553
holdsAt( appearance( id5 )=visible,  22120 ).

% Frame number: 554
holdsAt( appearance( id5 )=visible,  22160 ).

% Frame number: 555
holdsAt( appearance( id5 )=visible,  22200 ).

% Frame number: 556
holdsAt( appearance( id5 )=visible,  22240 ).

% Frame number: 557
holdsAt( appearance( id5 )=visible,  22280 ).

% Frame number: 558
holdsAt( orientation( id5 )=110, 22320  ). holdsAt( appearance( id5 )=visible,  22320 ).

% Frame number: 559
holdsAt( appearance( id5 )=visible,  22360 ).

% Frame number: 560
holdsAt( appearance( id5 )=visible,  22400 ).

% Frame number: 561
holdsAt( appearance( id5 )=visible,  22440 ).

% Frame number: 562
holdsAt( appearance( id5 )=visible,  22480 ).

% Frame number: 563
holdsAt( orientation( id5 )=110, 22520  ). holdsAt( appearance( id5 )=visible,  22520 ).

% Frame number: 564
holdsAt( appearance( id5 )=visible,  22560 ).

% Frame number: 565
holdsAt( appearance( id5 )=visible,  22600 ).

% Frame number: 566
holdsAt( appearance( id5 )=visible,  22640 ).

% Frame number: 567
holdsAt( appearance( id5 )=visible,  22680 ).

% Frame number: 568
holdsAt( appearance( id5 )=visible,  22720 ).

% Frame number: 569
holdsAt( appearance( id5 )=visible,  22760 ).

% Frame number: 570
holdsAt( appearance( id5 )=visible,  22800 ).

% Frame number: 571
holdsAt( appearance( id5 )=visible,  22840 ).

% Frame number: 572
holdsAt( appearance( id5 )=visible,  22880 ).

% Frame number: 573
holdsAt( appearance( id5 )=visible,  22920 ).

% Frame number: 574
holdsAt( appearance( id5 )=visible,  22960 ).

% Frame number: 575
holdsAt( appearance( id5 )=visible,  23000 ).

% Frame number: 576
holdsAt( appearance( id5 )=visible,  23040 ).

% Frame number: 577
holdsAt( appearance( id5 )=visible,  23080 ).

% Frame number: 578
holdsAt( appearance( id5 )=visible,  23120 ).

% Frame number: 579
holdsAt( appearance( id5 )=visible,  23160 ).

% Frame number: 580
holdsAt( appearance( id5 )=visible,  23200 ).

% Frame number: 581
holdsAt( appearance( id5 )=visible,  23240 ).

% Frame number: 582
holdsAt( appearance( id5 )=visible,  23280 ).

% Frame number: 583
holdsAt( appearance( id5 )=visible,  23320 ).

% Frame number: 584
holdsAt( appearance( id5 )=visible,  23360 ).

% Frame number: 585
holdsAt( appearance( id5 )=visible,  23400 ).

% Frame number: 586
holdsAt( appearance( id5 )=visible,  23440 ).

% Frame number: 587
holdsAt( appearance( id5 )=visible,  23480 ).

% Frame number: 588
holdsAt( appearance( id5 )=visible,  23520 ).

% Frame number: 589
holdsAt( appearance( id5 )=visible,  23560 ).

% Frame number: 590
holdsAt( appearance( id5 )=visible,  23600 ).

% Frame number: 591
holdsAt( appearance( id5 )=visible,  23640 ).

% Frame number: 592
holdsAt( appearance( id5 )=visible,  23680 ).

% Frame number: 593
holdsAt( appearance( id5 )=visible,  23720 ).

% Frame number: 594
holdsAt( appearance( id5 )=visible,  23760 ).

% Frame number: 595
holdsAt( orientation( id5 )=100, 23800  ). holdsAt( appearance( id5 )=visible,  23800 ).

% Frame number: 596
holdsAt( appearance( id5 )=visible,  23840 ).

% Frame number: 597
holdsAt( appearance( id5 )=visible,  23880 ).

% Frame number: 598
holdsAt( appearance( id5 )=visible,  23920 ).

% Frame number: 599
holdsAt( appearance( id5 )=visible,  23960 ).

% Frame number: 600
holdsAt( appearance( id5 )=visible,  24000 ).

% Frame number: 601
holdsAt( appearance( id5 )=visible,  24040 ).

% Frame number: 602
holdsAt( appearance( id5 )=visible,  24080 ).

% Frame number: 603
holdsAt( appearance( id5 )=visible,  24120 ).

% Frame number: 604
holdsAt( appearance( id5 )=visible,  24160 ).

% Frame number: 605
holdsAt( appearance( id5 )=visible,  24200 ).

% Frame number: 606
holdsAt( appearance( id5 )=visible,  24240 ).

% Frame number: 607
holdsAt( appearance( id5 )=visible,  24280 ).

% Frame number: 608
holdsAt( appearance( id5 )=visible,  24320 ).

% Frame number: 609
holdsAt( appearance( id5 )=visible,  24360 ).

% Frame number: 610
holdsAt( appearance( id5 )=visible,  24400 ).

% Frame number: 611
holdsAt( appearance( id5 )=visible,  24440 ).

% Frame number: 612
holdsAt( appearance( id5 )=visible,  24480 ).

% Frame number: 613
holdsAt( appearance( id5 )=visible,  24520 ).

% Frame number: 614
holdsAt( appearance( id5 )=visible,  24560 ).

% Frame number: 615
holdsAt( appearance( id5 )=visible,  24600 ).

% Frame number: 616
holdsAt( appearance( id5 )=visible,  24640 ).

% Frame number: 617
holdsAt( appearance( id5 )=visible,  24680 ).

% Frame number: 618
holdsAt( appearance( id5 )=visible,  24720 ).

% Frame number: 619
holdsAt( appearance( id5 )=visible,  24760 ).

% Frame number: 620
holdsAt( appearance( id5 )=visible,  24800 ).

% Frame number: 621
holdsAt( appearance( id5 )=visible,  24840 ).

% Frame number: 622
holdsAt( appearance( id5 )=visible,  24880 ).

% Frame number: 623
holdsAt( appearance( id5 )=visible,  24920 ).

% Frame number: 624
holdsAt( appearance( id5 )=visible,  24960 ).

% Frame number: 625
holdsAt( appearance( id5 )=visible,  25000 ).

% Frame number: 626
holdsAt( appearance( id5 )=visible,  25040 ).

% Frame number: 627
holdsAt( orientation( id5 )=100, 25080  ). holdsAt( appearance( id5 )=visible,  25080 ).

% Frame number: 628
holdsAt( appearance( id5 )=visible,  25120 ).

% Frame number: 629
holdsAt( appearance( id5 )=visible,  25160 ).

% Frame number: 630
holdsAt( appearance( id5 )=visible,  25200 ).

% Frame number: 631
holdsAt( appearance( id5 )=visible,  25240 ).

% Frame number: 632
holdsAt( appearance( id5 )=visible,  25280 ).

% Frame number: 633
holdsAt( appearance( id5 )=visible,  25320 ).

% Frame number: 634
holdsAt( appearance( id5 )=visible,  25360 ).

% Frame number: 635
holdsAt( appearance( id5 )=visible,  25400 ).

% Frame number: 636
holdsAt( appearance( id5 )=visible,  25440 ).

% Frame number: 637
holdsAt( orientation( id5 )=75, 25480  ). holdsAt( appearance( id5 )=visible,  25480 ).

% Frame number: 638
holdsAt( appearance( id5 )=visible,  25520 ).

% Frame number: 639
holdsAt( appearance( id5 )=visible,  25560 ).

% Frame number: 640
holdsAt( appearance( id5 )=visible,  25600 ).

% Frame number: 641
holdsAt( appearance( id5 )=visible,  25640 ).

% Frame number: 642
holdsAt( appearance( id5 )=visible,  25680 ).

% Frame number: 643
holdsAt( appearance( id5 )=visible,  25720 ).

% Frame number: 644
holdsAt( orientation( id5 )=75, 25760  ). holdsAt( appearance( id5 )=visible,  25760 ).

% Frame number: 645
holdsAt( appearance( id5 )=visible,  25800 ).

% Frame number: 646
holdsAt( appearance( id5 )=visible,  25840 ).

% Frame number: 647
holdsAt( appearance( id5 )=visible,  25880 ).

% Frame number: 648
holdsAt( appearance( id5 )=visible,  25920 ).

% Frame number: 649
holdsAt( appearance( id5 )=visible,  25960 ).

% Frame number: 650
holdsAt( appearance( id5 )=visible,  26000 ).

% Frame number: 651
holdsAt( appearance( id5 )=visible,  26040 ).

% Frame number: 652
holdsAt( appearance( id5 )=visible,  26080 ).

% Frame number: 653
holdsAt( appearance( id5 )=visible,  26120 ).

% Frame number: 654
holdsAt( appearance( id5 )=visible,  26160 ).

% Frame number: 655
holdsAt( appearance( id5 )=visible,  26200 ).

% Frame number: 656
holdsAt( appearance( id5 )=visible,  26240 ).

% Frame number: 657
holdsAt( appearance( id5 )=visible,  26280 ).

% Frame number: 658
holdsAt( appearance( id5 )=visible,  26320 ).

% Frame number: 659
holdsAt( appearance( id5 )=visible,  26360 ).

% Frame number: 660
holdsAt( appearance( id5 )=visible,  26400 ).

% Frame number: 661
holdsAt( appearance( id5 )=visible,  26440 ).

% Frame number: 662
holdsAt( orientation( id5 )=75, 26480  ). holdsAt( appearance( id5 )=visible,  26480 ).

% Frame number: 663
holdsAt( appearance( id5 )=visible,  26520 ).

% Frame number: 664
holdsAt( appearance( id5 )=visible,  26560 ).

% Frame number: 665
holdsAt( appearance( id5 )=visible,  26600 ).

% Frame number: 666
holdsAt( appearance( id5 )=visible,  26640 ).

% Frame number: 667
holdsAt( appearance( id5 )=visible,  26680 ).

% Frame number: 668
holdsAt( appearance( id5 )=visible,  26720 ).

% Frame number: 669
holdsAt( appearance( id5 )=visible,  26760 ).

% Frame number: 670
holdsAt( appearance( id5 )=visible,  26800 ).

% Frame number: 671
holdsAt( appearance( id5 )=visible,  26840 ).

% Frame number: 672
holdsAt( appearance( id5 )=visible,  26880 ).

% Frame number: 673
holdsAt( orientation( id5 )=45, 26920  ). holdsAt( appearance( id5 )=visible,  26920 ).

% Frame number: 674
holdsAt( appearance( id5 )=visible,  26960 ).

% Frame number: 675
holdsAt( appearance( id5 )=visible,  27000 ).

% Frame number: 676
holdsAt( appearance( id5 )=visible,  27040 ).

% Frame number: 677
holdsAt( appearance( id5 )=visible,  27080 ).

% Frame number: 678
holdsAt( appearance( id5 )=visible,  27120 ).

% Frame number: 679
holdsAt( appearance( id5 )=visible,  27160 ).

% Frame number: 680
holdsAt( appearance( id5 )=visible,  27200 ).

% Frame number: 681
holdsAt( appearance( id5 )=visible,  27240 ).

% Frame number: 682
holdsAt( appearance( id5 )=visible,  27280 ).

% Frame number: 683
holdsAt( appearance( id5 )=visible,  27320 ).

% Frame number: 684
holdsAt( appearance( id5 )=visible,  27360 ).

% Frame number: 685
holdsAt( appearance( id5 )=visible,  27400 ).

% Frame number: 686
holdsAt( appearance( id5 )=visible,  27440 ).

% Frame number: 687
holdsAt( appearance( id5 )=visible,  27480 ).

% Frame number: 688
holdsAt( appearance( id5 )=visible,  27520 ).

% Frame number: 689
holdsAt( appearance( id5 )=visible,  27560 ).

% Frame number: 690
holdsAt( appearance( id5 )=visible,  27600 ).

% Frame number: 691
holdsAt( appearance( id5 )=visible,  27640 ).

% Frame number: 692
holdsAt( appearance( id5 )=visible,  27680 ).

% Frame number: 693
holdsAt( appearance( id5 )=visible,  27720 ).

% Frame number: 694
holdsAt( appearance( id5 )=visible,  27760 ).

% Frame number: 695
holdsAt( appearance( id5 )=visible,  27800 ).

% Frame number: 696
holdsAt( appearance( id5 )=visible,  27840 ).

% Frame number: 697
holdsAt( appearance( id5 )=visible,  27880 ).

% Frame number: 698
holdsAt( appearance( id5 )=visible,  27920 ).

% Frame number: 699
holdsAt( appearance( id5 )=visible,  27960 ).

% Frame number: 700
holdsAt( appearance( id5 )=visible,  28000 ).

% Frame number: 701
holdsAt( appearance( id5 )=visible,  28040 ).

% Frame number: 702
holdsAt( orientation( id5 )=45, 28080  ). holdsAt( appearance( id5 )=visible,  28080 ).

% Frame number: 703
holdsAt( appearance( id5 )=visible,  28120 ).

% Frame number: 704
holdsAt( appearance( id5 )=visible,  28160 ).

% Frame number: 705
holdsAt( appearance( id5 )=visible,  28200 ).

% Frame number: 706
holdsAt( orientation( id5 )=45, 28240  ). holdsAt( appearance( id5 )=visible,  28240 ).

% Frame number: 707
holdsAt( appearance( id5 )=visible,  28280 ).

% Frame number: 708
holdsAt( appearance( id5 )=visible,  28320 ).

% Frame number: 709
holdsAt( appearance( id5 )=visible,  28360 ).

% Frame number: 710
holdsAt( appearance( id5 )=visible,  28400 ).

% Frame number: 711
holdsAt( appearance( id5 )=visible,  28440 ).

% Frame number: 712
holdsAt( appearance( id5 )=visible,  28480 ).

% Frame number: 713
holdsAt( orientation( id5 )=45, 28520  ). holdsAt( appearance( id5 )=visible,  28520 ).

% Frame number: 714
holdsAt( appearance( id5 )=visible,  28560 ).

% Frame number: 715
holdsAt( orientation( id5 )=45, 28600  ). holdsAt( appearance( id5 )=visible,  28600 ).

% Frame number: 716
holdsAt( appearance( id5 )=visible,  28640 ).

% Frame number: 717
holdsAt( appearance( id5 )=visible,  28680 ).

% Frame number: 718
holdsAt( appearance( id5 )=visible,  28720 ).

% Frame number: 719
holdsAt( appearance( id5 )=visible,  28760 ).

% Frame number: 720
holdsAt( appearance( id5 )=visible,  28800 ).

% Frame number: 721
holdsAt( appearance( id5 )=visible,  28840 ).

% Frame number: 722
holdsAt( orientation( id5 )=45, 28880  ). holdsAt( appearance( id5 )=visible,  28880 ).

% Frame number: 723
holdsAt( appearance( id5 )=visible,  28920 ).

% Frame number: 724
holdsAt( appearance( id5 )=visible,  28960 ).

% Frame number: 725
holdsAt( appearance( id5 )=visible,  29000 ).

% Frame number: 726
holdsAt( appearance( id5 )=visible,  29040 ).

% Frame number: 727
holdsAt( orientation( id5 )=45, 29080  ). holdsAt( appearance( id5 )=visible,  29080 ).

% Frame number: 728
holdsAt( appearance( id5 )=visible,  29120 ).

% Frame number: 729
holdsAt( appearance( id5 )=visible,  29160 ).

% Frame number: 730
holdsAt( appearance( id5 )=visible,  29200 ).

% Frame number: 731
holdsAt( appearance( id5 )=visible,  29240 ).

% Frame number: 732
holdsAt( appearance( id5 )=visible,  29280 ).

% Frame number: 733
holdsAt( appearance( id5 )=visible,  29320 ).

% Frame number: 734
holdsAt( appearance( id5 )=visible,  29360 ).

% Frame number: 735
holdsAt( orientation( id5 )=45, 29400  ). holdsAt( appearance( id5 )=visible,  29400 ).

% Frame number: 736
holdsAt( orientation( id5 )=45, 29440  ). holdsAt( appearance( id5 )=visible,  29440 ).

% Frame number: 737
holdsAt( appearance( id5 )=visible,  29480 ).

% Frame number: 738
holdsAt( appearance( id5 )=visible,  29520 ).

% Frame number: 739
holdsAt( appearance( id5 )=visible,  29560 ).

% Frame number: 740
holdsAt( appearance( id5 )=visible,  29600 ).

% Frame number: 741
holdsAt( appearance( id5 )=visible,  29640 ).

% Frame number: 742
holdsAt( appearance( id5 )=visible,  29680 ).

% Frame number: 743
holdsAt( appearance( id5 )=visible,  29720 ).

% Frame number: 744
holdsAt( appearance( id5 )=visible,  29760 ).

% Frame number: 745
holdsAt( appearance( id5 )=visible,  29800 ).

% Frame number: 746
holdsAt( appearance( id5 )=visible,  29840 ).

% Frame number: 747
holdsAt( appearance( id5 )=visible,  29880 ).

% Frame number: 748
holdsAt( appearance( id5 )=visible,  29920 ).

% Frame number: 749
holdsAt( appearance( id5 )=visible,  29960 ).

% Frame number: 750
holdsAt( appearance( id5 )=visible,  30000 ).

% Frame number: 751
holdsAt( appearance( id5 )=visible,  30040 ).

% Frame number: 752
holdsAt( appearance( id5 )=visible,  30080 ).

% Frame number: 753
holdsAt( appearance( id5 )=visible,  30120 ).

% Frame number: 754
holdsAt( appearance( id5 )=visible,  30160 ).

% Frame number: 755
holdsAt( appearance( id5 )=visible,  30200 ).

% Frame number: 756
holdsAt( appearance( id5 )=visible,  30240 ).

% Frame number: 757
holdsAt( orientation( id5 )=45, 30280  ). holdsAt( appearance( id5 )=visible,  30280 ).

% Frame number: 758
holdsAt( appearance( id5 )=visible,  30320 ).

% Frame number: 759
holdsAt( appearance( id5 )=visible,  30360 ).

% Frame number: 760
holdsAt( appearance( id5 )=visible,  30400 ).

% Frame number: 761
holdsAt( appearance( id5 )=visible,  30440 ).

% Frame number: 762
holdsAt( appearance( id5 )=visible,  30480 ).

% Frame number: 763
holdsAt( appearance( id5 )=visible,  30520 ).

% Frame number: 764
holdsAt( appearance( id5 )=visible,  30560 ).

% Frame number: 765
holdsAt( appearance( id5 )=visible,  30600 ).

% Frame number: 766
holdsAt( appearance( id5 )=visible,  30640 ).

% Frame number: 767
holdsAt( orientation( id5 )=45, 30680  ). holdsAt( appearance( id5 )=visible,  30680 ).

% Frame number: 768
holdsAt( orientation( id5 )=45, 30720  ). holdsAt( appearance( id5 )=visible,  30720 ).

% Frame number: 769
holdsAt( appearance( id5 )=visible,  30760 ).

% Frame number: 770
holdsAt( appearance( id5 )=visible,  30800 ).

% Frame number: 771
holdsAt( orientation( id5 )=45, 30840  ). holdsAt( appearance( id5 )=visible,  30840 ).

% Frame number: 772
holdsAt( appearance( id5 )=visible,  30880 ).

% Frame number: 773
holdsAt( appearance( id5 )=visible,  30920 ).

% Frame number: 774
holdsAt( appearance( id5 )=visible,  30960 ).

% Frame number: 775
holdsAt( appearance( id5 )=visible,  31000 ).

% Frame number: 776
holdsAt( appearance( id5 )=visible,  31040 ).

% Frame number: 777
holdsAt( appearance( id5 )=visible,  31080 ).

% Frame number: 778
holdsAt( appearance( id5 )=visible,  31120 ).

% Frame number: 779
holdsAt( appearance( id5 )=visible,  31160 ).

% Frame number: 780
holdsAt( appearance( id5 )=visible,  31200 ).

% Frame number: 781
holdsAt( orientation( id5 )=45, 31240  ). holdsAt( appearance( id5 )=visible,  31240 ).

% Frame number: 782
holdsAt( orientation( id5 )=45, 31280  ). holdsAt( appearance( id5 )=visible,  31280 ).

% Frame number: 783
holdsAt( appearance( id5 )=visible,  31320 ).

% Frame number: 784
holdsAt( orientation( id5 )=45, 31360  ). holdsAt( appearance( id5 )=visible,  31360 ).

% Frame number: 785
holdsAt( appearance( id5 )=visible,  31400 ).

% Frame number: 786
holdsAt( appearance( id5 )=visible,  31440 ).

% Frame number: 787
holdsAt( appearance( id5 )=visible,  31480 ).

% Frame number: 788
holdsAt( appearance( id5 )=visible,  31520 ).

% Frame number: 789
holdsAt( appearance( id5 )=visible,  31560 ).

% Frame number: 790
holdsAt( appearance( id5 )=visible,  31600 ).

% Frame number: 791
holdsAt( appearance( id5 )=visible,  31640 ).

% Frame number: 792
holdsAt( appearance( id5 )=visible,  31680 ).

% Frame number: 793
holdsAt( appearance( id5 )=visible,  31720 ).

% Frame number: 794
holdsAt( appearance( id5 )=visible,  31760 ).

% Frame number: 795
holdsAt( appearance( id5 )=visible,  31800 ).

% Frame number: 796
holdsAt( appearance( id5 )=visible,  31840 ).

% Frame number: 797
holdsAt( appearance( id5 )=visible,  31880 ).

% Frame number: 798
holdsAt( appearance( id5 )=visible,  31920 ).

% Frame number: 799
holdsAt( appearance( id5 )=visible,  31960 ).

% Frame number: 800
holdsAt( appearance( id5 )=visible,  32000 ).

% Frame number: 801
holdsAt( appearance( id5 )=visible,  32040 ).

% Frame number: 802
holdsAt( appearance( id5 )=visible,  32080 ).

% Frame number: 803
holdsAt( appearance( id5 )=visible,  32120 ).

% Frame number: 804
holdsAt( appearance( id5 )=visible,  32160 ).

% Frame number: 805
holdsAt( appearance( id5 )=visible,  32200 ).

% Frame number: 806
holdsAt( orientation( id5 )=45, 32240  ). holdsAt( appearance( id5 )=visible,  32240 ).

% Frame number: 807
holdsAt( appearance( id5 )=visible,  32280 ).

% Frame number: 808
holdsAt( appearance( id5 )=visible,  32320 ).

% Frame number: 809
holdsAt( appearance( id5 )=visible,  32360 ).

% Frame number: 810
holdsAt( appearance( id5 )=visible,  32400 ).

% Frame number: 811
holdsAt( appearance( id5 )=visible,  32440 ).

% Frame number: 812
holdsAt( appearance( id5 )=visible,  32480 ).

% Frame number: 813
holdsAt( appearance( id5 )=visible,  32520 ).

% Frame number: 814
holdsAt( appearance( id5 )=visible,  32560 ).

% Frame number: 815
holdsAt( appearance( id5 )=visible,  32600 ).

% Frame number: 816
holdsAt( appearance( id5 )=visible,  32640 ).

% Frame number: 817
holdsAt( appearance( id5 )=visible,  32680 ).

% Frame number: 818
holdsAt( appearance( id5 )=visible,  32720 ).

% Frame number: 819
holdsAt( appearance( id5 )=visible,  32760 ).

% Frame number: 820
holdsAt( appearance( id5 )=visible,  32800 ).

% Frame number: 821
holdsAt( appearance( id5 )=visible,  32840 ).

% Frame number: 822
holdsAt( appearance( id5 )=visible,  32880 ).

% Frame number: 823
holdsAt( appearance( id5 )=visible,  32920 ).

% Frame number: 824
holdsAt( appearance( id5 )=visible,  32960 ).

% Frame number: 825
holdsAt( appearance( id5 )=visible,  33000 ).

% Frame number: 826
holdsAt( appearance( id5 )=visible,  33040 ).

% Frame number: 827
holdsAt( appearance( id5 )=visible,  33080 ).

% Frame number: 828
holdsAt( appearance( id5 )=visible,  33120 ).

% Frame number: 829
holdsAt( appearance( id5 )=visible,  33160 ).

% Frame number: 830
holdsAt( orientation( id5 )=60, 33200  ). holdsAt( appearance( id5 )=visible,  33200 ).

% Frame number: 831
holdsAt( appearance( id5 )=visible,  33240 ).

% Frame number: 832
holdsAt( appearance( id5 )=visible,  33280 ).

% Frame number: 833
holdsAt( appearance( id5 )=visible,  33320 ).

% Frame number: 834
holdsAt( appearance( id5 )=visible,  33360 ).

% Frame number: 835
holdsAt( appearance( id5 )=visible,  33400 ).

% Frame number: 836
holdsAt( appearance( id5 )=visible,  33440 ).

% Frame number: 837
holdsAt( appearance( id5 )=visible,  33480 ).

% Frame number: 838
holdsAt( appearance( id5 )=visible,  33520 ).

% Frame number: 839
holdsAt( appearance( id5 )=visible,  33560 ).

% Frame number: 840
holdsAt( appearance( id5 )=visible,  33600 ).

% Frame number: 841
holdsAt( appearance( id5 )=visible,  33640 ).

% Frame number: 842
holdsAt( appearance( id5 )=visible,  33680 ).

% Frame number: 843
holdsAt( appearance( id5 )=visible,  33720 ).

% Frame number: 844
holdsAt( appearance( id5 )=visible,  33760 ).

% Frame number: 845
holdsAt( appearance( id5 )=visible,  33800 ).

% Frame number: 846
holdsAt( appearance( id5 )=visible,  33840 ).

% Frame number: 847
holdsAt( orientation( id5 )=120, 33880  ). holdsAt( appearance( id5 )=visible,  33880 ).

% Frame number: 848
holdsAt( appearance( id5 )=visible,  33920 ).

% Frame number: 849
holdsAt( appearance( id5 )=visible,  33960 ).

% Frame number: 850
holdsAt( appearance( id5 )=visible,  34000 ).

% Frame number: 851
holdsAt( appearance( id5 )=visible,  34040 ).

% Frame number: 852
holdsAt( appearance( id5 )=visible,  34080 ).

% Frame number: 853
holdsAt( appearance( id5 )=visible,  34120 ).

% Frame number: 854
holdsAt( appearance( id5 )=visible,  34160 ).

% Frame number: 855
holdsAt( appearance( id5 )=visible,  34200 ).

% Frame number: 856
holdsAt( orientation( id5 )=140, 34240  ). holdsAt( appearance( id5 )=visible,  34240 ).

% Frame number: 857
holdsAt( appearance( id5 )=visible,  34280 ).

% Frame number: 858
holdsAt( appearance( id5 )=visible,  34320 ).

% Frame number: 859
holdsAt( appearance( id5 )=visible,  34360 ).

% Frame number: 860
holdsAt( appearance( id5 )=visible,  34400 ).

% Frame number: 861
holdsAt( appearance( id5 )=visible,  34440 ).

% Frame number: 862
holdsAt( appearance( id5 )=visible,  34480 ).

% Frame number: 863
holdsAt( appearance( id5 )=visible,  34520 ).

% Frame number: 864
holdsAt( appearance( id5 )=visible,  34560 ).

% Frame number: 865
holdsAt( appearance( id5 )=visible,  34600 ).

% Frame number: 866
holdsAt( appearance( id5 )=visible,  34640 ).

% Frame number: 867
holdsAt( appearance( id5 )=visible,  34680 ).

% Frame number: 868
holdsAt( appearance( id5 )=visible,  34720 ).

% Frame number: 869
holdsAt( appearance( id5 )=visible,  34760 ).

% Frame number: 870
holdsAt( appearance( id5 )=visible,  34800 ).

% Frame number: 871
holdsAt( appearance( id5 )=visible,  34840 ).

% Frame number: 872
holdsAt( appearance( id5 )=visible,  34880 ).

% Frame number: 873
holdsAt( appearance( id5 )=visible,  34920 ).

% Frame number: 874
holdsAt( appearance( id5 )=visible,  34960 ).

% Frame number: 875
holdsAt( appearance( id5 )=visible,  35000 ).

% Frame number: 876
holdsAt( appearance( id5 )=visible,  35040 ).

% Frame number: 877
holdsAt( orientation( id5 )=140, 35080  ). holdsAt( appearance( id5 )=visible,  35080 ).

% Frame number: 878
holdsAt( appearance( id5 )=visible,  35120 ).

% Frame number: 879
holdsAt( appearance( id5 )=visible,  35160 ).

% Frame number: 880
holdsAt( orientation( id5 )=140, 35200  ). holdsAt( appearance( id5 )=visible,  35200 ).

% Frame number: 881
holdsAt( appearance( id5 )=visible,  35240 ).

% Frame number: 882
holdsAt( orientation( id5 )=140, 35280  ). holdsAt( appearance( id5 )=visible,  35280 ).

% Frame number: 883
holdsAt( orientation( id5 )=140, 35320  ). holdsAt( appearance( id5 )=visible,  35320 ).

% Frame number: 884
holdsAt( appearance( id5 )=visible,  35360 ).

% Frame number: 885
holdsAt( appearance( id5 )=visible,  35400 ).

% Frame number: 886
holdsAt( appearance( id5 )=visible,  35440 ).

% Frame number: 887
holdsAt( appearance( id5 )=visible,  35480 ).

% Frame number: 888
holdsAt( appearance( id5 )=visible,  35520 ).

% Frame number: 889
holdsAt( orientation( id5 )=140, 35560  ). holdsAt( appearance( id5 )=visible,  35560 ).

% Frame number: 890
holdsAt( appearance( id5 )=visible,  35600 ).

% Frame number: 891
holdsAt( appearance( id5 )=visible,  35640 ).

% Frame number: 892
holdsAt( appearance( id5 )=visible,  35680 ).

% Frame number: 893
holdsAt( appearance( id5 )=visible,  35720 ).

% Frame number: 894
holdsAt( appearance( id5 )=visible,  35760 ).

% Frame number: 895
holdsAt( appearance( id5 )=visible,  35800 ).

% Frame number: 896
holdsAt( appearance( id5 )=visible,  35840 ).

% Frame number: 897
holdsAt( orientation( id5 )=140, 35880  ). holdsAt( appearance( id5 )=visible,  35880 ).

% Frame number: 898
holdsAt( appearance( id5 )=visible,  35920 ).

% Frame number: 899
holdsAt( appearance( id5 )=visible,  35960 ).

% Frame number: 900
holdsAt( appearance( id5 )=visible,  36000 ).

% Frame number: 901
holdsAt( orientation( id5 )=140, 36040  ). holdsAt( appearance( id5 )=visible,  36040 ).

% Frame number: 902
holdsAt( appearance( id5 )=visible,  36080 ).

% Frame number: 903
holdsAt( appearance( id5 )=visible,  36120 ).

% Frame number: 904
holdsAt( appearance( id5 )=visible,  36160 ).

% Frame number: 905
holdsAt( appearance( id5 )=visible,  36200 ).

% Frame number: 906
holdsAt( appearance( id5 )=visible,  36240 ).

% Frame number: 907
holdsAt( appearance( id5 )=visible,  36280 ).

% Frame number: 908
holdsAt( appearance( id5 )=visible,  36320 ).

% Frame number: 909
holdsAt( orientation( id5 )=167, 36360  ). holdsAt( appearance( id5 )=visible,  36360 ).

% Frame number: 910
holdsAt( appearance( id5 )=disappear,  36400 ).


text:
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--

  Copyright 2003 - 2014 The eFaps Team

  Licensed under the Apache License, Version 2.0 (the "License");
  you may not use this file except in compliance with the License.
  You may obtain a copy of the License at

  http://www.apache.org/licenses/LICENSE-2.0

  Unless required by applicable law or agreed to in writing, software
  distributed under the License is distributed on an "AS IS" BASIS,
  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  See the License for the specific language governing permissions and
  limitations under the License.

  Author:          The eFaps Team
  Revision:        $Rev$
  Last Changed:    $Date$
  Last Changed By: $Author$

-->
<ui-menu xmlns="http://www.efaps.org/xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.efaps.org/xsd http://www.efaps.org/xsd/eFaps_1.0.xsd">
    <uuid>7f867377-710a-4a48-a0a8-292283f9feae</uuid>
    <file-application>eFapsApp-Accounting</file-application>
    <file-revision>$Rev$</file-revision>
    <definition>
        <version-expression>(version==latest)</version-expression>
        <name>Accounting_SubPeriodTree_CollectMenu</name>
        <target>
            <form>Accounting_SubPeriodTree_CollectMenuForm</form>
        </target>
        <childs>
            <child>Accounting_SubPeriodTree_CollectMenu_Document</child>
            <child>Accounting_SubPeriodTree_CollectMenu_DocsToBook</child>
            <child>Accounting_SubPeriodTree_CollectMenu_Payment</child>
        </childs>
        <property name="Target">content</property>
        <property name="TargetMode">view</property>
        <property name="Label">Accounting_PeriodTree_CollectMenu.Label</property>
        <property name="TargetTitle">Accounting_PeriodTree_CollectMenu.Title</property>
    </definition>
</ui-menu>

redpajama_set_name: RedPajamaGithub


text:
package com.christianwilkie.rdailyprogrammer.c187p1.easy;

import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;
import java.util.Map;

/**
 * Created by chris on 11/8/2014.
 */
public class CommandLineArgumentParser {
    private Map<String, String> shortFormDefinitionMap;
    private boolean errorFlag = false;
    private static String errorOutputString = "Internal error in argument parsing.";

    public CommandLineArgumentParser() {
        shortFormDefinitionMap = new HashMap<>();
    }

    public List<String> parseCommandLineArguments(List<String> rawShortFormDefinitions, String rawArgumentLine) {
        List<String> output;
        //parse all short form definitions
        rawShortFormDefinitions.forEach(this::parseShortFormDefinition);
        //parse the argument lines and form the output
        output = parseRawArgumentLine(rawArgumentLine);
        //if there was an error at some point, return bad output info
        if (errorFlag == true) {
            List<String> badOutput = new ArrayList<>(1);
            badOutput.add(errorOutputString);
            return badOutput;
        }
        //no errors, return good info
        return output;
    }

    private void parseShortFormDefinition(String shortFormDefinition) {
        String[] splitShortFormDefinition = shortFormDefinition.split(":");
        if(splitShortFormDefinition.length != 2) {
            errorFlag = true;
        } else {
            shortFormDefinitionMap.put(splitShortFormDefinition[0],splitShortFormDefinition[1]);
        }
    }

    private List<String> parseRawArgumentLine(String rawArgumentLine) {
        List<String> output = new ArrayList<>();
        String[] splitArguments = rawArgumentLine.split(" ");
        for(String rawArgument: splitArguments) {
            //add each parsed argument to the output
            parseCommandLineArgument(rawArgument).forEach(output::add);
        }
        return output;
    }

    private List<String> parseCommandLineArgument(String rawArgument) {
        List<String> parsedArguments = new ArrayList<>();
        if(rawArgument.startsWith("--")) {
            //full argument
            parsedArguments.add("flag: " + rawArgument);
        } else if (rawArgument.startsWith("-")) {
            //condensed argument
            //split up into chars in case there is more than 1 argument, also skip the '-'
            char[] argumentChars = rawArgument.substring(1).toCharArray();
            for(char argument: argumentChars) {
                //check for definition
                String fullDefinition = shortFormDefinitionMap.get(String.valueOf(argument));
                if (fullDefinition == null) {
                    errorFlag = true;
                    parsedArguments.add("");
                } else {
                    parsedArguments.add("flag: " + fullDefinition);
                }
            }
        } else {
            //parameter
            parsedArguments.add("parameter: " + rawArgument);
        }
        return parsedArguments;
    }
}


text:
package org.apache.maven.model;

import junit.framework.TestCase;

/**
 * Tests {@code ActivationFile}.
 *
 * @author Benjamin Bentmann
 */
public class ActivationFileTest
    extends TestCase
{

    public void testHashCodeNullSafe()
    {
        new ActivationFile().hashCode();
    }

    public void testEqualsNullSafe()
    {
        assertFalse( new ActivationFile().equals( null ) );

        new ActivationFile().equals( new ActivationFile() );
    }

    public void testEqualsIdentity()
    {
        ActivationFile thing = new ActivationFile();
        assertTrue( thing.equals( thing ) );
    }

    public void testToStringNullSafe()
    {
        assertNotNull( new ActivationFile().toString() );
    }

}


text:
package com.strandls.alchemy.webservices.common.json;

import javax.inject.Inject;
import javax.inject.Provider;
import javax.inject.Singleton;

import lombok.RequiredArgsConstructor;

import com.fasterxml.jackson.databind.ObjectMapper;
import com.fasterxml.jackson.jaxrs.json.JacksonJsonProvider;

/**
 * {@link JacksonJsonProvider} {@link Provider} for json media binding in
 * jersey.
 *
 * @author Ashish Shinde
 *
 */
@Singleton
@RequiredArgsConstructor(onConstructor = @_(@Inject))
public class JacksonJsonProviderProvider implements Provider<JacksonJsonProvider> {
    /**
     * The jackson object mapper.
     */
    private final ObjectMapper mapper;

    /*
     * (non-Javadoc)
     * @see javax.inject.Provider#get()
     */
    @Override
    public JacksonJsonProvider get() {
        return new JacksonJsonProvider(mapper);
    }
}


text:
package com.gmail.mstojcevich.iridium.events.render;

/**
 * Event fired after rendering the world. For use when bobbing is required.
 * @author marcusant
 * @version 1
 * @since 8/25/13 12:09 AM
 */
public class EventRenderWorldBobbing extends EventRenderWorld {
}


text:
---
---
// dashes above allow this file to be processed by jekyll
// which i'm using to get the correct path of files

function getRandom(min, max) {
  return Math.random() * (max - min) + min;
}

window.Game = {
  Models: {},
  Views: {},
  Routers: {}
}

// game ui.
Game.Views.UI = Backbone.View.extend({
  className: "game",

  template: _.template( $("#game-ui-template").html() ),

  events: {
    "click .music": "music",
    "click .about-jump-buds": "about",
    "click .close": "closeAbout"
  },

  initialize: function() {
    // {{ site.baseurl }} places the base url of this site when this file is processed by jekyll
    this.song = new buzz.sound( "{{ site.baseurl }}/sounds/song1", { formats: [ "mp3", "wav" ] });
    this.song.play().fadeIn().loop();
  },

  music: function(){
    var $music = this.$el.find('.music');

    if ( $music.hasClass('paused') ) {
      $music.removeClass('paused');
      $music.html('pause music');
      this.song.play().loop();
    } else {
      $music.addClass('paused');
      $music.html('play music');
      this.song.pause();
    }
  },

  about: function(){
    this.$el.find('.about').toggle();
  },

  closeAbout: function(){
    this.$el.find('.about').hide();
  },

  render: function() {
    this.$el.html( this.template() );

    $('body').prepend( this.$el );
    return this;
  }
})

// the player.
Game.Models.Jumper = Backbone.Model.extend({
  defaults: {
    width: 36,
    height: 68,
    speed: 50,
    delay: 0,
    poops: 0
  }
});

Game.Views.Jumper = Backbone.View.extend({
  className: "jumper",
  keys: {},

  initialize: function() {
    _.bindAll(this, 'poop');
    $(document).on('mousedown', this.poop);

    _.bindAll(this, "keyDownHandler");
    $(document).on('keydown', this.keyDownHandler);

    _.bindAll(this, "keyUpHandler");
    $(document).on('keyup', this.keyUpHandler);

    $(".game").append( this.$el );
    this.$el.delay(500).animate({ bottom: 40, left: 80 }, 1000);
  },

  keyDownHandler: function(e) {
    this.keys[e.keyCode] = true;

    if($(document).find($(this.el)).size() <= 0) {
      $(document).unbind('keydown', this.keyUpHandler);
    }
  },

  keyUpHandler: function(e){
    delete this.keys[e.keyCode];

    this.$el.removeClass('walk pooping');

    if($(document).find($(this.el)).size() <= 0) {
      $(document).unbind('keyup', this.keyUpHandler);
    }
  },

  animate: function(xdir, speed, jump, addclasses, removeclasses){
    var $el = this.$el;
    var dir;
    var xspeed = speed;

    if (xdir === 'left'){
      dir = '-=';
    } else if (xdir === 'right'){
      dir = '+=';
    } else {
      dir = '';
      xspeed = null;
    }

    var jumpForce = 0;
    var animationSpeed = 30;

    if ( jump === true ) {
      jumpForce = speed * 4;
      animationSpeed = 80;

      if (xspeed !== null){
        xspeed = xspeed*4;
      }
    }

    $el
      .addClass(addclasses)
      .removeClass(removeclasses)
      .animate({
        left: dir + xspeed,
        bottom: '+=' + jumpForce
      }, animationSpeed, 'swing')
      .animate({
        left: dir + xspeed,
        bottom: '-=' + jumpForce
      }, animationSpeed, 'swing', function(){
        if ($(this).hasClass('jump')){
          $(this).removeClass('jump');
        }
        $el.clearQueue();
        $el.stop();
      });
  },

  poop: function(){
    var $el = this.$el;
    $el.addClass('pooping');

    var self = this;
    $(document).mousemove(function(e){
      self.mouseX = e.pageX;
      self.mouseY = e.pageY;
    });

    if (this.mouseX > parseInt($el.css("left"))){
      $el.addClass('left').removeClass('right');
    } else {
      $el.addClass('right').removeClass('left');
    }

    var buttLocation;
    if ( $(".jumper").hasClass("left") ){
      buttLocation = 20
    } else {
      buttLocation = 10
    }

    var poop = new Game.Models.Poop({
      pooper: this,
      x: parseInt( $el.css("left") ) + buttLocation,
      y: parseInt( $el.css("bottom") ) + 20
    });

    var poopView = new Game.Views.Poop({ model: poop });

    poopView.render(this.mouseX, this.mouseY);
  },

  render: function(){
    var $el = this.$el;
    var jumper = this.model.attributes;

    // jumper x position
    jumper.x = parseInt( $el.css("left") );

    // left window bounds
    if ( jumper.x <= 0 ){
      $el.css({ left: 0 });
    }

    // right window bounds
    if ( jumper.x >= $(window).width() - jumper.width ){
      $el.css({ left: $(window).width() - jumper.width });
    }

    for (var direction in this.keys) {
      if (!this.keys.hasOwnProperty(direction)){
        continue;
      }

      // controls with wasd or arrow keys
      // jump left
      if (38 in this.keys && 37 in this.keys || 87 in this.keys && 65 in this.keys) {
        this.animate('left', jumper.speed, true, 'jump left', '');
      }

      // jump right
      if (38 in this.keys && 39 in this.keys || 87 in this.keys && 68 in this.keys) {
        this.animate('right', jumper.speed, true, 'jump', 'left');
      }

      // jump straight up
      if (38 in this.keys || 87 in this.keys) {
        this.animate('none', jumper.speed, true, 'jump', '');
      }

      // walk left
      if (37 in this.keys || 65 in this.keys) {
        this.animate('left', jumper.speed, false, 'walk left', '');
      }

      // walk right
      if (39 in this.keys || 68 in this.keys) {
        this.animate('right', jumper.speed, false, 'walk', 'left');
      }

      // maybe eventually pushing down will do something
      if (40 in this.keys || 83 in this.keys) {}

      // poop, bud.
      if (80 in this.keys) {
        this.poop();
      }
    }
    return this;
  }

});

// npc base objects.
Game.Models.NPC = Backbone.Model.extend();

Game.Views.NPC = Backbone.View.extend({
  className: 'npc',

  events: {
    'click': 'npcClick'
  },

  npcClick: function(){
    this.$el.addClass("clicked");

    var self = this;
    setTimeout(function() {
      self.$el.removeClass("clicked");
    }, 800);
  },

  randomMovement: function(){
    var $el = this.$el;
    $el
      .delay( getRandom(0, 1000) )
      .animate({ bottom: getRandom(40, 80), left: getRandom(300, 400) }, 900)
      .animate({bottom: 40}, 700, 'swing', function(){});
  },

  render: function(){
    $(".game").append( this.$el );
    this.$el.delay(4000).animate({ bottom: 40, left: 400 }, 2000);
    return this;
  }
})

// the primary npc, the slime.
Game.Models.Slime = Game.Models.NPC.extend();

Game.Views.Slime = Game.Views.NPC.extend();

// the poop that the player shoots.
Game.Models.Poop = Backbone.Model.extend({
  defaults: {
    pooper: null,
    x: 0,
    y: 0
  }
});

Game.Views.Poop = Backbone.View.extend({
  className: 'poop',

  render: function(mouseX, mouseY){
    var poop = this.model.attributes;
    $(".game").append(this.$el);
    this.$el.css({
      left: poop.x,
      bottom: poop.y
    });

    /*
    var poopDirection;
    if ( $(".jumper").hasClass("left") ){
      poopDirection = '+=15px';
    } else {
      poopDirection = '-=15px';
    }
    */

    this.$el.animate({
      left: mouseX,
      bottom: $(window).height() - mouseY
    }, 400, 'swing')
    .animate({
      bottom: '40px'
    });
  }
});

// the main game router
Game.Routers.Main = Backbone.Router.extend({

  start: function(){
    this.gameView = new Game.Views.UI;
    this.gameView.render();

    this.jumper = new Game.Models.Jumper({ speed: 20 });
    this.jumperView = new Game.Views.Jumper({ model: this.jumper });
    this.jumperView.render();

    this.slime = new Game.Models.Slime;
    this.slimeView = new Game.Views.Slime;
    this.slimeView.render();
  },

  draw: function(){
    this.slimeView.randomMovement();
    this.jumperView.render()
  }
});

// game initialization.
var game = new Game.Routers.Main;
game.start();

// game tick.
var fps = 60;
var lastRun = new Date().getTime();

function tick(){
  var now = new Date().getTime();
  if ( (now - lastRun) > (1000 / fps) ){

    game.draw();

    lastRun = new Date().getTime();
  }

  requestAnimationFrame( tick );
}

tick();


text:
/****************************************************************************************/
/*                                                                                */
/*                                       Pegasus                                        */
/*                                                                                */
/****************************************************************************************/

//! \file   IPropertyEnumTypeInfo.h
//! \author Kleber Garcia
//! \date   October 17, 2015
//! \brief  Proxy interface for enumeration type information

#ifndef PEGASUS_PROPERTYGRID_IENUMTYPEPROXY
#define PEGASUS_PROPERTYGRID_IENUMTYPEPROXY

namespace Pegasus
{
    namespace PropertyGrid {

        class BaseEnumType;

        //! Type information of this enumeration
        class IEnumTypeInfoProxy {
        public:
            //! Constructor / Destructor
            IEnumTypeInfoProxy()  {}
            virtual ~IEnumTypeInfoProxy()  {}

            //! Returns the name of this enumeration type.
            virtual const char* GetName() const = 0;

            //! Gets a list of all the enumerations values of this enumeration.
            virtual const BaseEnumType** GetEnumerations(unsigned int & outSize) const = 0;
        };
    }
}

#endif


text:
package org.omg.CORBA;

//
// IDL:omg.org/CORBA/CharSeq:1.0
//
public abstract class CharSeqHelper
{
    public static void
    insert(org.omg.CORBA.Any any, char[] val)
    {
        org.omg.CORBA.portable.OutputStream out = any.create_output_stream();
        write(out, val);
        any.read_value(out.create_input_stream(), type());
    }

    public static char[]
    extract(org.omg.CORBA.Any any)
    {
        if(any.type().equivalent(type()))
            return read(any.create_input_stream());
        else
            throw new org.omg.CORBA.BAD_OPERATION();
    }

    private static org.omg.CORBA.TypeCode typeCode_;

    public static org.omg.CORBA.TypeCode
    type()
    {
        if(typeCode_ == null)
        {
            org.omg.CORBA.ORB orb = org.omg.CORBA.ORB.init();
            typeCode_ = orb.create_alias_tc(id(), "CharSeq", orb.create_sequence_tc(0, orb.get_primitive_tc(org.omg.CORBA.TCKind.tk_char)));
        }

        return typeCode_;
    }

    public static String
    id()
    {
        return "IDL:omg.org/CORBA/CharSeq:1.0";
    }

    public static char[]
    read(org.omg.CORBA.portable.InputStream in)
    {
        char[] _ob_v;
        int len0 = in.read_ulong();
        _ob_v = new char[len0];
        in.read_char_array(_ob_v, 0, len0);
        return _ob_v;
    }

    public static void
    write(org.omg.CORBA.portable.OutputStream out, char[] val)
    {
        int len0 = val.length;
        out.write_ulong(len0);
        out.write_char_array(val, 0, len0);
    }
}


text:
using System;
using System.Threading;
using System.Threading.Tasks;

namespace RedDog.Engine.Sample
{
    public class LongRunningJob : Job
    {
        public override TimeSpan Interval
        {
            get { return TimeSpan.FromSeconds(7); }
        }

        /// <summary>
        /// Run the job.
        /// </summary>
        public override void Run()
        {
            Execute(new LongRunningTask());
        }
    }

    public class LongRunningTask : JobTask
    {
        public override void Execute()
        {
            var wait = new Random().Next(1, 30);

            Console.WriteLine("Running LongRunningTask on thread {0} and task {1}. Waiting for: {2} sec.", Thread.CurrentThread.ManagedThreadId,
                Task.CurrentId, wait);

            if (wait % 2 == 0)
            {
                throw new InvalidOperationException("Some random exception.");
            }

            Thread.Sleep(TimeSpan.FromSeconds(wait));
        }
    }
}


text:
using System.Collections.Generic;
using Sitecore.Octopus.Business.Domain;

namespace Sitecore.Octopus.Business.Contracts
{
    public interface ISourceControlService
    {
        List<Commit> GetCommitsBetweenTag_AndCommit(string tagName, string commitId);
        string DownloadSerilizationAsset(string tagName);
        void CreateSerilizationAsset(string tagName, string folderPath);
    }
}


text:
using ApacheOrcDotNet.Compression;
using ApacheOrcDotNet.Infrastructure;
using ProtoBuf;
using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Threading.Tasks;

namespace ApacheOrcDotNet.Stripes
{
    public class StripeReader
    {
		readonly Stream _inputStream;
		readonly ulong _indexOffset;
		readonly ulong _indexLength;
		readonly ulong _dataOffset;
		readonly ulong _dataLength;
		readonly ulong _footerOffset;
		readonly ulong _footerLength;
		readonly Protocol.CompressionKind _compressionKind;

		internal StripeReader(Stream inputStream, ulong indexOffset, ulong indexLength, ulong dataOffset, ulong dataLength, ulong footerOffset, ulong footerLength, ulong numRows, Protocol.CompressionKind compressionKind)
		{
			_inputStream = inputStream;
			_indexOffset = indexOffset;
			_indexLength = indexLength;
			_dataOffset = dataOffset;
			_dataLength = dataLength;
			_footerOffset = footerOffset;
			_footerLength = footerLength;
			NumRows = numRows;
			_compressionKind = compressionKind;
		}

		public ulong NumRows { get; }

		Stream GetStream(ulong offset, ulong length)
		{
			//TODO move from using Streams to using MemoryMapped files or another data type that decouples the Stream Position from the Read call, allowing re-entrancy
			_inputStream.Seek((long)offset, SeekOrigin.Begin);
			var segment = new StreamSegment(_inputStream, (long)length, true);
			return OrcCompressedStream.GetDecompressingStream(segment, _compressionKind);
		}

		Protocol.StripeFooter GetStripeFooter()
		{
			var stream = GetStream(_footerOffset, _footerLength);
			return Serializer.Deserialize<Protocol.StripeFooter>(stream);
		}

		public Stream GetIndexStream()
		{
			return GetStream(_indexOffset, _indexLength);
		}

		public StripeStreamReaderCollection GetStripeStreamCollection()
		{
			var footer = GetStripeFooter();
			return new StripeStreamReaderCollection(_inputStream, footer, (long)_indexOffset, _compressionKind);
		}
	}
}