text:
% Frame number: 17
holdsAt( appearance( id0 )=appear,  680 ).

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

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

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

% Frame number: 21
holdsAt( appearance( id0 )=visible,  840 ).

% Frame number: 22
holdsAt( appearance( id0 )=visible,  880 ).

% Frame number: 23
holdsAt( appearance( id0 )=visible,  920 ).

% Frame number: 24
holdsAt( appearance( id0 )=visible,  960 ).

% Frame number: 25
holdsAt( appearance( id0 )=visible,  1000 ).

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

% Frame number: 27
holdsAt( appearance( id0 )=visible,  1080 ).

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

% Frame number: 29
holdsAt( appearance( id0 )=visible,  1160 ).

% Frame number: 30
holdsAt( appearance( id0 )=visible,  1200 ).

% Frame number: 31
holdsAt( appearance( id0 )=visible,  1240 ).

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

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

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

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

% Frame number: 36
holdsAt( appearance( id0 )=visible,  1440 ).

% Frame number: 37
holdsAt( orientation( id0 )=21, 1480  ). holdsAt( appearance( id0 )=visible,  1480 ).

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

% Frame number: 39
holdsAt( appearance( id0 )=visible,  1560 ).
holdsAt( appearance( id4 )=appear,  1560 ).

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

% Frame number: 41
holdsAt( appearance( id0 )=visible,  1640 ).
holdsAt( appearance( id4 )=visible,  1640 ).

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

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

% Frame number: 44
holdsAt( appearance( id0 )=visible,  1760 ).
holdsAt( appearance( id4 )=visible,  1760 ).

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

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

% Frame number: 47
holdsAt( orientation( id0 )=19, 1880  ). holdsAt( appearance( id0 )=visible,  1880 ).
holdsAt( appearance( id4 )=visible,  1880 ).

% Frame number: 48
holdsAt( orientation( id0 )=19, 1920  ). holdsAt( appearance( id0 )=visible,  1920 ).
holdsAt( appearance( id4 )=visible,  1920 ).

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

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

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

% Frame number: 52
holdsAt( orientation( id0 )=5, 2080  ). holdsAt( appearance( id0 )=visible,  2080 ).
holdsAt( appearance( id4 )=visible,  2080 ).

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

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

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

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

% Frame number: 57
holdsAt( appearance( id0 )=visible,  2280 ).
holdsAt( appearance( id4 )=visible,  2280 ).

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

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

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

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

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

% Frame number: 63
holdsAt( appearance( id0 )=visible,  2520 ).
holdsAt( appearance( id4 )=visible,  2520 ).
holdsAt( appearance( id5 )=appear,  2520 ).

% Frame number: 64
holdsAt( appearance( id0 )=visible,  2560 ).
holdsAt( appearance( id4 )=visible,  2560 ).
holdsAt( appearance( id5 )=visible,  2560 ).

% Frame number: 65
holdsAt( orientation( id0 )=143, 2600  ). holdsAt( appearance( id0 )=visible,  2600 ).
holdsAt( orientation( id4 )=0, 2600  ). holdsAt( appearance( id4 )=visible,  2600 ).
holdsAt( appearance( id5 )=visible,  2600 ).

% Frame number: 66
holdsAt( appearance( id0 )=visible,  2640 ).
holdsAt( appearance( id4 )=visible,  2640 ).
holdsAt( appearance( id5 )=visible,  2640 ).

% Frame number: 67
holdsAt( appearance( id0 )=visible,  2680 ).
holdsAt( appearance( id4 )=visible,  2680 ).
holdsAt( appearance( id5 )=visible,  2680 ).

% Frame number: 68
holdsAt( appearance( id0 )=visible,  2720 ).
holdsAt( appearance( id4 )=visible,  2720 ).
holdsAt( appearance( id5 )=visible,  2720 ).

% Frame number: 69
holdsAt( appearance( id0 )=visible,  2760 ).
holdsAt( appearance( id4 )=visible,  2760 ).
holdsAt( appearance( id5 )=visible,  2760 ).

% Frame number: 70
holdsAt( appearance( id0 )=visible,  2800 ).
holdsAt( appearance( id4 )=visible,  2800 ).
holdsAt( appearance( id5 )=visible,  2800 ).

% Frame number: 71
holdsAt( appearance( id0 )=visible,  2840 ).
holdsAt( appearance( id4 )=visible,  2840 ).
holdsAt( orientation( id5 )=0, 2840  ). holdsAt( appearance( id5 )=visible,  2840 ).

% Frame number: 72
holdsAt( appearance( id0 )=visible,  2880 ).
holdsAt( appearance( id4 )=visible,  2880 ).
holdsAt( appearance( id5 )=visible,  2880 ).

% Frame number: 73
holdsAt( appearance( id0 )=visible,  2920 ).
holdsAt( appearance( id4 )=visible,  2920 ).
holdsAt( appearance( id5 )=visible,  2920 ).

% Frame number: 74
holdsAt( appearance( id0 )=visible,  2960 ).
holdsAt( appearance( id4 )=visible,  2960 ).
holdsAt( appearance( id5 )=visible,  2960 ).

% Frame number: 75
holdsAt( appearance( id0 )=visible,  3000 ).
holdsAt( appearance( id4 )=visible,  3000 ).
holdsAt( appearance( id5 )=visible,  3000 ).

% Frame number: 76
holdsAt( appearance( id0 )=visible,  3040 ).
holdsAt( orientation( id4 )=0, 3040  ). holdsAt( appearance( id4 )=visible,  3040 ).
holdsAt( appearance( id5 )=visible,  3040 ).

% Frame number: 77
holdsAt( appearance( id0 )=visible,  3080 ).
holdsAt( appearance( id4 )=visible,  3080 ).
holdsAt( orientation( id5 )=0, 3080  ). holdsAt( appearance( id5 )=visible,  3080 ).

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

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

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

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

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

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

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

% Frame number: 85
holdsAt( appearance( id0 )=visible,  3400 ).
holdsAt( appearance( id4 )=visible,  3400 ).
holdsAt( appearance( id5 )=visible,  3400 ).

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

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

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

% Frame number: 89
holdsAt( appearance( id0 )=visible,  3560 ).
holdsAt( appearance( id4 )=visible,  3560 ).
holdsAt( orientation( id5 )=0, 3560  ). holdsAt( appearance( id5 )=visible,  3560 ).

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

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

% Frame number: 92
holdsAt( orientation( id0 )=131, 3680  ). holdsAt( appearance( id0 )=visible,  3680 ).
holdsAt( appearance( id4 )=visible,  3680 ).
holdsAt( appearance( id5 )=visible,  3680 ).

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

% Frame number: 94
holdsAt( appearance( id0 )=visible,  3760 ).
holdsAt( appearance( id4 )=visible,  3760 ).
holdsAt( orientation( id5 )=0, 3760  ). holdsAt( appearance( id5 )=visible,  3760 ).

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

% Frame number: 96
holdsAt( appearance( id0 )=visible,  3840 ).
holdsAt( orientation( id4 )=0, 3840  ). holdsAt( appearance( id4 )=visible,  3840 ).
holdsAt( appearance( id5 )=visible,  3840 ).

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

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

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

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

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

% Frame number: 102
holdsAt( orientation( id0 )=131, 4080  ). holdsAt( appearance( id0 )=visible,  4080 ).
holdsAt( appearance( id4 )=visible,  4080 ).
holdsAt( appearance( id5 )=visible,  4080 ).

% Frame number: 103
holdsAt( appearance( id0 )=visible,  4120 ).
holdsAt( appearance( id4 )=visible,  4120 ).
holdsAt( appearance( id5 )=visible,  4120 ).

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

% Frame number: 105
holdsAt( appearance( id0 )=visible,  4200 ).
holdsAt( appearance( id4 )=visible,  4200 ).
holdsAt( appearance( id5 )=visible,  4200 ).

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

% Frame number: 107
holdsAt( orientation( id0 )=131, 4280  ). holdsAt( appearance( id0 )=visible,  4280 ).
holdsAt( appearance( id4 )=visible,  4280 ).
holdsAt( appearance( id5 )=visible,  4280 ).

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

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

% Frame number: 110
holdsAt( appearance( id0 )=visible,  4400 ).
holdsAt( appearance( id4 )=visible,  4400 ).
holdsAt( orientation( id5 )=0, 4400  ). holdsAt( appearance( id5 )=visible,  4400 ).

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

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

% Frame number: 113
holdsAt( appearance( id0 )=visible,  4520 ).
holdsAt( appearance( id4 )=visible,  4520 ).
holdsAt( appearance( id5 )=visible,  4520 ).

% Frame number: 114
holdsAt( appearance( id0 )=visible,  4560 ).
holdsAt( appearance( id4 )=visible,  4560 ).
holdsAt( appearance( id5 )=visible,  4560 ).

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

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

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

% Frame number: 118
holdsAt( orientation( id0 )=131, 4720  ). holdsAt( appearance( id0 )=visible,  4720 ).
holdsAt( orientation( id4 )=0, 4720  ). holdsAt( appearance( id4 )=visible,  4720 ).
holdsAt( appearance( id5 )=visible,  4720 ).

% Frame number: 119
holdsAt( appearance( id0 )=visible,  4760 ).
holdsAt( appearance( id4 )=visible,  4760 ).
holdsAt( orientation( id5 )=169, 4760  ). holdsAt( appearance( id5 )=visible,  4760 ).

% Frame number: 120
holdsAt( appearance( id0 )=visible,  4800 ).
holdsAt( orientation( id4 )=0, 4800  ). holdsAt( appearance( id4 )=visible,  4800 ).
holdsAt( appearance( id5 )=visible,  4800 ).

% Frame number: 121
holdsAt( orientation( id0 )=131, 4840  ). holdsAt( appearance( id0 )=visible,  4840 ).
holdsAt( appearance( id4 )=visible,  4840 ).
holdsAt( appearance( id5 )=visible,  4840 ).

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

% Frame number: 123
holdsAt( appearance( id0 )=visible,  4920 ).
holdsAt( orientation( id4 )=0, 4920  ). holdsAt( appearance( id4 )=visible,  4920 ).
holdsAt( appearance( id5 )=visible,  4920 ).

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

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

% Frame number: 126
holdsAt( appearance( id0 )=visible,  5040 ).
holdsAt( appearance( id4 )=visible,  5040 ).
holdsAt( appearance( id5 )=visible,  5040 ).

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

% Frame number: 128
holdsAt( appearance( id0 )=visible,  5120 ).
holdsAt( appearance( id4 )=visible,  5120 ).
holdsAt( appearance( id5 )=visible,  5120 ).

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

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

% Frame number: 131
holdsAt( orientation( id0 )=135, 5240  ). holdsAt( appearance( id0 )=visible,  5240 ).
holdsAt( orientation( id4 )=0, 5240  ). holdsAt( appearance( id4 )=visible,  5240 ).
holdsAt( orientation( id5 )=169, 5240  ). holdsAt( appearance( id5 )=visible,  5240 ).

% Frame number: 132
holdsAt( appearance( id0 )=visible,  5280 ).
holdsAt( appearance( id4 )=visible,  5280 ).
holdsAt( orientation( id5 )=169, 5280  ). holdsAt( appearance( id5 )=visible,  5280 ).

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

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

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

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

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

% Frame number: 138
holdsAt( orientation( id0 )=178, 5520  ). holdsAt( appearance( id0 )=visible,  5520 ).
holdsAt( appearance( id4 )=visible,  5520 ).
holdsAt( appearance( id5 )=visible,  5520 ).

% Frame number: 139
holdsAt( appearance( id0 )=visible,  5560 ).
holdsAt( appearance( id4 )=visible,  5560 ).
holdsAt( orientation( id5 )=169, 5560  ). holdsAt( appearance( id5 )=visible,  5560 ).

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

% Frame number: 141
holdsAt( appearance( id0 )=visible,  5640 ).
holdsAt( orientation( id4 )=0, 5640  ). holdsAt( appearance( id4 )=visible,  5640 ).
holdsAt( appearance( id5 )=visible,  5640 ).

% Frame number: 142
holdsAt( appearance( id0 )=visible,  5680 ).
holdsAt( appearance( id4 )=visible,  5680 ).
holdsAt( orientation( id5 )=169, 5680  ). holdsAt( appearance( id5 )=visible,  5680 ).

% Frame number: 143
holdsAt( orientation( id0 )=170, 5720  ). holdsAt( appearance( id0 )=visible,  5720 ).
holdsAt( appearance( id4 )=visible,  5720 ).
holdsAt( appearance( id5 )=visible,  5720 ).

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

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

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

% Frame number: 147
holdsAt( appearance( id0 )=visible,  5880 ).
holdsAt( appearance( id4 )=visible,  5880 ).
holdsAt( appearance( id5 )=visible,  5880 ).

% Frame number: 148
holdsAt( appearance( id0 )=visible,  5920 ).
holdsAt( appearance( id4 )=visible,  5920 ).
holdsAt( appearance( id5 )=visible,  5920 ).

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

% Frame number: 150
holdsAt( orientation( id0 )=0, 6000  ). holdsAt( appearance( id0 )=visible,  6000 ).
holdsAt( appearance( id4 )=visible,  6000 ).
holdsAt( appearance( id5 )=visible,  6000 ).

% Frame number: 151
holdsAt( appearance( id0 )=visible,  6040 ).
holdsAt( appearance( id4 )=visible,  6040 ).
holdsAt( orientation( id5 )=162, 6040  ). holdsAt( appearance( id5 )=visible,  6040 ).

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

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

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

% Frame number: 155
holdsAt( appearance( id0 )=visible,  6200 ).
holdsAt( appearance( id4 )=visible,  6200 ).
holdsAt( appearance( id5 )=visible,  6200 ).

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

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

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

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

% Frame number: 160
holdsAt( appearance( id0 )=visible,  6400 ).
holdsAt( orientation( id4 )=163, 6400  ). holdsAt( appearance( id4 )=visible,  6400 ).
holdsAt( appearance( id5 )=visible,  6400 ).

% Frame number: 161
holdsAt( appearance( id0 )=visible,  6440 ).
holdsAt( appearance( id4 )=visible,  6440 ).
holdsAt( orientation( id5 )=162, 6440  ). holdsAt( appearance( id5 )=visible,  6440 ).

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

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

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

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

% Frame number: 166
holdsAt( orientation( id0 )=52, 6640  ). holdsAt( appearance( id0 )=visible,  6640 ).
holdsAt( appearance( id4 )=visible,  6640 ).
holdsAt( orientation( id5 )=162, 6640  ). holdsAt( appearance( id5 )=visible,  6640 ).

% Frame number: 167
holdsAt( appearance( id0 )=visible,  6680 ).
holdsAt( appearance( id4 )=visible,  6680 ).
holdsAt( appearance( id5 )=visible,  6680 ).

% Frame number: 168
holdsAt( appearance( id0 )=visible,  6720 ).
holdsAt( appearance( id4 )=visible,  6720 ).
holdsAt( appearance( id5 )=visible,  6720 ).

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

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

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

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

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

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

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

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

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

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

% Frame number: 179
holdsAt( appearance( id0 )=disappear,  7160 ).
holdsAt( appearance( id4 )=visible,  7160 ).
holdsAt( appearance( id5 )=visible,  7160 ).

% Frame number: 180
holdsAt( appearance( id4 )=visible,  7200 ).
holdsAt( appearance( id5 )=visible,  7200 ).

% Frame number: 181
holdsAt( appearance( id4 )=visible,  7240 ).
holdsAt( appearance( id5 )=visible,  7240 ).

% Frame number: 182
holdsAt( appearance( id4 )=visible,  7280 ).
holdsAt( appearance( id5 )=visible,  7280 ).

% Frame number: 183
holdsAt( appearance( id4 )=visible,  7320 ).
holdsAt( appearance( id5 )=visible,  7320 ).

% Frame number: 184
holdsAt( appearance( id4 )=visible,  7360 ).
holdsAt( appearance( id5 )=visible,  7360 ).

% Frame number: 185
holdsAt( appearance( id4 )=visible,  7400 ).
holdsAt( appearance( id5 )=visible,  7400 ).

% Frame number: 186
holdsAt( appearance( id4 )=visible,  7440 ).
holdsAt( appearance( id5 )=visible,  7440 ).

% Frame number: 187
holdsAt( appearance( id4 )=visible,  7480 ).
holdsAt( appearance( id5 )=visible,  7480 ).

% Frame number: 188
holdsAt( appearance( id4 )=visible,  7520 ).
holdsAt( appearance( id5 )=visible,  7520 ).

% Frame number: 189
holdsAt( orientation( id4 )=164, 7560  ). holdsAt( appearance( id4 )=visible,  7560 ).
holdsAt( appearance( id5 )=visible,  7560 ).

% Frame number: 190
holdsAt( appearance( id4 )=visible,  7600 ).
holdsAt( appearance( id5 )=visible,  7600 ).

% Frame number: 191
holdsAt( appearance( id4 )=visible,  7640 ).
holdsAt( appearance( id5 )=visible,  7640 ).

% Frame number: 192
holdsAt( appearance( id4 )=visible,  7680 ).
holdsAt( appearance( id5 )=visible,  7680 ).

% Frame number: 193
holdsAt( appearance( id4 )=visible,  7720 ).
holdsAt( orientation( id5 )=162, 7720  ). holdsAt( appearance( id5 )=visible,  7720 ).

% Frame number: 194
holdsAt( appearance( id4 )=visible,  7760 ).
holdsAt( appearance( id5 )=visible,  7760 ).

% Frame number: 195
holdsAt( appearance( id4 )=visible,  7800 ).
holdsAt( appearance( id5 )=visible,  7800 ).

% Frame number: 196
holdsAt( appearance( id4 )=visible,  7840 ).
holdsAt( appearance( id5 )=visible,  7840 ).

% Frame number: 197
holdsAt( orientation( id4 )=169, 7880  ). holdsAt( appearance( id4 )=visible,  7880 ).
holdsAt( appearance( id5 )=visible,  7880 ).

% Frame number: 198
holdsAt( appearance( id4 )=visible,  7920 ).
holdsAt( appearance( id5 )=visible,  7920 ).

% Frame number: 199
holdsAt( appearance( id4 )=visible,  7960 ).
holdsAt( appearance( id5 )=visible,  7960 ).

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

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

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

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

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

% Frame number: 205
holdsAt( appearance( id4 )=visible,  8200 ).
holdsAt( appearance( id5 )=visible,  8200 ).

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

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

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

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

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

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

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

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

% Frame number: 214
holdsAt( appearance( id4 )=visible,  8560 ).
holdsAt( appearance( id5 )=visible,  8560 ).

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

% Frame number: 216
holdsAt( appearance( id4 )=visible,  8640 ).
holdsAt( orientation( id5 )=162, 8640  ). holdsAt( appearance( id5 )=visible,  8640 ).

% Frame number: 217
holdsAt( appearance( id4 )=visible,  8680 ).
holdsAt( appearance( id5 )=visible,  8680 ).

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

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

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

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

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

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

% Frame number: 224
holdsAt( appearance( id4 )=visible,  8960 ).
holdsAt( appearance( id5 )=visible,  8960 ).

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

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

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

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

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

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

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

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

% Frame number: 233
holdsAt( appearance( id4 )=visible,  9320 ).
holdsAt( appearance( id5 )=visible,  9320 ).

% Frame number: 234
holdsAt( orientation( id4 )=163, 9360  ). holdsAt( appearance( id4 )=visible,  9360 ).
holdsAt( appearance( id5 )=visible,  9360 ).

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

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

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

% Frame number: 238
holdsAt( orientation( id1 )=90, 9520  ). holdsAt( appearance( id1 )=visible,  9520 ).
holdsAt( appearance( id4 )=visible,  9520 ).
holdsAt( appearance( id5 )=visible,  9520 ).

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

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

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

% Frame number: 242
holdsAt( appearance( id1 )=visible,  9680 ).
holdsAt( appearance( id4 )=visible,  9680 ).
holdsAt( appearance( id5 )=visible,  9680 ).

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

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

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

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

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

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

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

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

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

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

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

% Frame number: 254
holdsAt( appearance( id1 )=visible,  10160 ).
holdsAt( appearance( id4 )=visible,  10160 ).
holdsAt( orientation( id5 )=162, 10160  ). holdsAt( appearance( id5 )=visible,  10160 ).

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

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

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

% Frame number: 258
holdsAt( appearance( id1 )=visible,  10320 ).
holdsAt( appearance( id4 )=visible,  10320 ).
holdsAt( orientation( id5 )=162, 10320  ). holdsAt( appearance( id5 )=visible,  10320 ).

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

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

% Frame number: 261
holdsAt( orientation( id1 )=17, 10440  ). holdsAt( appearance( id1 )=visible,  10440 ).
holdsAt( appearance( id4 )=visible,  10440 ).
holdsAt( appearance( id5 )=visible,  10440 ).

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

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

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

% Frame number: 265
holdsAt( appearance( id1 )=visible,  10600 ).
holdsAt( appearance( id4 )=visible,  10600 ).
holdsAt( orientation( id5 )=162, 10600  ). holdsAt( appearance( id5 )=visible,  10600 ).

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

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

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

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

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

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

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

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

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

% Frame number: 275
holdsAt( orientation( id1 )=3, 11000  ). holdsAt( appearance( id1 )=visible,  11000 ).
holdsAt( appearance( id4 )=visible,  11000 ).
holdsAt( appearance( id5 )=visible,  11000 ).

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

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

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

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

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

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

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

% Frame number: 283
holdsAt( appearance( id1 )=visible,  11320 ).
holdsAt( orientation( id4 )=162, 11320  ). holdsAt( appearance( id4 )=visible,  11320 ).
holdsAt( appearance( id5 )=visible,  11320 ).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

% Frame number: 301
holdsAt( appearance( id1 )=visible,  12040 ).
holdsAt( orientation( id4 )=173, 12040  ). holdsAt( appearance( id4 )=visible,  12040 ).
holdsAt( orientation( id5 )=162, 12040  ). holdsAt( appearance( id5 )=visible,  12040 ).

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

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

% Frame number: 304
holdsAt( appearance( id1 )=visible,  12160 ).
holdsAt( orientation( id4 )=170, 12160  ). holdsAt( appearance( id4 )=visible,  12160 ).
holdsAt( appearance( id5 )=visible,  12160 ).

% Frame number: 305
holdsAt( appearance( id1 )=visible,  12200 ).
holdsAt( appearance( id4 )=visible,  12200 ).
holdsAt( appearance( id5 )=visible,  12200 ).

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

% Frame number: 307
holdsAt( appearance( id1 )=visible,  12280 ).
holdsAt( appearance( id4 )=visible,  12280 ).
holdsAt( orientation( id5 )=162, 12280  ). holdsAt( appearance( id5 )=visible,  12280 ).

% Frame number: 308
holdsAt( orientation( id1 )=142, 12320  ). holdsAt( appearance( id1 )=visible,  12320 ).
holdsAt( appearance( id4 )=visible,  12320 ).
holdsAt( appearance( id5 )=visible,  12320 ).

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

% Frame number: 310
holdsAt( appearance( id1 )=visible,  12400 ).
holdsAt( appearance( id4 )=visible,  12400 ).
holdsAt( appearance( id5 )=visible,  12400 ).

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

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

% Frame number: 313
holdsAt( appearance( id1 )=visible,  12520 ).
holdsAt( appearance( id4 )=visible,  12520 ).
holdsAt( appearance( id5 )=visible,  12520 ).

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

% Frame number: 315
holdsAt( appearance( id1 )=visible,  12600 ).
holdsAt( appearance( id4 )=visible,  12600 ).
holdsAt( orientation( id5 )=162, 12600  ). holdsAt( appearance( id5 )=visible,  12600 ).

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

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

% Frame number: 318
holdsAt( appearance( id1 )=visible,  12720 ).
holdsAt( orientation( id4 )=160, 12720  ). holdsAt( appearance( id4 )=visible,  12720 ).
holdsAt( appearance( id5 )=visible,  12720 ).

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

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

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

% Frame number: 322
holdsAt( appearance( id1 )=visible,  12880 ).
holdsAt( appearance( id4 )=visible,  12880 ).
holdsAt( orientation( id5 )=162, 12880  ). holdsAt( appearance( id5 )=visible,  12880 ).

% Frame number: 323
holdsAt( appearance( id1 )=visible,  12920 ).
holdsAt( orientation( id4 )=161, 12920  ). holdsAt( appearance( id4 )=visible,  12920 ).
holdsAt( appearance( id5 )=visible,  12920 ).

% Frame number: 324
holdsAt( appearance( id1 )=visible,  12960 ).
holdsAt( orientation( id4 )=161, 12960  ). holdsAt( appearance( id4 )=visible,  12960 ).
holdsAt( appearance( id5 )=visible,  12960 ).

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

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

% Frame number: 327
holdsAt( appearance( id1 )=visible,  13080 ).
holdsAt( orientation( id4 )=162, 13080  ). holdsAt( appearance( id4 )=visible,  13080 ).
holdsAt( appearance( id5 )=visible,  13080 ).

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

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

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

% Frame number: 331
holdsAt( appearance( id1 )=visible,  13240 ).
holdsAt( orientation( id4 )=157, 13240  ). holdsAt( appearance( id4 )=visible,  13240 ).
holdsAt( appearance( id5 )=visible,  13240 ).

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

% Frame number: 333
holdsAt( appearance( id1 )=visible,  13320 ).
holdsAt( orientation( id4 )=157, 13320  ). holdsAt( appearance( id4 )=visible,  13320 ).
holdsAt( appearance( id5 )=visible,  13320 ).

% Frame number: 334
holdsAt( appearance( id1 )=visible,  13360 ).
holdsAt( orientation( id4 )=161, 13360  ). holdsAt( appearance( id4 )=visible,  13360 ).
holdsAt( appearance( id5 )=visible,  13360 ).

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

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

% Frame number: 337
holdsAt( appearance( id1 )=visible,  13480 ).
holdsAt( appearance( id4 )=visible,  13480 ).
holdsAt( orientation( id5 )=162, 13480  ). holdsAt( appearance( id5 )=visible,  13480 ).

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

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

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

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

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

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

% Frame number: 344
holdsAt( appearance( id1 )=visible,  13760 ).
holdsAt( appearance( id4 )=visible,  13760 ).
holdsAt( orientation( id5 )=162, 13760  ). holdsAt( appearance( id5 )=visible,  13760 ).

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

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

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

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

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

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

% Frame number: 351
holdsAt( orientation( id1 )=149, 14040  ). holdsAt( appearance( id1 )=visible,  14040 ).
holdsAt( orientation( id4 )=167, 14040  ). holdsAt( appearance( id4 )=visible,  14040 ).
holdsAt( appearance( id5 )=visible,  14040 ).

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

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

% Frame number: 354
holdsAt( appearance( id1 )=visible,  14160 ).
holdsAt( appearance( id4 )=visible,  14160 ).
holdsAt( orientation( id5 )=162, 14160  ). holdsAt( appearance( id5 )=visible,  14160 ).

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

% Frame number: 356
holdsAt( appearance( id1 )=visible,  14240 ).
holdsAt( appearance( id4 )=visible,  14240 ).
holdsAt( appearance( id5 )=visible,  14240 ).

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

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

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

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

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

% Frame number: 362
holdsAt( orientation( id1 )=151, 14480  ). holdsAt( appearance( id1 )=visible,  14480 ).
holdsAt( appearance( id4 )=visible,  14480 ).
holdsAt( appearance( id5 )=visible,  14480 ).

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

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

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

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

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

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

% Frame number: 369
holdsAt( appearance( id1 )=visible,  14760 ).
holdsAt( appearance( id4 )=visible,  14760 ).
holdsAt( orientation( id5 )=162, 14760  ). holdsAt( appearance( id5 )=visible,  14760 ).

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

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

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

% Frame number: 373
holdsAt( appearance( id1 )=visible,  14920 ).
holdsAt( appearance( id4 )=visible,  14920 ).
holdsAt( appearance( id5 )=visible,  14920 ).

% Frame number: 374
holdsAt( appearance( id1 )=visible,  14960 ).
holdsAt( appearance( id4 )=visible,  14960 ).
holdsAt( appearance( id5 )=visible,  14960 ).

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

% Frame number: 376
holdsAt( appearance( id1 )=visible,  15040 ).
holdsAt( appearance( id4 )=visible,  15040 ).
holdsAt( appearance( id5 )=visible,  15040 ).

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

% Frame number: 378
holdsAt( appearance( id1 )=visible,  15120 ).
holdsAt( orientation( id4 )=161, 15120  ). holdsAt( appearance( id4 )=visible,  15120 ).
holdsAt( appearance( id5 )=visible,  15120 ).

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

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

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

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

% Frame number: 383
holdsAt( appearance( id1 )=visible,  15320 ).
holdsAt( appearance( id4 )=visible,  15320 ).
holdsAt( orientation( id5 )=162, 15320  ). holdsAt( appearance( id5 )=visible,  15320 ).

% Frame number: 384
holdsAt( appearance( id1 )=visible,  15360 ).
holdsAt( orientation( id4 )=152, 15360  ). holdsAt( appearance( id4 )=visible,  15360 ).
holdsAt( appearance( id5 )=visible,  15360 ).

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

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

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

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

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

% Frame number: 390
holdsAt( appearance( id1 )=visible,  15600 ).
holdsAt( appearance( id4 )=visible,  15600 ).
holdsAt( appearance( id5 )=visible,  15600 ).

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

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

% Frame number: 393
holdsAt( appearance( id1 )=visible,  15720 ).
holdsAt( appearance( id4 )=visible,  15720 ).
holdsAt( orientation( id5 )=162, 15720  ). holdsAt( appearance( id5 )=visible,  15720 ).

% Frame number: 394
holdsAt( appearance( id1 )=visible,  15760 ).
holdsAt( appearance( id4 )=visible,  15760 ).
holdsAt( appearance( id5 )=visible,  15760 ).

% Frame number: 395
holdsAt( orientation( id1 )=147, 15800  ). holdsAt( appearance( id1 )=visible,  15800 ).
holdsAt( appearance( id4 )=visible,  15800 ).
holdsAt( appearance( id5 )=visible,  15800 ).

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

% Frame number: 397
holdsAt( orientation( id1 )=154, 15880  ). holdsAt( appearance( id1 )=visible,  15880 ).
holdsAt( appearance( id4 )=visible,  15880 ).
holdsAt( appearance( id5 )=visible,  15880 ).

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

% Frame number: 399
holdsAt( orientation( id1 )=154, 15960  ). holdsAt( appearance( id1 )=visible,  15960 ).
holdsAt( appearance( id4 )=visible,  15960 ).
holdsAt( appearance( id5 )=visible,  15960 ).

% Frame number: 400
holdsAt( orientation( id1 )=154, 16000  ). holdsAt( appearance( id1 )=visible,  16000 ).
holdsAt( appearance( id4 )=visible,  16000 ).
holdsAt( appearance( id5 )=visible,  16000 ).

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

% Frame number: 402
holdsAt( appearance( id1 )=visible,  16080 ).
holdsAt( appearance( id4 )=visible,  16080 ).
holdsAt( appearance( id5 )=visible,  16080 ).

% Frame number: 403
holdsAt( appearance( id1 )=visible,  16120 ).
holdsAt( appearance( id4 )=visible,  16120 ).
holdsAt( orientation( id5 )=162, 16120  ). holdsAt( appearance( id5 )=visible,  16120 ).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

% Frame number: 418
holdsAt( orientation( id1 )=146, 16720  ). holdsAt( appearance( id1 )=visible,  16720 ).
holdsAt( appearance( id4 )=visible,  16720 ).
holdsAt( appearance( id5 )=visible,  16720 ).

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

% Frame number: 420
holdsAt( appearance( id1 )=visible,  16800 ).
holdsAt( appearance( id4 )=visible,  16800 ).
holdsAt( orientation( id5 )=162, 16800  ). holdsAt( appearance( id5 )=visible,  16800 ).

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

% Frame number: 422
holdsAt( appearance( id1 )=visible,  16880 ).
holdsAt( orientation( id4 )=157, 16880  ). holdsAt( appearance( id4 )=visible,  16880 ).
holdsAt( appearance( id5 )=visible,  16880 ).

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

% Frame number: 424
holdsAt( appearance( id1 )=visible,  16960 ).
holdsAt( orientation( id4 )=157, 16960  ). holdsAt( appearance( id4 )=visible,  16960 ).
holdsAt( orientation( id5 )=162, 16960  ). holdsAt( appearance( id5 )=visible,  16960 ).

% Frame number: 425
holdsAt( appearance( id1 )=visible,  17000 ).
holdsAt( appearance( id4 )=visible,  17000 ).
holdsAt( appearance( id5 )=visible,  17000 ).

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

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

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

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

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

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

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

% Frame number: 433
holdsAt( appearance( id1 )=visible,  17320 ).
holdsAt( appearance( id4 )=visible,  17320 ).
holdsAt( appearance( id5 )=visible,  17320 ).

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

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

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

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

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

% Frame number: 439
holdsAt( orientation( id1 )=148, 17560  ). holdsAt( appearance( id1 )=visible,  17560 ).
holdsAt( appearance( id4 )=visible,  17560 ).
holdsAt( appearance( id5 )=visible,  17560 ).

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

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

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

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

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

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

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

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

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

% Frame number: 449
holdsAt( appearance( id1 )=visible,  17960 ).
holdsAt( orientation( id4 )=147, 17960  ). holdsAt( appearance( id4 )=visible,  17960 ).
holdsAt( appearance( id5 )=visible,  17960 ).

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

% Frame number: 451
holdsAt( appearance( id1 )=visible,  18040 ).
holdsAt( orientation( id4 )=147, 18040  ). holdsAt( appearance( id4 )=visible,  18040 ).
holdsAt( orientation( id5 )=162, 18040  ). holdsAt( appearance( id5 )=visible,  18040 ).

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

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

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

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

% Frame number: 456
holdsAt( orientation( id1 )=148, 18240  ). holdsAt( appearance( id1 )=visible,  18240 ).
holdsAt( appearance( id4 )=visible,  18240 ).
holdsAt( appearance( id5 )=visible,  18240 ).

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

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

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

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

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

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

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

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

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

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

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

% Frame number: 468
holdsAt( appearance( id1 )=visible,  18720 ).
holdsAt( orientation( id4 )=147, 18720  ). holdsAt( appearance( id4 )=visible,  18720 ).
holdsAt( appearance( id5 )=visible,  18720 ).

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

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

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

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

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

% Frame number: 474
holdsAt( appearance( id1 )=visible,  18960 ).
holdsAt( orientation( id4 )=147, 18960  ). holdsAt( appearance( id4 )=visible,  18960 ).
holdsAt( appearance( id5 )=visible,  18960 ).

% Frame number: 475
holdsAt( orientation( id1 )=147, 19000  ). holdsAt( appearance( id1 )=visible,  19000 ).
holdsAt( appearance( id4 )=visible,  19000 ).
holdsAt( appearance( id5 )=visible,  19000 ).

% Frame number: 476
holdsAt( appearance( id1 )=visible,  19040 ).
holdsAt( appearance( id4 )=visible,  19040 ).
holdsAt( appearance( id5 )=visible,  19040 ).

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

% Frame number: 478
holdsAt( orientation( id1 )=147, 19120  ). holdsAt( appearance( id1 )=visible,  19120 ).
holdsAt( appearance( id4 )=visible,  19120 ).
holdsAt( appearance( id5 )=visible,  19120 ).

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

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

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

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

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

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

% Frame number: 485
holdsAt( appearance( id1 )=visible,  19400 ).
holdsAt( orientation( id4 )=147, 19400  ). holdsAt( appearance( id4 )=visible,  19400 ).
holdsAt( appearance( id5 )=visible,  19400 ).

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

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

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

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

% Frame number: 490
holdsAt( appearance( id1 )=visible,  19600 ).
holdsAt( orientation( id4 )=154, 19600  ). holdsAt( appearance( id4 )=visible,  19600 ).
holdsAt( appearance( id5 )=visible,  19600 ).

% Frame number: 491
holdsAt( orientation( id1 )=140, 19640  ). holdsAt( appearance( id1 )=visible,  19640 ).
holdsAt( orientation( id4 )=157, 19640  ). holdsAt( appearance( id4 )=visible,  19640 ).
holdsAt( appearance( id5 )=visible,  19640 ).

% Frame number: 492
holdsAt( orientation( id1 )=140, 19680  ). holdsAt( appearance( id1 )=visible,  19680 ).
holdsAt( appearance( id4 )=visible,  19680 ).
holdsAt( appearance( id5 )=visible,  19680 ).

% Frame number: 493
holdsAt( appearance( id1 )=visible,  19720 ).
holdsAt( appearance( id4 )=visible,  19720 ).
holdsAt( appearance( id5 )=visible,  19720 ).

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

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

% Frame number: 496
holdsAt( appearance( id1 )=visible,  19840 ).
holdsAt( orientation( id4 )=157, 19840  ). holdsAt( appearance( id4 )=visible,  19840 ).
holdsAt( orientation( id5 )=162, 19840  ). holdsAt( appearance( id5 )=visible,  19840 ).

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

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

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

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

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

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

% Frame number: 503
holdsAt( appearance( id1 )=visible,  20120 ).
holdsAt( appearance( id4 )=visible,  20120 ).
holdsAt( orientation( id5 )=162, 20120  ). holdsAt( appearance( id5 )=visible,  20120 ).

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

% Frame number: 505
holdsAt( appearance( id1 )=visible,  20200 ).
holdsAt( appearance( id4 )=visible,  20200 ).
holdsAt( orientation( id5 )=162, 20200  ). holdsAt( appearance( id5 )=visible,  20200 ).

% Frame number: 506
holdsAt( appearance( id1 )=visible,  20240 ).
holdsAt( appearance( id4 )=visible,  20240 ).
holdsAt( appearance( id5 )=visible,  20240 ).

% Frame number: 507
holdsAt( orientation( id1 )=140, 20280  ). holdsAt( appearance( id1 )=visible,  20280 ).
holdsAt( appearance( id4 )=visible,  20280 ).
holdsAt( appearance( id5 )=visible,  20280 ).

% Frame number: 508
holdsAt( orientation( id1 )=140, 20320  ). holdsAt( appearance( id1 )=visible,  20320 ).
holdsAt( appearance( id4 )=visible,  20320 ).
holdsAt( appearance( id5 )=visible,  20320 ).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

% Frame number: 541
holdsAt( orientation( id4 )=157, 21640  ). holdsAt( appearance( id4 )=visible,  21640 ).
holdsAt( orientation( id5 )=162, 21640  ). holdsAt( appearance( id5 )=visible,  21640 ).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

redpajama_set_name: RedPajamaGithub


The American Institute of Personal Injury Attorneys has recognized the exceptional performance of Virginia's Personal Injury Attorney Kevin L. Locklin as 2018 10 Best High Verdict & Settlement Attorney for Personal Injury.
The American Institute of Personal Injury Attorneys is a third-party attorney rating organization that publishes an annual list of the Top 10 Best High Verdict & Settlement Attorney for Personal Injury in each state. Attorneys who are selected to the "10 Best" list must pass AIOPIA's rigorous select process, which is based on client and/or peer nominations, thorough research, and AIOPIA's independent evaluation. AIOPIA's annual list was created to be used as a resource for clients during the attorney selection process.
One of the most significant aspects of the selectin process involves attorneys' relationships and reputation among his or her clients. As clients should be an attorney's top priority, AIOPIA places the utmost emphasis on selecting lawyers who have achieved significant success in field of Persona Injury law without sacrificing the service and support they provide. Selection criteria therefore focus on attorneys who demonstrate the highest standards of Client Satisfaction.
We congratulate Kevin L. Locklin on this achievement and we are honored to have him as a 2018 AIOPIA Member.
You can contact Kevin L. Locklin directly at 703-392-6686 or www.locklincolemanlaw.com.