$SU.strat-v0.1
// Stochastic Memory Update Strategy
start strategy
States:
14
// Initial state
InitState:
0
// initial distribution
Init:
{53=1.0}
// next state function
// note: only P1 states
Next:
// first index: current state
// second index: current corner
2 0 {0=1.0}
2 129 {2=1.0}
2 1 {0=1.0}
2 67 {2=1.0}
2 131 {2=1.0}
2 71 {2=1.0}
2 72 {2=1.0}
2 12 {2=1.0}
2 76 {0=1.0}
2 13 {0=1.0}
2 79 {2=1.0}
2 16 {2=1.0}
2 145 {2=1.0}
2 147 {2=1.0}
2 83 {2=1.0}
2 148 {2=1.0}
2 20 {2=1.0}
2 153 {2=1.0}
2 30 {2=1.0}
2 31 {0=1.0}
2 165 {1=1.0}
2 166 {1=1.0}
2 167 {1=1.0}
2 169 {1=1.0}
2 170 {1=1.0}
2 171 {1=1.0}
2 172 {1=1.0}
2 173 {1=1.0}
2 45 {2=1.0}
2 174 {1=1.0}
2 175 {1=1.0}
2 112 {2=1.0}
2 176 {1=1.0}
2 177 {1=1.0}
2 178 {1=1.0}
2 53 {0=1.0}
2 54 {2=1.0}
2 58 {2=1.0}
2 60 {2=1.0}
3 0 {2=1.0}
3 1 {2=1.0}
3 2 {2=1.0}
3 3 {2=1.0}
3 131 {1=1.0}
3 4 {2=1.0}
3 5 {2=1.0}
3 6 {2=1.0}
3 9 {2=1.0}
3 138 {1=1.0}
3 11 {2=1.0}
3 12 {2=1.0}
3 14 {2=1.0}
3 18 {2=1.0}
3 19 {2=1.0}
3 20 {2=1.0}
3 148 {1=1.0}
3 22 {2=1.0}
3 150 {1=1.0}
3 25 {2=1.0}
3 155 {1=1.0}
3 29 {2=1.0}
3 30 {2=1.0}
3 32 {2=1.0}
3 161 {1=1.0}
3 33 {2=1.0}
3 164 {1=1.0}
3 37 {2=1.0}
3 40 {2=1.0}
3 41 {2=1.0}
3 44 {2=1.0}
3 172 {1=1.0}
3 46 {2=1.0}
3 47 {2=1.0}
3 176 {1=1.0}
3 177 {1=1.0}
3 49 {2=1.0}
3 178 {1=1.0}
3 50 {2=1.0}
3 179 {1=1.0}
3 52 {2=1.0}
3 53 {2=1.0}
3 54 {2=1.0}
3 55 {1=1.0}
3 56 {1=1.0}
3 58 {1=1.0}
3 65 {1=1.0}
3 67 {1=1.0}
3 70 {1=1.0}
3 72 {1=1.0}
3 75 {1=1.0}
3 91 {1=1.0}
3 102 {1=1.0}
// memory update function: player states
MemUpdStates:
// first index: current state
// second index: current corner
// third index: next move
0 64 0 {64=1.0}
0 1 0 {1=1.0}
0 2 0 {2=1.0}
0 3 0 {3=1.0}
0 4 0 {4=1.0}
0 68 0 {68=1.0}
0 6 0 {6=1.0}
0 11 0 {11=1.0}
0 75 0 {75=1.0}
0 12 0 {12=1.0}
0 81 0 {81=1.0}
0 146 0 {146=1.0}
0 18 0 {18=1.0}
0 19 0 {19=1.0}
0 20 0 {20=1.0}
0 149 0 {149=1.0}
0 25 0 {25=1.0}
0 27 0 {27=1.0}
0 156 0 {156=1.0}
0 29 0 {29=1.0}
0 30 0 {30=1.0}
0 33 0 {33=1.0}
0 162 0 {162=1.0}
0 165 0 {165=1.0}
0 37 0 {37=1.0}
0 40 0 {40=1.0}
0 41 0 {41=1.0}
0 43 0 {43=1.0}
0 44 0 {44=1.0}
0 46 0 {46=1.0}
0 174 0 {174=1.0}
0 178 0 {178=1.0}
0 51 0 {51=1.0}
0 180 0 {180=1.0}
0 53 0 {53=1.0}
0 181 0 {181=1.0}
0 182 0 {182=1.0}
0 55 0 {55=1.0}
0 183 0 {183=1.0}
0 184 0 {184=1.0}
0 57 0 {57=1.0}
0 59 0 {59=1.0}
0 60 0 {60=1.0}
0 61 0 {61=1.0}
0 127 0 {127=1.0}
0 63 0 {63=1.0}
1 132 0 {70=0.16942036030121532, 142=0.8305796396987847}
1 132 1 {132=1.0}
1 5 0 {5=1.0}
1 5 1 {5=1.0}
1 134 0 {138=1.0}
1 134 1 {134=1.0}
1 72 0 {5=0.023929482963225043, 136=0.9760705170367749}
1 72 1 {72=1.0}
1 11 0 {7=1.0}
1 11 1 {11=1.0}
1 141 0 {140=1.0}
1 141 1 {141=1.0}
1 143 0 {141=1.0}
1 143 1 {143=1.0}
1 145 0 {143=1.0}
1 145 1 {145=1.0}
1 113 0 {74=0.19585148770072858, 139=0.8041485122992714}
1 113 1 {113=1.0}
1 146 0 {144=1.0}
1 146 1 {146=1.0}
1 82 0 {136=1.0}
1 82 1 {82=1.0}
1 147 0 {145=1.0}
1 147 1 {147=1.0}
1 148 0 {146=1.0}
1 148 1 {148=1.0}
1 149 0 {147=1.0}
1 149 1 {149=1.0}
1 150 0 {148=1.0}
1 150 1 {150=1.0}
1 57 0 {5=0.056069153741919446, 136=0.9439308462580805}
1 57 1 {57=1.0}
1 121 0 {137=1.0}
1 121 1 {121=1.0}
1 27 0 {30=1.0}
1 27 1 {27=1.0}
1 127 0 {57=0.16944727519717045, 141=0.8305527248028295}
1 127 1 {127=1.0}
2 0 0 {0=1.0}
2 129 2 {122=1.0}
2 1 0 {1=1.0}
2 67 2 {61=1.0}
2 131 2 {124=1.0}
2 71 2 {65=1.0}
2 72 2 {66=1.0}
2 12 2 {11=1.0}
2 76 0 {76=1.0}
2 13 0 {11=1.0}
2 79 2 {72=1.0}
2 16 2 {15=1.0}
2 145 2 {138=1.0}
2 147 2 {140=1.0}
2 83 2 {76=1.0}
2 148 2 {141=1.0}
2 20 2 {18=1.0}
2 153 2 {146=1.0}
2 30 2 {27=1.0}
2 31 0 {27=1.0}
2 165 1 {76=1.0}
2 166 1 {122=1.0}
2 167 1 {138=1.0}
2 169 1 {146=1.0}
2 170 1 {149=1.0}
2 171 1 {150=1.0}
2 172 1 {151=1.0}
2 173 1 {152=1.0}
2 45 2 {41=1.0}
2 174 1 {153=1.0}
2 175 1 {154=1.0}
2 112 2 {105=1.0}
2 176 1 {155=1.0}
2 177 1 {156=1.0}
2 178 1 {157=1.0}
2 53 0 {49=1.0}
2 54 2 {49=1.0}
2 58 2 {53=1.0}
2 60 2 {55=1.0}
3 0 2 {0=1.0}
3 1 2 {1=1.0}
3 2 2 {2=1.0}
3 3 2 {3=1.0}
3 131 1 {105=1.0}
3 4 2 {4=1.0}
3 5 2 {5=1.0}
3 6 2 {6=1.0}
3 9 2 {9=1.0}
3 138 1 {112=1.0}
3 11 2 {11=1.0}
3 12 2 {12=1.0}
3 14 2 {14=1.0}
3 18 2 {18=1.0}
3 19 2 {19=1.0}
3 20 2 {20=1.0}
3 148 1 {122=1.0}
3 22 2 {22=1.0}
3 150 1 {124=1.0}
3 25 2 {25=1.0}
3 155 1 {129=1.0}
3 29 2 {29=1.0}
3 30 2 {30=1.0}
3 32 2 {32=1.0}
3 161 1 {135=1.0}
3 33 2 {33=1.0}
3 164 1 {138=1.0}
3 37 2 {37=1.0}
3 40 2 {40=1.0}
3 41 2 {41=1.0}
3 44 2 {46=1.0}
3 172 1 {146=1.0}
3 46 2 {50=1.0}
3 47 2 {53=1.0}
3 176 1 {150=1.0}
3 177 1 {151=1.0}
3 49 2 {57=1.0}
3 178 1 {152=1.0}
3 50 2 {58=1.0}
3 179 1 {153=1.0}
3 52 2 {61=1.0}
3 53 2 {64=1.0}
3 54 2 {80=1.0}
3 55 1 {29=1.0}
3 56 1 {30=1.0}
3 58 1 {32=1.0}
3 65 1 {39=1.0}
3 67 1 {41=1.0}
3 70 1 {44=1.0}
3 72 1 {46=1.0}
3 75 1 {49=1.0}
3 91 1 {65=1.0}
3 102 1 {76=1.0}
4 64 0 {64=1.0}
4 1 0 {1=1.0}
4 81 0 {81=1.0}
4 2 0 {2=1.0}
4 20 0 {20=1.0}
4 41 0 {41=1.0}
5 81 0 {81=1.0}
5 178 0 {178=1.0}
5 146 0 {146=1.0}
5 180 0 {180=1.0}
5 165 0 {165=1.0}
5 181 0 {181=1.0}
5 182 0 {182=1.0}
5 183 0 {183=1.0}
5 184 0 {184=1.0}
5 174 0 {174=1.0}
6 64 0 {64=1.0}
6 162 0 {162=1.0}
6 68 0 {68=1.0}
6 165 0 {165=1.0}
6 41 0 {41=1.0}
6 75 0 {75=1.0}
6 174 0 {174=1.0}
6 81 0 {81=1.0}
6 146 0 {146=1.0}
6 20 0 {20=1.0}
6 149 0 {149=1.0}
6 55 0 {55=1.0}
6 57 0 {57=1.0}
6 27 0 {27=1.0}
6 61 0 {61=1.0}
6 30 0 {30=1.0}
6 127 0 {127=1.0}
8 64 0 {64=1.0}
8 165 0 {165=1.0}
8 43 0 {43=1.0}
8 44 0 {44=1.0}
8 46 0 {46=1.0}
8 174 0 {174=1.0}
8 81 0 {81=1.0}
8 178 0 {178=1.0}
8 146 0 {146=1.0}
8 180 0 {180=1.0}
8 181 0 {181=1.0}
8 149 0 {149=1.0}
8 182 0 {182=1.0}
8 55 0 {55=1.0}
8 57 0 {57=1.0}
8 60 0 {60=1.0}
8 156 0 {156=1.0}
8 127 0 {127=1.0}
8 63 0 {63=1.0}
9 64 0 {64=1.0}
9 1 0 {1=1.0}
9 2 0 {2=1.0}
9 3 0 {3=1.0}
9 4 0 {4=1.0}
9 71 0 {71=1.0}
9 7 0 {7=1.0}
9 73 0 {73=1.0}
9 12 0 {12=1.0}
9 77 0 {77=1.0}
9 14 0 {14=1.0}
9 78 0 {78=1.0}
9 81 0 {81=1.0}
9 83 0 {83=1.0}
9 20 0 {20=1.0}
9 21 0 {21=1.0}
9 23 0 {23=1.0}
9 28 0 {28=1.0}
9 32 0 {32=1.0}
9 34 0 {34=1.0}
9 37 0 {37=1.0}
9 41 0 {41=1.0}
9 44 0 {44=1.0}
9 46 0 {46=1.0}
9 49 0 {49=1.0}
9 51 0 {51=1.0}
9 55 0 {55=1.0}
9 57 0 {57=1.0}
9 59 0 {59=1.0}
10 0 0 {0=1.0}
11 0 0 {0=1.0}
12 0 0 {0=1.0}
13 0 0 {0=1.0}
// memory update function: moves
MemUpdMoves:
// first index: current state
// second index: current move
// third index: curent corner (at move)
// fourth index: next state
0 0 64 1 {82=1.0}
0 0 64 2 {31=1.0}
0 0 64 3 {75=1.0}
0 0 64 10 {0=1.0}
0 0 1 1 {5=1.0}
0 0 1 2 {0=1.0}
0 0 1 3 {0=1.0}
0 0 1 10 {0=1.0}
0 0 2 1 {11=1.0}
0 0 2 2 {0=1.0}
0 0 2 3 {0=1.0}
0 0 2 10 {0=1.0}
0 0 3 1 {27=1.0}
0 0 3 2 {0=1.0}
0 0 3 3 {0=1.0}
0 0 3 10 {0=1.0}
0 0 4 1 {57=1.0}
0 0 4 2 {0=1.0}
0 0 4 3 {0=1.0}
0 0 4 10 {0=1.0}
0 0 68 1 {127=1.0}
0 0 68 2 {30=1.0}
0 0 68 3 {55=1.0}
0 0 68 10 {0=1.0}
0 0 6 1 {57=1.0}
0 0 6 2 {1=1.0}
0 0 6 3 {0=1.0}
0 0 6 10 {0=1.0}
0 0 11 1 {57=1.0}
0 0 11 2 {12=1.0}
0 0 11 3 {0=1.0}
0 0 11 10 {0=1.0}
0 0 75 1 {72=1.0}
0 0 75 2 {54=1.0}
0 0 75 3 {58=1.0}
0 0 75 10 {0=1.0}
0 0 12 1 {57=1.0}
0 0 12 2 {13=1.0}
0 0 12 3 {0=1.0}
0 0 12 10 {0=1.0}
0 0 81 1 {57=1.0}
0 0 81 2 {53=1.0}
0 0 81 3 {75=1.0}
0 0 81 10 {0=1.0}
0 0 146 1 {57=1.0}
0 0 146 2 {165=1.0}
0 0 146 3 {75=1.0}
0 0 146 10 {0=1.0}
0 0 18 1 {141=1.0}
0 0 18 2 {20=1.0}
0 0 18 3 {0=1.0}
0 0 18 10 {0=1.0}
0 0 19 1 {57=1.0}
0 0 19 2 {54=1.0}
0 0 19 3 {0=1.0}
0 0 19 10 {0=1.0}
0 0 20 1 {57=1.0}
0 0 20 2 {53=1.0}
0 0 20 3 {0=1.0}
0 0 20 10 {0=1.0}
0 0 149 1 {121=1.0}
0 0 149 2 {165=1.0}
0 0 149 3 {56=1.0}
0 0 149 10 {0=1.0}
0 0 25 1 {143=1.0}
0 0 25 2 {60=1.0}
0 0 25 3 {0=1.0}
0 0 25 10 {0=1.0}
0 0 27 1 {57=1.0}
0 0 27 2 {148=1.0}
0 0 27 3 {0=1.0}
0 0 27 10 {0=1.0}
0 0 156 1 {141=1.0}
0 0 156 2 {165=1.0}
0 0 156 3 {55=1.0}
0 0 156 10 {0=1.0}
0 0 29 1 {82=1.0}
0 0 29 2 {83=1.0}
0 0 29 3 {4=1.0}
0 0 29 10 {0=1.0}
0 0 30 1 {72=1.0}
0 0 30 2 {53=1.0}
0 0 30 3 {6=1.0}
0 0 30 10 {0=1.0}
0 0 33 1 {149=1.0}
0 0 33 2 {67=1.0}
0 0 33 3 {5=1.0}
0 0 33 10 {0=1.0}
0 0 162 1 {148=1.0}
0 0 162 2 {165=1.0}
0 0 162 3 {55=1.0}
0 0 162 10 {0=1.0}
0 0 165 1 {146=1.0}
0 0 165 2 {165=1.0}
0 0 165 3 {75=1.0}
0 0 165 10 {0=1.0}
0 0 37 1 {121=1.0}
0 0 37 2 {129=1.0}
0 0 37 3 {9=1.0}
0 0 37 10 {0=1.0}
0 0 40 1 {121=1.0}
0 0 40 2 {76=1.0}
0 0 40 3 {22=1.0}
0 0 40 10 {0=1.0}
0 0 41 1 {57=1.0}
0 0 41 2 {53=1.0}
0 0 41 3 {41=1.0}
0 0 41 10 {0=1.0}
0 0 43 1 {147=1.0}
0 0 43 2 {147=1.0}
0 0 43 3 {14=1.0}
0 0 43 10 {0=1.0}
0 0 44 1 {146=1.0}
0 0 44 2 {131=1.0}
0 0 44 3 {22=1.0}
0 0 44 10 {0=1.0}
0 0 46 1 {145=1.0}
0 0 46 2 {112=1.0}
0 0 46 3 {32=1.0}
0 0 46 10 {0=1.0}
0 0 174 1 {148=1.0}
0 0 174 2 {167=1.0}
0 0 174 3 {75=1.0}
0 0 174 10 {0=1.0}
0 0 178 1 {149=1.0}
0 0 178 2 {170=1.0}
0 0 178 3 {75=1.0}
0 0 178 10 {0=1.0}
0 0 51 1 {113=1.0}
0 0 51 2 {153=1.0}
0 0 51 3 {37=1.0}
0 0 51 10 {0=1.0}
0 0 180 1 {149=1.0}
0 0 180 2 {175=1.0}
0 0 180 3 {75=1.0}
0 0 180 10 {0=1.0}
0 0 53 1 {134=1.0}
0 0 53 2 {129=1.0}
0 0 53 3 {46=1.0}
0 0 53 10 {0=1.0}
0 0 181 1 {150=1.0}
0 0 181 2 {178=1.0}
0 0 181 3 {102=1.0}
0 0 181 10 {0=1.0}
0 0 182 1 {149=1.0}
0 0 182 2 {175=1.0}
0 0 182 3 {138=1.0}
0 0 182 10 {0=1.0}
0 0 55 1 {134=1.0}
0 0 55 2 {129=1.0}
0 0 55 3 {49=1.0}
0 0 55 10 {0=1.0}
0 0 183 1 {150=1.0}
0 0 183 2 {177=1.0}
0 0 183 3 {148=1.0}
0 0 183 10 {0=1.0}
0 0 184 1 {149=1.0}
0 0 184 2 {176=1.0}
0 0 184 3 {161=1.0}
0 0 184 10 {0=1.0}
0 0 57 1 {141=1.0}
0 0 57 2 {112=1.0}
0 0 57 3 {54=1.0}
0 0 57 10 {0=1.0}
0 0 59 1 {57=1.0}
0 0 59 2 {54=1.0}
0 0 59 3 {58=1.0}
0 0 59 10 {0=1.0}
0 0 60 1 {57=1.0}
0 0 60 2 {54=1.0}
0 0 60 3 {65=1.0}
0 0 60 10 {0=1.0}
0 0 61 1 {132=1.0}
0 0 61 2 {145=1.0}
0 0 61 3 {47=1.0}
0 0 61 10 {0=1.0}
0 0 127 1 {148=1.0}
0 0 127 2 {71=1.0}
0 0 127 3 {75=1.0}
0 0 127 10 {0=1.0}
0 0 63 1 {57=1.0}
0 0 63 2 {53=1.0}
0 0 63 3 {55=1.0}
0 0 63 10 {0=1.0}
1 0 5 2 {12=1.0}
1 0 70 2 {72=1.0}
1 0 7 2 {16=1.0}
1 0 136 2 {165=1.0}
1 0 137 2 {166=1.0}
1 0 138 2 {167=1.0}
1 0 74 2 {79=1.0}
1 0 139 2 {167=1.0}
1 0 140 2 {169=1.0}
1 0 141 2 {169=1.0}
1 0 142 2 {170=1.0}
1 0 143 2 {171=1.0}
1 0 144 2 {172=1.0}
1 0 145 2 {172=1.0}
1 0 146 2 {173=1.0}
1 0 147 2 {173=1.0}
1 0 148 2 {174=1.0}
1 0 57 2 {58=1.0}
1 0 30 2 {45=1.0}
1 1 132 3 {155=1.0}
1 1 5 3 {12=1.0}
1 1 134 3 {164=1.0}
1 1 72 3 {75=1.0}
1 1 11 3 {20=1.0}
1 1 141 3 {172=1.0}
1 1 143 3 {172=1.0}
1 1 145 3 {176=1.0}
1 1 113 3 {131=1.0}
1 1 146 3 {177=1.0}
1 1 82 3 {91=1.0}
1 1 147 3 {177=1.0}
1 1 148 3 {178=1.0}
1 1 149 3 {178=1.0}
1 1 150 3 {179=1.0}
1 1 57 3 {75=1.0}
1 1 121 3 {148=1.0}
1 1 27 3 {41=1.0}
1 1 127 3 {150=1.0}
2 0 0 4 {1=1.0}
2 0 49 4 {64=1.0}
2 0 1 4 {2=1.0}
2 0 27 4 {41=1.0}
2 0 11 4 {20=1.0}
2 0 76 4 {81=1.0}
2 1 138 5 {165=1.0}
2 1 76 5 {81=1.0}
2 1 146 5 {174=1.0}
2 1 149 5 {174=1.0}
2 1 150 5 {178=1.0}
2 1 151 5 {180=1.0}
2 1 152 5 {181=1.0}
2 1 153 5 {182=1.0}
2 1 154 5 {182=1.0}
2 1 122 5 {146=1.0}
2 1 155 5 {183=1.0}
2 1 156 5 {183=1.0}
2 1 157 5 {184=1.0}
2 2 65 6 {64=1.0}
2 2 66 6 {68=1.0}
2 2 72 6 {75=1.0}
2 2 105 6 {127=1.0}
2 2 41 6 {57=1.0}
2 2 138 6 {165=1.0}
2 2 11 6 {20=1.0}
2 2 140 6 {162=1.0}
2 2 76 6 {81=1.0}
2 2 141 6 {165=1.0}
2 2 15 6 {27=1.0}
2 2 49 6 {64=1.0}
2 2 18 6 {30=1.0}
2 2 146 6 {174=1.0}
2 2 53 6 {55=1.0}
2 2 55 6 {57=1.0}
2 2 122 6 {146=1.0}
2 2 27 6 {41=1.0}
2 2 124 6 {149=1.0}
2 2 61 6 {61=1.0}
3 1 32 8 {46=1.0}
3 1 65 8 {64=1.0}
3 1 129 8 {149=1.0}
3 1 39 8 {55=1.0}
3 1 135 8 {156=1.0}
3 1 105 8 {127=1.0}
3 1 41 8 {57=1.0}
3 1 138 8 {165=1.0}
3 1 44 8 {60=1.0}
3 1 76 8 {81=1.0}
3 1 46 8 {63=1.0}
3 1 112 8 {127=1.0}
3 1 49 8 {64=1.0}
3 1 146 8 {174=1.0}
3 1 150 8 {178=1.0}
3 1 151 8 {180=1.0}
3 1 152 8 {181=1.0}
3 1 153 8 {182=1.0}
3 1 122 8 {146=1.0}
3 1 124 8 {149=1.0}
3 1 29 8 {43=1.0}
3 1 30 8 {44=1.0}
3 2 0 9 {1=1.0}
3 2 64 9 {83=1.0}
3 2 1 9 {2=1.0}
3 2 2 9 {3=1.0}
3 2 3 9 {4=1.0}
3 2 4 9 {7=1.0}
3 2 5 9 {12=1.0}
3 2 6 9 {14=1.0}
3 2 9 9 {20=1.0}
3 2 11 9 {21=1.0}
3 2 12 9 {23=1.0}
3 2 14 9 {28=1.0}
3 2 80 9 {83=1.0}
3 2 18 9 {32=1.0}
3 2 19 9 {32=1.0}
3 2 20 9 {34=1.0}
3 2 22 9 {37=1.0}
3 2 25 9 {41=1.0}
3 2 29 9 {44=1.0}
3 2 30 9 {46=1.0}
3 2 32 9 {49=1.0}
3 2 33 9 {51=1.0}
3 2 37 9 {55=1.0}
3 2 40 9 {57=1.0}
3 2 41 9 {59=1.0}
3 2 46 9 {64=1.0}
3 2 50 9 {71=1.0}
3 2 53 9 {73=1.0}
3 2 57 9 {77=1.0}
3 2 58 9 {78=1.0}
3 2 61 9 {81=1.0}
4 0 64 0 {64=1.0}
4 0 64 12 {0=1.0}
4 0 1 0 {1=1.0}
4 0 1 12 {0=1.0}
4 0 81 0 {81=1.0}
4 0 81 12 {0=1.0}
4 0 2 0 {2=1.0}
4 0 2 12 {0=1.0}
4 0 20 0 {20=1.0}
4 0 20 12 {0=1.0}
4 0 41 0 {41=1.0}
4 0 41 12 {0=1.0}
5 0 81 0 {81=1.0}
5 0 81 11 {0=1.0}
5 0 178 0 {178=1.0}
5 0 178 11 {0=1.0}
5 0 146 0 {146=1.0}
5 0 146 11 {0=1.0}
5 0 180 0 {180=1.0}
5 0 180 11 {0=1.0}
5 0 165 0 {165=1.0}
5 0 165 11 {0=1.0}
5 0 181 0 {181=1.0}
5 0 181 11 {0=1.0}
5 0 182 0 {182=1.0}
5 0 182 11 {0=1.0}
5 0 183 0 {183=1.0}
5 0 183 11 {0=1.0}
5 0 184 0 {184=1.0}
5 0 184 11 {0=1.0}
5 0 174 0 {174=1.0}
5 0 174 11 {0=1.0}
6 0 64 0 {64=1.0}
6 0 64 11 {0=1.0}
6 0 162 0 {162=1.0}
6 0 162 11 {0=1.0}
6 0 68 0 {68=1.0}
6 0 68 11 {0=1.0}
6 0 165 0 {165=1.0}
6 0 165 11 {0=1.0}
6 0 41 0 {41=1.0}
6 0 41 11 {0=1.0}
6 0 75 0 {75=1.0}
6 0 75 11 {0=1.0}
6 0 174 0 {174=1.0}
6 0 174 11 {0=1.0}
6 0 81 0 {81=1.0}
6 0 81 11 {0=1.0}
6 0 146 0 {146=1.0}
6 0 146 11 {0=1.0}
6 0 20 0 {20=1.0}
6 0 20 11 {0=1.0}
6 0 149 0 {149=1.0}
6 0 149 11 {0=1.0}
6 0 55 0 {55=1.0}
6 0 55 11 {0=1.0}
6 0 57 0 {57=1.0}
6 0 57 11 {0=1.0}
6 0 27 0 {27=1.0}
6 0 27 11 {0=1.0}
6 0 61 0 {61=1.0}
6 0 61 11 {0=1.0}
6 0 30 0 {30=1.0}
6 0 30 11 {0=1.0}
6 0 127 0 {127=1.0}
6 0 127 11 {0=1.0}
8 0 64 0 {64=1.0}
8 0 64 11 {0=1.0}
8 0 165 0 {165=1.0}
8 0 165 11 {0=1.0}
8 0 43 0 {43=1.0}
8 0 43 11 {0=1.0}
8 0 44 0 {44=1.0}
8 0 44 11 {0=1.0}
8 0 46 0 {46=1.0}
8 0 46 11 {0=1.0}
8 0 174 0 {174=1.0}
8 0 174 11 {0=1.0}
8 0 81 0 {81=1.0}
8 0 81 11 {0=1.0}
8 0 178 0 {178=1.0}
8 0 178 11 {0=1.0}
8 0 146 0 {146=1.0}
8 0 146 11 {0=1.0}
8 0 180 0 {180=1.0}
8 0 180 11 {0=1.0}
8 0 181 0 {181=1.0}
8 0 181 11 {0=1.0}
8 0 149 0 {149=1.0}
8 0 149 11 {0=1.0}
8 0 182 0 {182=1.0}
8 0 182 11 {0=1.0}
8 0 55 0 {55=1.0}
8 0 55 11 {0=1.0}
8 0 57 0 {57=1.0}
8 0 57 11 {0=1.0}
8 0 60 0 {60=1.0}
8 0 60 11 {0=1.0}
8 0 156 0 {156=1.0}
8 0 156 11 {0=1.0}
8 0 127 0 {127=1.0}
8 0 127 11 {0=1.0}
8 0 63 0 {63=1.0}
8 0 63 11 {0=1.0}
9 0 64 0 {46=1.0}
9 0 64 3 {58=1.0}
9 0 64 11 {0=1.0}
9 0 1 0 {1=1.0}
9 0 1 3 {1=1.0}
9 0 1 11 {0=1.0}
9 0 2 0 {2=1.0}
9 0 2 3 {2=1.0}
9 0 2 11 {0=1.0}
9 0 3 0 {3=1.0}
9 0 3 3 {3=1.0}
9 0 3 11 {0=1.0}
9 0 4 0 {4=1.0}
9 0 4 3 {4=1.0}
9 0 4 11 {0=1.0}
9 0 71 0 {53=1.0}
9 0 71 3 {65=1.0}
9 0 71 11 {0=1.0}
9 0 7 0 {6=1.0}
9 0 7 3 {6=1.0}
9 0 7 11 {0=1.0}
9 0 73 0 {55=1.0}
9 0 73 3 {67=1.0}
9 0 73 11 {0=1.0}
9 0 12 0 {11=1.0}
9 0 12 3 {11=1.0}
9 0 12 11 {0=1.0}
9 0 77 0 {59=1.0}
9 0 77 3 {70=1.0}
9 0 77 11 {0=1.0}
9 0 14 0 {12=1.0}
9 0 14 3 {12=1.0}
9 0 14 11 {0=1.0}
9 0 78 0 {60=1.0}
9 0 78 3 {72=1.0}
9 0 78 11 {0=1.0}
9 0 81 0 {63=1.0}
9 0 81 3 {72=1.0}
9 0 81 11 {0=1.0}
9 0 83 0 {64=1.0}
9 0 83 3 {75=1.0}
9 0 83 11 {0=1.0}
9 0 20 0 {18=1.0}
9 0 20 3 {18=1.0}
9 0 20 11 {0=1.0}
9 0 21 0 {19=1.0}
9 0 21 3 {19=1.0}
9 0 21 11 {0=1.0}
9 0 23 0 {20=1.0}
9 0 23 3 {20=1.0}
9 0 23 11 {0=1.0}
9 0 28 0 {25=1.0}
9 0 28 3 {25=1.0}
9 0 28 11 {0=1.0}
9 0 32 0 {29=1.0}
9 0 32 3 {29=1.0}
9 0 32 11 {0=1.0}
9 0 34 0 {30=1.0}
9 0 34 3 {30=1.0}
9 0 34 11 {0=1.0}
9 0 37 0 {33=1.0}
9 0 37 3 {33=1.0}
9 0 37 11 {0=1.0}
9 0 41 0 {37=1.0}
9 0 41 3 {37=1.0}
9 0 41 11 {0=1.0}
9 0 44 0 {40=1.0}
9 0 44 3 {40=1.0}
9 0 44 11 {0=1.0}
9 0 46 0 {41=1.0}
9 0 46 3 {41=1.0}
9 0 46 11 {0=1.0}
9 0 49 0 {46=1.0}
9 0 49 3 {44=1.0}
9 0 49 11 {0=1.0}
9 0 51 0 {51=1.0}
9 0 51 3 {46=1.0}
9 0 51 11 {0=1.0}
9 0 55 0 {59=1.0}
9 0 55 3 {50=1.0}
9 0 55 11 {0=1.0}
9 0 57 0 {63=1.0}
9 0 57 3 {52=1.0}
9 0 57 11 {0=1.0}
9 0 59 0 {64=1.0}
9 0 59 3 {53=1.0}
9 0 59 11 {0=1.0}
10 0 0 13 {0=1.0}
11 0 0 13 {0=1.0}
12 0 0 12 {0=1.0}
13 0 0 13 {0=1.0}
Info:
Property: <<1>> ((((((((R{"success"}>=0.7 [ C ]&R{"collision"}<=0.13 [ C ]&R{"energy"}<=5.7 [ C ]))))))))
Type: $SU.strat-v0.1
Memory size: 775
endstrategy