mdp
const int N=150; // N*N grid map
const double p=0.18; // with probability p, a move to a neighboring state state occurs due to seeing and control noise
formula wall= (r=76 & c=19) | (r=76 & c=20) | (r=76 & c=21) | (r=76 & c=22) | (r=76 & c=23) | (r=76 & c=24) | (r=76 & c=27) | (r=76 & c=28) | (r=76 & c=29) | (r=76 & c=30) | (r=77 & c=16) | (r=77 & c=18) | (r=77 & c=19) | (r=77 & c=20) | (r=77 & c=21) | (r=77 & c=23) | (r=77 & c=25) | (r=77 & c=26) | (r=77 & c=28) | (r=77 & c=29) | (r=77 & c=30) | (r=78 & c=16) | (r=78 & c=17) | (r=78 & c=19) | (r=78 & c=20) | (r=78 & c=21) | (r=78 & c=22) | (r=78 & c=23) | (r=78 & c=26) | (r=78 & c=27) | (r=78 & c=28) | (r=78 & c=29) | (r=78 & c=30) | (r=79 & c=16) | (r=79 & c=20) | (r=79 & c=21) | (r=79 & c=24) | (r=79 & c=25) | (r=79 & c=26) | (r=79 & c=27) | (r=79 & c=28) | (r=79 & c=30) | (r=80 & c=17) | (r=80 & c=19) | (r=80 & c=20) | (r=80 & c=21) | (r=80 & c=25) | (r=80 & c=26) | (r=80 & c=28) | (r=80 & c=29) | (r=81 & c=16) | (r=81 & c=18) | (r=81 & c=19) | (r=81 & c=22) | (r=81 & c=23) | (r=81 & c=24) | (r=81 & c=25) | (r=81 & c=26) | (r=81 & c=27) | (r=81 & c=28) | (r=81 & c=29) | (r=82 & c=16) | (r=82 & c=17) | (r=82 & c=18) | (r=82 & c=19) | (r=82 & c=20) | (r=82 & c=21) | (r=82 & c=22) | (r=82 & c=23) | (r=82 & c=24) | (r=82 & c=25) | (r=82 & c=26) | (r=82 & c=27) | (r=82 & c=28) | (r=82 & c=29) | (r=83 & c=16) | (r=83 & c=17) | (r=83 & c=18) | (r=83 & c=19) | (r=83 & c=20) | (r=83 & c=21) | (r=83 & c=22) | (r=83 & c=23) | (r=83 & c=24) | (r=83 & c=26) | (r=83 & c=28) | (r=83 & c=29) | (r=83 & c=30) | (r=84 & c=16) | (r=84 & c=17) | (r=84 & c=18) | (r=84 & c=20) | (r=84 & c=21) | (r=84 & c=25) | (r=84 & c=26) | (r=84 & c=27) | (r=84 & c=29) | (r=84 & c=30) | (r=85 & c=17) | (r=85 & c=18) | (r=85 & c=23) | (r=85 & c=24) | (r=85 & c=25) | (r=85 & c=27) | (r=85 & c=28) | (r=85 & c=29) | (r=85 & c=30) | (r=86 & c=16) | (r=86 & c=18) | (r=86 & c=19) | (r=86 & c=20) | (r=86 & c=22) | (r=86 & c=23) | (r=86 & c=25) | (r=86 & c=26) | (r=86 & c=27) | (r=86 & c=28) | (r=87 & c=16) | (r=87 & c=17) | (r=87 & c=18) | (r=87 & c=19) | (r=87 & c=21) | (r=87 & c=23) | (r=87 & c=24) | (r=87 & c=25) | (r=87 & c=28) | (r=87 & c=29) | (r=87 & c=30) | (r=88 & c=17) | (r=88 & c=18) | (r=88 & c=19) | (r=88 & c=20) | (r=88 & c=22) | (r=88 & c=23) | (r=88 & c=25) | (r=88 & c=26) | (r=88 & c=28) | (r=88 & c=29) | (r=88 & c=30) | (r=89 & c=16) | (r=89 & c=18) | (r=89 & c=19) | (r=89 & c=20) | (r=89 & c=21) | (r=89 & c=22) | (r=89 & c=24) | (r=89 & c=25) | (r=89 & c=26) | (r=89 & c=28) | (r=89 & c=29) | (r=89 & c=30) | (r=90 & c=17) | (r=90 & c=18) | (r=90 & c=19) | (r=90 & c=21) | (r=90 & c=22) | (r=90 & c=24) | (r=90 & c=25) | (r=90 & c=26) | (r=90 & c=27) | (r=90 & c=28) | (r=90 & c=29) | (r=90 & c=30) | (r=106 & c=2) | (r=106 & c=3) | (r=106 & c=4) | (r=106 & c=5) | (r=106 & c=6) | (r=106 & c=7) | (r=106 & c=8) | (r=106 & c=9) | (r=106 & c=10) | (r=106 & c=11) | (r=106 & c=13) | (r=106 & c=14) | (r=106 & c=15) | (r=107 & c=1) | (r=107 & c=2) | (r=107 & c=5) | (r=107 & c=8) | (r=107 & c=10) | (r=107 & c=11) | (r=107 & c=12) | (r=107 & c=13) | (r=107 & c=14) | (r=108 & c=1) | (r=108 & c=3) | (r=108 & c=4) | (r=108 & c=5) | (r=108 & c=7) | (r=108 & c=8) | (r=108 & c=9) | (r=108 & c=10) | (r=108 & c=11) | (r=108 & c=12) | (r=108 & c=13) | (r=108 & c=15) | (r=109 & c=1) | (r=109 & c=2) | (r=109 & c=4) | (r=109 & c=5) | (r=109 & c=6) | (r=109 & c=7) | (r=109 & c=8) | (r=109 & c=10) | (r=109 & c=11) | (r=109 & c=14) | (r=109 & c=15) | (r=110 & c=2) | (r=110 & c=3) | (r=110 & c=4) | (r=110 & c=5) | (r=110 & c=6) | (r=110 & c=7) | (r=110 & c=8) | (r=110 & c=9) | (r=110 & c=10) | (r=110 & c=11) | (r=110 & c=12) | (r=110 & c=13) | (r=110 & c=14) | (r=111 & c=1) | (r=111 & c=2) | (r=111 & c=3) | (r=111 & c=4) | (r=111 & c=6) | (r=111 & c=7) | (r=111 & c=8) | (r=111 & c=9) | (r=111 & c=10) | (r=111 & c=11) | (r=111 & c=13) | (r=111 & c=14) | (r=111 & c=15) | (r=112 & c=1) | (r=112 & c=2) | (r=112 & c=3) | (r=112 & c=4) | (r=112 & c=5) | (r=112 & c=6) | (r=112 & c=7) | (r=112 & c=9) | (r=112 & c=11) | (r=112 & c=12) | (r=112 & c=13) | (r=112 & c=14) | (r=112 & c=15) | (r=113 & c=1) | (r=113 & c=2) | (r=113 & c=3) | (r=113 & c=4) | (r=113 & c=5) | (r=113 & c=6) | (r=113 & c=7) | (r=113 & c=8) | (r=113 & c=10) | (r=113 & c=11) | (r=113 & c=13) | (r=113 & c=14) | (r=113 & c=15) | (r=114 & c=1) | (r=114 & c=2) | (r=114 & c=3) | (r=114 & c=6) | (r=114 & c=8) | (r=114 & c=10) | (r=114 & c=11) | (r=114 & c=12) | (r=114 & c=13) | (r=114 & c=15) | (r=115 & c=1) | (r=115 & c=3) | (r=115 & c=4) | (r=115 & c=6) | (r=115 & c=7) | (r=115 & c=8) | (r=115 & c=10) | (r=115 & c=11) | (r=115 & c=13) | (r=115 & c=14) | (r=116 & c=2) | (r=116 & c=3) | (r=116 & c=5) | (r=116 & c=6) | (r=116 & c=7) | (r=116 & c=8) | (r=116 & c=9) | (r=116 & c=10) | (r=116 & c=11) | (r=116 & c=13) | (r=116 & c=14) | (r=117 & c=1) | (r=117 & c=2) | (r=117 & c=3) | (r=117 & c=4) | (r=117 & c=6) | (r=117 & c=7) | (r=117 & c=8) | (r=117 & c=9) | (r=117 & c=12) | (r=117 & c=13) | (r=117 & c=14) | (r=118 & c=1) | (r=118 & c=3) | (r=118 & c=4) | (r=118 & c=5) | (r=118 & c=7) | (r=118 & c=10) | (r=118 & c=11) | (r=118 & c=12) | (r=118 & c=13) | (r=118 & c=14) | (r=119 & c=1) | (r=119 & c=2) | (r=119 & c=3) | (r=119 & c=5) | (r=119 & c=6) | (r=119 & c=7) | (r=119 & c=8) | (r=119 & c=10) | (r=119 & c=12) | (r=119 & c=13) | (r=119 & c=14) | (r=119 & c=15) | (r=120 & c=1) | (r=120 & c=2) | (r=120 & c=3) | (r=120 & c=4) | (r=120 & c=5) | (r=120 & c=6) | (r=120 & c=7) | (r=120 & c=9) | (r=120 & c=10) | (r=120 & c=11) | (r=120 & c=14) | (r=46 & c=2) | (r=46 & c=3) | (r=46 & c=5) | (r=46 & c=7) | (r=46 & c=9) | (r=46 & c=10) | (r=46 & c=11) | (r=46 & c=12) | (r=46 & c=14) | (r=46 & c=15) | (r=47 & c=1) | (r=47 & c=3) | (r=47 & c=4) | (r=47 & c=5) | (r=47 & c=6) | (r=47 & c=7) | (r=47 & c=8) | (r=47 & c=9) | (r=47 & c=10) | (r=47 & c=11) | (r=47 & c=12) | (r=47 & c=14) | (r=47 & c=15) | (r=48 & c=1) | (r=48 & c=3) | (r=48 & c=4) | (r=48 & c=6) | (r=48 & c=7) | (r=48 & c=8) | (r=48 & c=10) | (r=48 & c=11) | (r=48 & c=12) | (r=48 & c=14) | (r=48 & c=15) | (r=49 & c=2) | (r=49 & c=3) | (r=49 & c=5) | (r=49 & c=6) | (r=49 & c=7) | (r=49 & c=8) | (r=49 & c=9) | (r=49 & c=10) | (r=49 & c=11) | (r=49 & c=12) | (r=49 & c=14) | (r=49 & c=15) | (r=50 & c=1) | (r=50 & c=2) | (r=50 & c=3) | (r=50 & c=5) | (r=50 & c=6) | (r=50 & c=7) | (r=50 & c=8) | (r=50 & c=9) | (r=50 & c=10) | (r=50 & c=11) | (r=50 & c=13) | (r=51 & c=3) | (r=51 & c=4) | (r=51 & c=5) | (r=51 & c=6) | (r=51 & c=7) | (r=51 & c=8) | (r=51 & c=9) | (r=51 & c=10) | (r=51 & c=11) | (r=51 & c=12) | (r=51 & c=13) | (r=51 & c=14) | (r=52 & c=1) | (r=52 & c=3) | (r=52 & c=4) | (r=52 & c=5) | (r=52 & c=6) | (r=52 & c=7) | (r=52 & c=8) | (r=52 & c=9) | (r=52 & c=10) | (r=52 & c=11) | (r=52 & c=12) | (r=52 & c=13) | (r=52 & c=14) | (r=52 & c=15) | (r=53 & c=3) | (r=53 & c=4) | (r=53 & c=5) | (r=53 & c=7) | (r=53 & c=8) | (r=53 & c=9) | (r=53 & c=11) | (r=53 & c=12) | (r=53 & c=13) | (r=53 & c=14) | (r=53 & c=15) | (r=54 & c=1) | (r=54 & c=2) | (r=54 & c=3) | (r=54 & c=4) | (r=54 & c=7) | (r=54 & c=8) | (r=54 & c=9) | (r=54 & c=10) | (r=54 & c=11) | (r=54 & c=12) | (r=54 & c=13) | (r=54 & c=15) | (r=55 & c=2) | (r=55 & c=6) | (r=55 & c=7) | (r=55 & c=8) | (r=55 & c=10) | (r=55 & c=11) | (r=55 & c=13) | (r=55 & c=15) | (r=56 & c=1) | (r=56 & c=3) | (r=56 & c=6) | (r=56 & c=8) | (r=56 & c=12) | (r=56 & c=13) | (r=56 & c=15) | (r=57 & c=1) | (r=57 & c=2) | (r=57 & c=3) | (r=57 & c=4) | (r=57 & c=5) | (r=57 & c=6) | (r=57 & c=7) | (r=57 & c=8) | (r=57 & c=9) | (r=57 & c=10) | (r=57 & c=11) | (r=57 & c=12) | (r=57 & c=13) | (r=57 & c=14) | (r=57 & c=15) | (r=58 & c=1) | (r=58 & c=2) | (r=58 & c=3) | (r=58 & c=5) | (r=58 & c=6) | (r=58 & c=7) | (r=58 & c=8) | (r=58 & c=9) | (r=58 & c=12) | (r=58 & c=14) | (r=58 & c=15) | (r=59 & c=1) | (r=59 & c=3) | (r=59 & c=5) | (r=59 & c=6) | (r=59 & c=7) | (r=59 & c=8) | (r=59 & c=9) | (r=59 & c=12) | (r=59 & c=13) | (r=59 & c=14) | (r=60 & c=1) | (r=60 & c=2) | (r=60 & c=3) | (r=60 & c=4) | (r=60 & c=5) | (r=60 & c=6) | (r=60 & c=8) | (r=60 & c=10) | (r=60 & c=11) | (r=60 & c=12) | (r=60 & c=13) | (r=60 & c=14) | (r=60 & c=15) | (r=61 & c=16) | (r=61 & c=18) | (r=61 & c=19) | (r=61 & c=20) | (r=61 & c=21) | (r=61 & c=23) | (r=61 & c=24) | (r=61 & c=26) | (r=61 & c=28) | (r=61 & c=29) | (r=61 & c=30) | (r=62 & c=16) | (r=62 & c=18) | (r=62 & c=19) | (r=62 & c=20) | (r=62 & c=21) | (r=62 & c=23) | (r=62 & c=26) | (r=62 & c=27) | (r=62 & c=29) | (r=62 & c=30) | (r=63 & c=16) | (r=63 & c=17) | (r=63 & c=18) | (r=63 & c=20) | (r=63 & c=22) | (r=63 & c=25) | (r=63 & c=29) | (r=63 & c=30) | (r=64 & c=16) | (r=64 & c=17) | (r=64 & c=18) | (r=64 & c=19) | (r=64 & c=20) | (r=64 & c=21) | (r=64 & c=23) | (r=64 & c=24) | (r=64 & c=25) | (r=64 & c=26) | (r=64 & c=27) | (r=64 & c=28) | (r=64 & c=30) | (r=65 & c=17) | (r=65 & c=19) | (r=65 & c=20) | (r=65 & c=21) | (r=65 & c=22) | (r=65 & c=23) | (r=65 & c=24) | (r=65 & c=29) | (r=65 & c=30) | (r=66 & c=17) | (r=66 & c=19) | (r=66 & c=20) | (r=66 & c=21) | (r=66 & c=22) | (r=66 & c=23) | (r=66 & c=24) | (r=66 & c=26) | (r=66 & c=27) | (r=66 & c=29) | (r=66 & c=30) | (r=67 & c=16) | (r=67 & c=17) | (r=67 & c=18) | (r=67 & c=20) | (r=67 & c=21) | (r=67 & c=22) | (r=67 & c=23) | (r=67 & c=24) | (r=67 & c=25) | (r=67 & c=26) | (r=67 & c=27) | (r=67 & c=28) | (r=67 & c=29) | (r=67 & c=30) | (r=68 & c=16) | (r=68 & c=17) | (r=68 & c=18) | (r=68 & c=19) | (r=68 & c=20) | (r=68 & c=21) | (r=68 & c=22) | (r=68 & c=24) | (r=68 & c=26) | (r=68 & c=27) | (r=68 & c=28) | (r=69 & c=16) | (r=69 & c=17) | (r=69 & c=20) | (r=69 & c=21) | (r=69 & c=22) | (r=69 & c=23) | (r=69 & c=25) | (r=69 & c=26) | (r=69 & c=27) | (r=69 & c=28) | (r=69 & c=30) | (r=70 & c=18) | (r=70 & c=19) | (r=70 & c=20) | (r=70 & c=22) | (r=70 & c=23) | (r=70 & c=27) | (r=70 & c=28) | (r=70 & c=30) | (r=71 & c=16) | (r=71 & c=19) | (r=71 & c=21) | (r=71 & c=22) | (r=71 & c=23) | (r=71 & c=25) | (r=71 & c=27) | (r=71 & c=28) | (r=71 & c=30) | (r=72 & c=16) | (r=72 & c=19) | (r=72 & c=20) | (r=72 & c=21) | (r=72 & c=22) | (r=72 & c=23) | (r=72 & c=25) | (r=72 & c=26) | (r=72 & c=27) | (r=72 & c=28) | (r=72 & c=29) | (r=73 & c=17) | (r=73 & c=20) | (r=73 & c=23) | (r=73 & c=24) | (r=73 & c=26) | (r=73 & c=27) | (r=73 & c=29) | (r=73 & c=30) | (r=74 & c=17) | (r=74 & c=18) | (r=74 & c=19) | (r=74 & c=21) | (r=74 & c=22) | (r=74 & c=24) | (r=74 & c=25) | (r=74 & c=26) | (r=74 & c=27) | (r=74 & c=29) | (r=74 & c=30) | (r=75 & c=17) | (r=75 & c=19) | (r=75 & c=22) | (r=75 & c=23) | (r=75 & c=24) | (r=75 & c=25) | (r=75 & c=26) | (r=75 & c=27) | (r=75 & c=28) | (r=75 & c=29) | (r=91 & c=2) | (r=91 & c=4) | (r=91 & c=5) | (r=91 & c=6) | (r=91 & c=7) | (r=91 & c=8) | (r=91 & c=9) | (r=91 & c=10) | (r=91 & c=11) | (r=91 & c=12) | (r=91 & c=14) | (r=92 & c=2) | (r=92 & c=3) | (r=92 & c=5) | (r=92 & c=6) | (r=92 & c=8) | (r=92 & c=9) | (r=92 & c=10) | (r=92 & c=11) | (r=92 & c=12) | (r=92 & c=13) | (r=92 & c=15) | (r=93 & c=4) | (r=93 & c=5) | (r=93 & c=6) | (r=93 & c=7) | (r=93 & c=8) | (r=93 & c=9) | (r=93 & c=10) | (r=93 & c=11) | (r=93 & c=12) | (r=93 & c=13) | (r=93 & c=15) | (r=94 & c=1) | (r=94 & c=4) | (r=94 & c=5) | (r=94 & c=6) | (r=94 & c=7) | (r=94 & c=9) | (r=94 & c=10) | (r=94 & c=11) | (r=94 & c=13) | (r=94 & c=14) | (r=94 & c=15) | (r=95 & c=1) | (r=95 & c=2) | (r=95 & c=3) | (r=95 & c=4) | (r=95 & c=7) | (r=95 & c=9) | (r=95 & c=11) | (r=95 & c=12) | (r=95 & c=13) | (r=95 & c=14) | (r=95 & c=15) | (r=96 & c=1) | (r=96 & c=2) | (r=96 & c=3) | (r=96 & c=4) | (r=96 & c=5) | (r=96 & c=6) | (r=96 & c=7) | (r=96 & c=8) | (r=96 & c=9) | (r=96 & c=10) | (r=96 & c=12) | (r=96 & c=13) | (r=96 & c=14) | (r=97 & c=1) | (r=97 & c=2) | (r=97 & c=3) | (r=97 & c=4) | (r=97 & c=5) | (r=97 & c=6) | (r=97 & c=7) | (r=97 & c=8) | (r=97 & c=9) | (r=97 & c=10) | (r=97 & c=11) | (r=97 & c=12) | (r=97 & c=13) | (r=97 & c=14) | (r=97 & c=15) | (r=98 & c=2) | (r=98 & c=3) | (r=98 & c=5) | (r=98 & c=6) | (r=98 & c=7) | (r=98 & c=8) | (r=98 & c=10) | (r=98 & c=11) | (r=98 & c=12) | (r=98 & c=13) | (r=98 & c=14) | (r=98 & c=15) | (r=99 & c=1) | (r=99 & c=2) | (r=99 & c=3) | (r=99 & c=4) | (r=99 & c=5) | (r=99 & c=6) | (r=99 & c=7) | (r=99 & c=8) | (r=99 & c=10) | (r=99 & c=11) | (r=99 & c=12) | (r=99 & c=13) | (r=99 & c=14) | (r=100 & c=1) | (r=100 & c=2) | (r=100 & c=4) | (r=100 & c=5) | (r=100 & c=6) | (r=100 & c=7) | (r=100 & c=8) | (r=100 & c=9) | (r=100 & c=10) | (r=100 & c=11) | (r=100 & c=12) | (r=100 & c=13) | (r=101 & c=1) | (r=101 & c=2) | (r=101 & c=3) | (r=101 & c=5) | (r=101 & c=6) | (r=101 & c=8) | (r=101 & c=9) | (r=101 & c=10) | (r=101 & c=11) | (r=101 & c=12) | (r=101 & c=13) | (r=101 & c=14) | (r=102 & c=1) | (r=102 & c=2) | (r=102 & c=3) | (r=102 & c=4) | (r=102 & c=5) | (r=102 & c=6) | (r=102 & c=7) | (r=102 & c=8) | (r=102 & c=9) | (r=102 & c=10) | (r=102 & c=11) | (r=102 & c=12) | (r=102 & c=13) | (r=102 & c=14) | (r=102 & c=15) | (r=103 & c=1) | (r=103 & c=2) | (r=103 & c=3) | (r=103 & c=4) | (r=103 & c=5) | (r=103 & c=6) | (r=103 & c=8) | (r=103 & c=9) | (r=103 & c=10) | (r=103 & c=12) | (r=103 & c=13) | (r=103 & c=14) | (r=103 & c=15) | (r=104 & c=2) | (r=104 & c=3) | (r=104 & c=4) | (r=104 & c=5) | (r=104 & c=6) | (r=104 & c=7) | (r=104 & c=8) | (r=104 & c=10) | (r=104 & c=11) | (r=104 & c=13) | (r=104 & c=14) | (r=104 & c=15) | (r=105 & c=1) | (r=105 & c=2) | (r=105 & c=5) | (r=105 & c=6) | (r=105 & c=9) | (r=105 & c=10) | (r=105 & c=11) | (r=105 & c=13) | (r=106 & c=31) | (r=106 & c=33) | (r=106 & c=35) | (r=106 & c=36) | (r=106 & c=38) | (r=106 & c=40) | (r=106 & c=42) | (r=106 & c=43) | (r=106 & c=44) | (r=106 & c=45) | (r=107 & c=31) | (r=107 & c=32) | (r=107 & c=33) | (r=107 & c=34) | (r=107 & c=35) | (r=107 & c=36) | (r=107 & c=37) | (r=107 & c=38) | (r=107 & c=39) | (r=107 & c=40) | (r=107 & c=41) | (r=107 & c=42) | (r=107 & c=44) | (r=108 & c=31) | (r=108 & c=33) | (r=108 & c=35) | (r=108 & c=36) | (r=108 & c=37) | (r=108 & c=38) | (r=108 & c=39) | (r=108 & c=40) | (r=108 & c=41) | (r=108 & c=42) | (r=108 & c=43) | (r=108 & c=44) | (r=108 & c=45) | (r=109 & c=31) | (r=109 & c=33) | (r=109 & c=34) | (r=109 & c=35) | (r=109 & c=36) | (r=109 & c=37) | (r=109 & c=38) | (r=109 & c=39) | (r=109 & c=40) | (r=109 & c=43) | (r=110 & c=31) | (r=110 & c=33) | (r=110 & c=34) | (r=110 & c=35) | (r=110 & c=37) | (r=110 & c=38) | (r=110 & c=39) | (r=110 & c=42) | (r=110 & c=44) | (r=110 & c=45) | (r=111 & c=31) | (r=111 & c=32) | (r=111 & c=33) | (r=111 & c=34) | (r=111 & c=35) | (r=111 & c=36) | (r=111 & c=37) | (r=111 & c=38) | (r=111 & c=40) | (r=111 & c=42) | (r=111 & c=44) | (r=111 & c=45) | (r=112 & c=31) | (r=112 & c=33) | (r=112 & c=39) | (r=112 & c=40) | (r=112 & c=41) | (r=112 & c=42) | (r=112 & c=43) | (r=112 & c=44) | (r=113 & c=31) | (r=113 & c=32) | (r=113 & c=33) | (r=113 & c=34) | (r=113 & c=35) | (r=113 & c=36) | (r=113 & c=38) | (r=113 & c=39) | (r=113 & c=40) | (r=113 & c=41) | (r=113 & c=42) | (r=113 & c=44) | (r=113 & c=45) | (r=114 & c=31) | (r=114 & c=32) | (r=114 & c=34) | (r=114 & c=35) | (r=114 & c=38) | (r=114 & c=39) | (r=114 & c=40) | (r=114 & c=41) | (r=114 & c=44) | (r=114 & c=45) | (r=115 & c=31) | (r=115 & c=32) | (r=115 & c=33) | (r=115 & c=34) | (r=115 & c=35) | (r=115 & c=36) | (r=115 & c=38) | (r=115 & c=41) | (r=115 & c=44) | (r=115 & c=45) | (r=116 & c=31) | (r=116 & c=32) | (r=116 & c=33) | (r=116 & c=35) | (r=116 & c=36) | (r=116 & c=37) | (r=116 & c=39) | (r=116 & c=40) | (r=116 & c=41) | (r=116 & c=44) | (r=116 & c=45) | (r=117 & c=31) | (r=117 & c=32) | (r=117 & c=33) | (r=117 & c=34) | (r=117 & c=35) | (r=117 & c=36) | (r=117 & c=39) | (r=117 & c=40) | (r=117 & c=41) | (r=117 & c=43) | (r=117 & c=44) | (r=117 & c=45) | (r=118 & c=32) | (r=118 & c=34) | (r=118 & c=35) | (r=118 & c=37) | (r=118 & c=40) | (r=118 & c=41) | (r=118 & c=42) | (r=118 & c=43) | (r=118 & c=44) | (r=119 & c=32) | (r=119 & c=33) | (r=119 & c=36) | (r=119 & c=38) | (r=119 & c=39) | (r=119 & c=42) | (r=119 & c=44) | (r=119 & c=45) | (r=120 & c=31) | (r=120 & c=32) | (r=120 & c=33) | (r=120 & c=35) | (r=120 & c=36) | (r=120 & c=37) | (r=120 & c=39) | (r=120 & c=40) | (r=120 & c=41) | (r=120 & c=43) | (r=120 & c=44) | (r=121 & c=17) | (r=121 & c=18) | (r=121 & c=20) | (r=121 & c=21) | (r=121 & c=22) | (r=121 & c=23) | (r=121 & c=24) | (r=121 & c=25) | (r=121 & c=26) | (r=121 & c=27) | (r=121 & c=28) | (r=121 & c=29) | (r=122 & c=16) | (r=122 & c=17) | (r=122 & c=18) | (r=122 & c=19) | (r=122 & c=20) | (r=122 & c=21) | (r=122 & c=23) | (r=122 & c=24) | (r=122 & c=25) | (r=122 & c=26) | (r=122 & c=27) | (r=122 & c=28) | (r=122 & c=30) | (r=123 & c=16) | (r=123 & c=17) | (r=123 & c=18) | (r=123 & c=19) | (r=123 & c=21) | (r=123 & c=22) | (r=123 & c=23) | (r=123 & c=25) | (r=123 & c=26) | (r=123 & c=27) | (r=123 & c=28) | (r=123 & c=29) | (r=123 & c=30) | (r=124 & c=16) | (r=124 & c=17) | (r=124 & c=18) | (r=124 & c=19) | (r=124 & c=20) | (r=124 & c=21) | (r=124 & c=22) | (r=124 & c=23) | (r=124 & c=24) | (r=124 & c=25) | (r=124 & c=26) | (r=124 & c=27) | (r=124 & c=29) | (r=125 & c=16) | (r=125 & c=18) | (r=125 & c=21) | (r=125 & c=23) | (r=125 & c=25) | (r=125 & c=26) | (r=125 & c=27) | (r=125 & c=28) | (r=125 & c=29) | (r=125 & c=30) | (r=126 & c=16) | (r=126 & c=17) | (r=126 & c=20) | (r=126 & c=21) | (r=126 & c=22) | (r=126 & c=23) | (r=126 & c=24) | (r=126 & c=27) | (r=126 & c=28) | (r=126 & c=29) | (r=126 & c=30) | (r=127 & c=16) | (r=127 & c=17) | (r=127 & c=18) | (r=127 & c=20) | (r=127 & c=21) | (r=127 & c=22) | (r=127 & c=23) | (r=127 & c=24) | (r=127 & c=25) | (r=127 & c=26) | (r=127 & c=27) | (r=127 & c=28) | (r=127 & c=29) | (r=128 & c=16) | (r=128 & c=17) | (r=128 & c=18) | (r=128 & c=19) | (r=128 & c=20) | (r=128 & c=21) | (r=128 & c=22) | (r=128 & c=23) | (r=128 & c=24) | (r=128 & c=25) | (r=128 & c=26) | (r=128 & c=28) | (r=128 & c=29) | (r=128 & c=30) | (r=129 & c=17) | (r=129 & c=18) | (r=129 & c=19) | (r=129 & c=20) | (r=129 & c=21) | (r=129 & c=22) | (r=129 & c=23) | (r=129 & c=25) | (r=129 & c=26) | (r=129 & c=27) | (r=129 & c=28) | (r=129 & c=30) | (r=130 & c=16) | (r=130 & c=17) | (r=130 & c=18) | (r=130 & c=19) | (r=130 & c=21) | (r=130 & c=22) | (r=130 & c=24) | (r=130 & c=25) | (r=130 & c=26) | (r=130 & c=27) | (r=130 & c=29) | (r=131 & c=16) | (r=131 & c=18) | (r=131 & c=19) | (r=131 & c=20) | (r=131 & c=21) | (r=131 & c=22) | (r=131 & c=23) | (r=131 & c=25) | (r=131 & c=26) | (r=131 & c=27) | (r=131 & c=28) | (r=131 & c=30) | (r=132 & c=16) | (r=132 & c=17) | (r=132 & c=20) | (r=132 & c=21) | (r=132 & c=22) | (r=132 & c=23) | (r=132 & c=24) | (r=132 & c=25) | (r=132 & c=26) | (r=132 & c=27) | (r=132 & c=28) | (r=132 & c=30) | (r=133 & c=16) | (r=133 & c=17) | (r=133 & c=18) | (r=133 & c=19) | (r=133 & c=21) | (r=133 & c=22) | (r=133 & c=23) | (r=133 & c=24) | (r=133 & c=26) | (r=133 & c=27) | (r=133 & c=28) | (r=133 & c=29) | (r=133 & c=30) | (r=134 & c=17) | (r=134 & c=18) | (r=134 & c=20) | (r=134 & c=21) | (r=134 & c=22) | (r=134 & c=24) | (r=134 & c=25) | (r=134 & c=26) | (r=134 & c=27) | (r=134 & c=29) | (r=135 & c=16) | (r=135 & c=18) | (r=135 & c=19) | (r=135 & c=21) | (r=135 & c=22) | (r=135 & c=23) | (r=135 & c=24) | (r=135 & c=25) | (r=135 & c=27) | (r=135 & c=28) | (r=135 & c=29) | (r=135 & c=30) | (r=121 & c=2) | (r=121 & c=3) | (r=121 & c=6) | (r=121 & c=7) | (r=121 & c=8) | (r=121 & c=9) | (r=121 & c=11) | (r=121 & c=13) | (r=121 & c=14) | (r=121 & c=15) | (r=122 & c=3) | (r=122 & c=4) | (r=122 & c=5) | (r=122 & c=6) | (r=122 & c=7) | (r=122 & c=8) | (r=122 & c=9) | (r=122 & c=10) | (r=122 & c=11) | (r=122 & c=14) | (r=123 & c=1) | (r=123 & c=2) | (r=123 & c=3) | (r=123 & c=4) | (r=123 & c=7) | (r=123 & c=8) | (r=123 & c=9) | (r=123 & c=10) | (r=123 & c=11) | (r=123 & c=12) | (r=123 & c=13) | (r=123 & c=14) | (r=123 & c=15) | (r=124 & c=1) | (r=124 & c=3) | (r=124 & c=6) | (r=124 & c=9) | (r=124 & c=10) | (r=124 & c=11) | (r=124 & c=13) | (r=124 & c=14) | (r=124 & c=15) | (r=125 & c=1) | (r=125 & c=2) | (r=125 & c=4) | (r=125 & c=5) | (r=125 & c=6) | (r=125 & c=7) | (r=125 & c=8) | (r=125 & c=9) | (r=125 & c=10) | (r=125 & c=11) | (r=125 & c=12) | (r=125 & c=13) | (r=125 & c=14) | (r=125 & c=15) | (r=126 & c=1) | (r=126 & c=2) | (r=126 & c=3) | (r=126 & c=5) | (r=126 & c=6) | (r=126 & c=8) | (r=126 & c=10) | (r=126 & c=12) | (r=126 & c=13) | (r=126 & c=14) | (r=126 & c=15) | (r=127 & c=1) | (r=127 & c=2) | (r=127 & c=4) | (r=127 & c=5) | (r=127 & c=6) | (r=127 & c=7) | (r=127 & c=8) | (r=127 & c=10) | (r=127 & c=11) | (r=127 & c=12) | (r=127 & c=13) | (r=127 & c=14) | (r=127 & c=15) | (r=128 & c=2) | (r=128 & c=3) | (r=128 & c=5) | (r=128 & c=6) | (r=128 & c=7) | (r=128 & c=8) | (r=128 & c=10) | (r=128 & c=11) | (r=128 & c=13) | (r=128 & c=14) | (r=128 & c=15) | (r=129 & c=1) | (r=129 & c=2) | (r=129 & c=3) | (r=129 & c=4) | (r=129 & c=5) | (r=129 & c=6) | (r=129 & c=8) | (r=129 & c=10) | (r=129 & c=11) | (r=130 & c=1) | (r=130 & c=2) | (r=130 & c=3) | (r=130 & c=5) | (r=130 & c=7) | (r=130 & c=8) | (r=130 & c=10) | (r=130 & c=11) | (r=130 & c=12) | (r=130 & c=13) | (r=130 & c=15) | (r=131 & c=1) | (r=131 & c=2) | (r=131 & c=3) | (r=131 & c=4) | (r=131 & c=5) | (r=131 & c=7) | (r=131 & c=9) | (r=131 & c=10) | (r=131 & c=11) | (r=131 & c=12) | (r=131 & c=13) | (r=132 & c=1) | (r=132 & c=2) | (r=132 & c=4) | (r=132 & c=5) | (r=132 & c=6) | (r=132 & c=7) | (r=132 & c=8) | (r=132 & c=9) | (r=132 & c=10) | (r=132 & c=11) | (r=132 & c=12) | (r=132 & c=13) | (r=132 & c=14) | (r=132 & c=15) | (r=133 & c=1) | (r=133 & c=2) | (r=133 & c=3) | (r=133 & c=4) | (r=133 & c=6) | (r=133 & c=7) | (r=133 & c=8) | (r=133 & c=9) | (r=133 & c=10) | (r=133 & c=11) | (r=133 & c=12) | (r=133 & c=13) | (r=133 & c=14) | (r=134 & c=1) | (r=134 & c=2) | (r=134 & c=3) | (r=134 & c=4) | (r=134 & c=6) | (r=134 & c=7) | (r=134 & c=8) | (r=134 & c=11) | (r=134 & c=12) | (r=134 & c=13) | (r=134 & c=14) | (r=134 & c=15) | (r=135 & c=1) | (r=135 & c=2) | (r=135 & c=3) | (r=135 & c=4) | (r=135 & c=5) | (r=135 & c=7) | (r=135 & c=8) | (r=135 & c=9) | (r=135 & c=10) | (r=135 & c=12) | (r=135 & c=13) | (r=135 & c=14) | (r=135 & c=15) | (r=46 & c=46) | (r=46 & c=47) | (r=46 & c=48) | (r=46 & c=50) | (r=46 & c=51) | (r=46 & c=52) | (r=46 & c=53) | (r=46 & c=54) | (r=46 & c=56) | (r=46 & c=57) | (r=46 & c=60) | (r=47 & c=46) | (r=47 & c=47) | (r=47 & c=49) | (r=47 & c=50) | (r=47 & c=52) | (r=47 & c=53) | (r=47 & c=54) | (r=47 & c=55) | (r=47 & c=57) | (r=47 & c=60) | (r=48 & c=46) | (r=48 & c=47) | (r=48 & c=49) | (r=48 & c=50) | (r=48 & c=52) | (r=48 & c=53) | (r=48 & c=54) | (r=48 & c=55) | (r=48 & c=56) | (r=48 & c=57) | (r=48 & c=58) | (r=48 & c=59) | (r=48 & c=60) | (r=49 & c=46) | (r=49 & c=48) | (r=49 & c=50) | (r=49 & c=51) | (r=49 & c=52) | (r=49 & c=53) | (r=49 & c=55) | (r=49 & c=56) | (r=49 & c=57) | (r=49 & c=60) | (r=50 & c=46) | (r=50 & c=48) | (r=50 & c=49) | (r=50 & c=50) | (r=50 & c=54) | (r=50 & c=56) | (r=50 & c=57) | (r=50 & c=58) | (r=50 & c=60) | (r=51 & c=46) | (r=51 & c=48) | (r=51 & c=51) | (r=51 & c=52) | (r=51 & c=53) | (r=51 & c=54) | (r=51 & c=55) | (r=51 & c=56) | (r=51 & c=59) | (r=52 & c=46) | (r=52 & c=47) | (r=52 & c=48) | (r=52 & c=49) | (r=52 & c=50) | (r=52 & c=51) | (r=52 & c=52) | (r=52 & c=53) | (r=52 & c=54) | (r=52 & c=55) | (r=52 & c=56) | (r=52 & c=57) | (r=52 & c=58) | (r=52 & c=59) | (r=52 & c=60) | (r=53 & c=47) | (r=53 & c=48) | (r=53 & c=49) | (r=53 & c=50) | (r=53 & c=51) | (r=53 & c=52) | (r=53 & c=54) | (r=53 & c=55) | (r=53 & c=56) | (r=53 & c=57) | (r=53 & c=58) | (r=53 & c=59) | (r=53 & c=60) | (r=54 & c=46) | (r=54 & c=47) | (r=54 & c=48) | (r=54 & c=49) | (r=54 & c=50) | (r=54 & c=52) | (r=54 & c=53) | (r=54 & c=56) | (r=54 & c=57) | (r=54 & c=58) | (r=54 & c=59) | (r=54 & c=60) | (r=55 & c=46) | (r=55 & c=48) | (r=55 & c=49) | (r=55 & c=50) | (r=55 & c=52) | (r=55 & c=53) | (r=55 & c=54) | (r=55 & c=55) | (r=55 & c=56) | (r=55 & c=57) | (r=55 & c=58) | (r=55 & c=59) | (r=56 & c=48) | (r=56 & c=49) | (r=56 & c=51) | (r=56 & c=52) | (r=56 & c=55) | (r=56 & c=56) | (r=56 & c=57) | (r=56 & c=58) | (r=56 & c=59) | (r=57 & c=46) | (r=57 & c=47) | (r=57 & c=48) | (r=57 & c=49) | (r=57 & c=50) | (r=57 & c=52) | (r=57 & c=54) | (r=57 & c=55) | (r=57 & c=58) | (r=57 & c=59) | (r=57 & c=60) | (r=58 & c=47) | (r=58 & c=50) | (r=58 & c=52) | (r=58 & c=53) | (r=58 & c=54) | (r=58 & c=55) | (r=58 & c=56) | (r=58 & c=57) | (r=58 & c=58) | (r=58 & c=60) | (r=59 & c=46) | (r=59 & c=47) | (r=59 & c=48) | (r=59 & c=52) | (r=59 & c=53) | (r=59 & c=54) | (r=59 & c=56) | (r=59 & c=60) | (r=60 & c=46) | (r=60 & c=48) | (r=60 & c=49) | (r=60 & c=50) | (r=60 & c=51) | (r=60 & c=52) | (r=60 & c=53) | (r=60 & c=54) | (r=60 & c=55) | (r=60 & c=56) | (r=60 & c=57) | (r=60 & c=60) | (r=91 & c=76) | (r=91 & c=77) | (r=91 & c=81) | (r=91 & c=83) | (r=91 & c=84) | (r=91 & c=85) | (r=91 & c=86) | (r=91 & c=88) | (r=91 & c=89) | (r=91 & c=90) | (r=92 & c=76) | (r=92 & c=77) | (r=92 & c=78) | (r=92 & c=79) | (r=92 & c=80) | (r=92 & c=81) | (r=92 & c=83) | (r=92 & c=84) | (r=92 & c=85) | (r=92 & c=86) | (r=92 & c=87) | (r=92 & c=88) | (r=92 & c=89) | (r=92 & c=90) | (r=93 & c=76) | (r=93 & c=78) | (r=93 & c=79) | (r=93 & c=80) | (r=93 & c=82) | (r=93 & c=83) | (r=93 & c=86) | (r=93 & c=87) | (r=93 & c=88) | (r=93 & c=89) | (r=94 & c=76) | (r=94 & c=79) | (r=94 & c=81) | (r=94 & c=83) | (r=94 & c=84) | (r=94 & c=85) | (r=94 & c=86) | (r=94 & c=87) | (r=94 & c=89) | (r=94 & c=90) | (r=95 & c=76) | (r=95 & c=77) | (r=95 & c=79) | (r=95 & c=80) | (r=95 & c=82) | (r=95 & c=83) | (r=95 & c=84) | (r=95 & c=85) | (r=95 & c=86) | (r=95 & c=87) | (r=95 & c=88) | (r=95 & c=89) | (r=95 & c=90) | (r=96 & c=78) | (r=96 & c=81) | (r=96 & c=82) | (r=96 & c=83) | (r=96 & c=85) | (r=96 & c=86) | (r=97 & c=77) | (r=97 & c=78) | (r=97 & c=79) | (r=97 & c=80) | (r=97 & c=81) | (r=97 & c=82) | (r=97 & c=83) | (r=97 & c=84) | (r=97 & c=86) | (r=97 & c=87) | (r=97 & c=88) | (r=97 & c=89) | (r=97 & c=90) | (r=98 & c=76) | (r=98 & c=78) | (r=98 & c=79) | (r=98 & c=80) | (r=98 & c=81) | (r=98 & c=82) | (r=98 & c=83) | (r=98 & c=84) | (r=98 & c=85) | (r=98 & c=86) | (r=98 & c=87) | (r=98 & c=88) | (r=98 & c=89) | (r=98 & c=90) | (r=99 & c=76) | (r=99 & c=78) | (r=99 & c=79) | (r=99 & c=80) | (r=99 & c=81) | (r=99 & c=85) | (r=99 & c=86) | (r=99 & c=87) | (r=99 & c=89) | (r=99 & c=90) | (r=100 & c=77) | (r=100 & c=78) | (r=100 & c=79) | (r=100 & c=82) | (r=100 & c=83) | (r=100 & c=84) | (r=100 & c=86) | (r=100 & c=87) | (r=100 & c=88) | (r=100 & c=89) | (r=100 & c=90) | (r=101 & c=76) | (r=101 & c=77) | (r=101 & c=78) | (r=101 & c=79) | (r=101 & c=81) | (r=101 & c=82) | (r=101 & c=88) | (r=101 & c=89) | (r=101 & c=90) | (r=102 & c=78) | (r=102 & c=79) | (r=102 & c=80) | (r=102 & c=81) | (r=102 & c=82) | (r=102 & c=84) | (r=102 & c=85) | (r=102 & c=86) | (r=102 & c=87) | (r=102 & c=88) | (r=102 & c=89) | (r=102 & c=90) | (r=103 & c=76) | (r=103 & c=77) | (r=103 & c=78) | (r=103 & c=79) | (r=103 & c=80) | (r=103 & c=81) | (r=103 & c=82) | (r=103 & c=83) | (r=103 & c=84) | (r=103 & c=85) | (r=103 & c=86) | (r=103 & c=87) | (r=103 & c=89) | (r=103 & c=90) | (r=104 & c=76) | (r=104 & c=77) | (r=104 & c=78) | (r=104 & c=79) | (r=104 & c=82) | (r=104 & c=83) | (r=104 & c=84) | (r=104 & c=86) | (r=104 & c=89) | (r=104 & c=90) | (r=105 & c=76) | (r=105 & c=77) | (r=105 & c=81) | (r=105 & c=82) | (r=105 & c=84) | (r=105 & c=85) | (r=105 & c=86) | (r=105 & c=87) | (r=105 & c=88) | (r=105 & c=89) | (r=121 & c=61) | (r=121 & c=62) | (r=121 & c=65) | (r=121 & c=66) | (r=121 & c=70) | (r=121 & c=71) | (r=121 & c=72) | (r=121 & c=73) | (r=121 & c=74) | (r=121 & c=75) | (r=122 & c=62) | (r=122 & c=63) | (r=122 & c=64) | (r=122 & c=65) | (r=122 & c=66) | (r=122 & c=67) | (r=122 & c=68) | (r=122 & c=69) | (r=122 & c=70) | (r=122 & c=71) | (r=122 & c=72) | (r=122 & c=73) | (r=122 & c=74) | (r=122 & c=75) | (r=123 & c=61) | (r=123 & c=62) | (r=123 & c=63) | (r=123 & c=65) | (r=123 & c=67) | (r=123 & c=68) | (r=123 & c=69) | (r=123 & c=70) | (r=123 & c=71) | (r=123 & c=72) | (r=123 & c=73) | (r=123 & c=75) | (r=124 & c=61) | (r=124 & c=62) | (r=124 & c=64) | (r=124 & c=65) | (r=124 & c=66) | (r=124 & c=67) | (r=124 & c=68) | (r=124 & c=69) | (r=124 & c=70) | (r=124 & c=71) | (r=124 & c=72) | (r=124 & c=73) | (r=124 & c=74) | (r=124 & c=75) | (r=125 & c=61) | (r=125 & c=62) | (r=125 & c=63) | (r=125 & c=64) | (r=125 & c=65) | (r=125 & c=66) | (r=125 & c=67) | (r=125 & c=68) | (r=125 & c=69) | (r=125 & c=70) | (r=125 & c=71) | (r=125 & c=72) | (r=125 & c=73) | (r=125 & c=74) | (r=125 & c=75) | (r=126 & c=61) | (r=126 & c=64) | (r=126 & c=65) | (r=126 & c=66) | (r=126 & c=67) | (r=126 & c=69) | (r=126 & c=70) | (r=126 & c=71) | (r=126 & c=72) | (r=126 & c=73) | (r=126 & c=74) | (r=126 & c=75) | (r=127 & c=62) | (r=127 & c=63) | (r=127 & c=64) | (r=127 & c=66) | (r=127 & c=68) | (r=127 & c=70) | (r=127 & c=71) | (r=127 & c=72) | (r=127 & c=73) | (r=127 & c=74) | (r=127 & c=75) | (r=128 & c=61) | (r=128 & c=62) | (r=128 & c=63) | (r=128 & c=64) | (r=128 & c=65) | (r=128 & c=66) | (r=128 & c=67) | (r=128 & c=68) | (r=128 & c=69) | (r=128 & c=71) | (r=128 & c=73) | (r=129 & c=61) | (r=129 & c=62) | (r=129 & c=63) | (r=129 & c=64) | (r=129 & c=66) | (r=129 & c=67) | (r=129 & c=68) | (r=129 & c=69) | (r=129 & c=70) | (r=129 & c=71) | (r=129 & c=72) | (r=129 & c=74) | (r=129 & c=75) | (r=130 & c=61) | (r=130 & c=63) | (r=130 & c=64) | (r=130 & c=65) | (r=130 & c=66) | (r=130 & c=67) | (r=130 & c=68) | (r=130 & c=69) | (r=130 & c=71) | (r=130 & c=72) | (r=130 & c=75) | (r=131 & c=61) | (r=131 & c=62) | (r=131 & c=63) | (r=131 & c=64) | (r=131 & c=65) | (r=131 & c=66) | (r=131 & c=67) | (r=131 & c=68) | (r=131 & c=69) | (r=131 & c=70) | (r=131 & c=71) | (r=131 & c=72) | (r=131 & c=73) | (r=131 & c=74) | (r=131 & c=75) | (r=132 & c=61) | (r=132 & c=62) | (r=132 & c=63) | (r=132 & c=64) | (r=132 & c=66) | (r=132 & c=67) | (r=132 & c=68) | (r=132 & c=70) | (r=132 & c=71) | (r=132 & c=72) | (r=132 & c=73) | (r=132 & c=74) | (r=132 & c=75) | (r=133 & c=61) | (r=133 & c=62) | (r=133 & c=63) | (r=133 & c=64) | (r=133 & c=65) | (r=133 & c=66) | (r=133 & c=67) | (r=133 & c=68) | (r=133 & c=69) | (r=133 & c=72) | (r=133 & c=73) | (r=133 & c=74) | (r=134 & c=61) | (r=134 & c=63) | (r=134 & c=64) | (r=134 & c=65) | (r=134 & c=66) | (r=134 & c=67) | (r=134 & c=68) | (r=134 & c=70) | (r=134 & c=71) | (r=134 & c=72) | (r=134 & c=73) | (r=135 & c=61) | (r=135 & c=62) | (r=135 & c=63) | (r=135 & c=64) | (r=135 & c=66) | (r=135 & c=67) | (r=135 & c=68) | (r=135 & c=69) | (r=135 & c=70) | (r=135 & c=71) | (r=135 & c=72) | (r=135 & c=74) | (r=135 & c=75) | (r=31 & c=61) | (r=31 & c=62) | (r=31 & c=63) | (r=31 & c=64) | (r=31 & c=65) | (r=31 & c=66) | (r=31 & c=67) | (r=31 & c=68) | (r=31 & c=69) | (r=31 & c=70) | (r=31 & c=71) | (r=31 & c=73) | (r=31 & c=74) | (r=31 & c=75) | (r=32 & c=61) | (r=32 & c=62) | (r=32 & c=63) | (r=32 & c=64) | (r=32 & c=66) | (r=32 & c=67) | (r=32 & c=70) | (r=32 & c=73) | (r=32 & c=74) | (r=32 & c=75) | (r=33 & c=61) | (r=33 & c=62) | (r=33 & c=63) | (r=33 & c=64) | (r=33 & c=66) | (r=33 & c=67) | (r=33 & c=68) | (r=33 & c=70) | (r=33 & c=71) | (r=33 & c=72) | (r=33 & c=73) | (r=33 & c=74) | (r=34 & c=61) | (r=34 & c=63) | (r=34 & c=64) | (r=34 & c=65) | (r=34 & c=67) | (r=34 & c=68) | (r=34 & c=69) | (r=34 & c=70) | (r=34 & c=71) | (r=34 & c=72) | (r=34 & c=75) | (r=35 & c=61) | (r=35 & c=62) | (r=35 & c=63) | (r=35 & c=64) | (r=35 & c=65) | (r=35 & c=66) | (r=35 & c=67) | (r=35 & c=68) | (r=35 & c=69) | (r=35 & c=70) | (r=35 & c=71) | (r=35 & c=72) | (r=35 & c=73) | (r=35 & c=74) | (r=35 & c=75) | (r=36 & c=61) | (r=36 & c=63) | (r=36 & c=64) | (r=36 & c=66) | (r=36 & c=67) | (r=36 & c=68) | (r=36 & c=69) | (r=36 & c=70) | (r=36 & c=72) | (r=36 & c=74) | (r=36 & c=75) | (r=37 & c=61) | (r=37 & c=62) | (r=37 & c=63) | (r=37 & c=65) | (r=37 & c=67) | (r=37 & c=68) | (r=37 & c=69) | (r=37 & c=70) | (r=37 & c=71) | (r=37 & c=72) | (r=37 & c=73) | (r=37 & c=74) | (r=37 & c=75) | (r=38 & c=61) | (r=38 & c=62) | (r=38 & c=63) | (r=38 & c=64) | (r=38 & c=65) | (r=38 & c=66) | (r=38 & c=70) | (r=38 & c=71) | (r=38 & c=72) | (r=38 & c=73) | (r=39 & c=61) | (r=39 & c=62) | (r=39 & c=63) | (r=39 & c=64) | (r=39 & c=67) | (r=39 & c=68) | (r=39 & c=69) | (r=39 & c=70) | (r=39 & c=71) | (r=39 & c=73) | (r=40 & c=61) | (r=40 & c=63) | (r=40 & c=64) | (r=40 & c=66) | (r=40 & c=67) | (r=40 & c=71) | (r=40 & c=72) | (r=40 & c=73) | (r=40 & c=74) | (r=40 & c=75) | (r=41 & c=61) | (r=41 & c=63) | (r=41 & c=64) | (r=41 & c=65) | (r=41 & c=69) | (r=41 & c=70) | (r=41 & c=72) | (r=41 & c=73) | (r=41 & c=74) | (r=41 & c=75) | (r=42 & c=61) | (r=42 & c=62) | (r=42 & c=63) | (r=42 & c=64) | (r=42 & c=65) | (r=42 & c=66) | (r=42 & c=67) | (r=42 & c=68) | (r=42 & c=69) | (r=42 & c=70) | (r=42 & c=71) | (r=42 & c=72) | (r=42 & c=73) | (r=42 & c=75) | (r=43 & c=61) | (r=43 & c=62) | (r=43 & c=63) | (r=43 & c=64) | (r=43 & c=67) | (r=43 & c=68) | (r=43 & c=69) | (r=43 & c=70) | (r=43 & c=71) | (r=43 & c=72) | (r=43 & c=73) | (r=43 & c=74) | (r=43 & c=75) | (r=44 & c=61) | (r=44 & c=62) | (r=44 & c=63) | (r=44 & c=64) | (r=44 & c=65) | (r=44 & c=66) | (r=44 & c=67) | (r=44 & c=68) | (r=44 & c=70) | (r=44 & c=71) | (r=44 & c=72) | (r=44 & c=74) | (r=44 & c=75) | (r=45 & c=61) | (r=45 & c=63) | (r=45 & c=64) | (r=45 & c=65) | (r=45 & c=66) | (r=45 & c=68) | (r=45 & c=69) | (r=45 & c=70) | (r=45 & c=72) | (r=45 & c=73) | (r=45 & c=75) | (r=76 & c=46) | (r=76 & c=47) | (r=76 & c=48) | (r=76 & c=49) | (r=76 & c=51) | (r=76 & c=53) | (r=76 & c=55) | (r=76 & c=57) | (r=76 & c=59) | (r=76 & c=60) | (r=77 & c=47) | (r=77 & c=48) | (r=77 & c=49) | (r=77 & c=51) | (r=77 & c=55) | (r=77 & c=56) | (r=77 & c=57) | (r=77 & c=58) | (r=77 & c=60) | (r=78 & c=48) | (r=78 & c=49) | (r=78 & c=50) | (r=78 & c=51) | (r=78 & c=52) | (r=78 & c=54) | (r=78 & c=55) | (r=78 & c=56) | (r=78 & c=57) | (r=78 & c=58) | (r=78 & c=59) | (r=78 & c=60) | (r=79 & c=46) | (r=79 & c=47) | (r=79 & c=48) | (r=79 & c=49) | (r=79 & c=50) | (r=79 & c=51) | (r=79 & c=52) | (r=79 & c=53) | (r=79 & c=54) | (r=79 & c=55) | (r=79 & c=56) | (r=79 & c=57) | (r=79 & c=58) | (r=80 & c=46) | (r=80 & c=49) | (r=80 & c=51) | (r=80 & c=52) | (r=80 & c=54) | (r=80 & c=55) | (r=80 & c=56) | (r=80 & c=57) | (r=80 & c=58) | (r=80 & c=59) | (r=80 & c=60) | (r=81 & c=46) | (r=81 & c=47) | (r=81 & c=48) | (r=81 & c=49) | (r=81 & c=51) | (r=81 & c=52) | (r=81 & c=53) | (r=81 & c=54) | (r=81 & c=56) | (r=81 & c=58) | (r=81 & c=60) | (r=82 & c=46) | (r=82 & c=47) | (r=82 & c=49) | (r=82 & c=50) | (r=82 & c=51) | (r=82 & c=52) | (r=82 & c=53) | (r=82 & c=54) | (r=82 & c=55) | (r=82 & c=56) | (r=82 & c=57) | (r=82 & c=58) | (r=82 & c=59) | (r=82 & c=60) | (r=83 & c=47) | (r=83 & c=48) | (r=83 & c=49) | (r=83 & c=51) | (r=83 & c=53) | (r=83 & c=55) | (r=83 & c=59) | (r=84 & c=47) | (r=84 & c=50) | (r=84 & c=51) | (r=84 & c=52) | (r=84 & c=55) | (r=84 & c=56) | (r=84 & c=57) | (r=84 & c=58) | (r=84 & c=60) | (r=85 & c=46) | (r=85 & c=48) | (r=85 & c=49) | (r=85 & c=50) | (r=85 & c=51) | (r=85 & c=53) | (r=85 & c=55) | (r=85 & c=56) | (r=85 & c=57) | (r=85 & c=58) | (r=85 & c=59) | (r=85 & c=60) | (r=86 & c=46) | (r=86 & c=47) | (r=86 & c=52) | (r=86 & c=53) | (r=86 & c=55) | (r=86 & c=56) | (r=86 & c=57) | (r=86 & c=58) | (r=87 & c=46) | (r=87 & c=47) | (r=87 & c=49) | (r=87 & c=50) | (r=87 & c=51) | (r=87 & c=53) | (r=87 & c=54) | (r=87 & c=55) | (r=87 & c=59) | (r=87 & c=60) | (r=88 & c=46) | (r=88 & c=47) | (r=88 & c=48) | (r=88 & c=49) | (r=88 & c=50) | (r=88 & c=51) | (r=88 & c=52) | (r=88 & c=53) | (r=88 & c=54) | (r=88 & c=55) | (r=88 & c=56) | (r=88 & c=58) | (r=88 & c=59) | (r=88 & c=60) | (r=89 & c=47) | (r=89 & c=48) | (r=89 & c=49) | (r=89 & c=52) | (r=89 & c=53) | (r=89 & c=54) | (r=89 & c=57) | (r=89 & c=58) | (r=89 & c=59) | (r=89 & c=60) | (r=90 & c=46) | (r=90 & c=48) | (r=90 & c=49) | (r=90 & c=50) | (r=90 & c=52) | (r=90 & c=53) | (r=90 & c=55) | (r=90 & c=58) | (r=90 & c=59) | (r=91 & c=16) | (r=91 & c=17) | (r=91 & c=18) | (r=91 & c=19) | (r=91 & c=20) | (r=91 & c=22) | (r=91 & c=25) | (r=91 & c=26) | (r=91 & c=27) | (r=91 & c=28) | (r=91 & c=29) | (r=91 & c=30) | (r=92 & c=16) | (r=92 & c=17) | (r=92 & c=20) | (r=92 & c=21) | (r=92 & c=23) | (r=92 & c=24) | (r=92 & c=27) | (r=92 & c=28) | (r=92 & c=29) | (r=92 & c=30) | (r=93 & c=16) | (r=93 & c=17) | (r=93 & c=18) | (r=93 & c=19) | (r=93 & c=20) | (r=93 & c=24) | (r=93 & c=25) | (r=93 & c=26) | (r=93 & c=27) | (r=93 & c=28) | (r=93 & c=29) | (r=93 & c=30) | (r=94 & c=16) | (r=94 & c=18) | (r=94 & c=19) | (r=94 & c=20) | (r=94 & c=23) | (r=94 & c=24) | (r=94 & c=25) | (r=94 & c=27) | (r=94 & c=30) | (r=95 & c=16) | (r=95 & c=19) | (r=95 & c=20) | (r=95 & c=21) | (r=95 & c=22) | (r=95 & c=23) | (r=95 & c=25) | (r=95 & c=27) | (r=95 & c=28) | (r=95 & c=30) | (r=96 & c=16) | (r=96 & c=17) | (r=96 & c=20) | (r=96 & c=21) | (r=96 & c=22) | (r=96 & c=24) | (r=96 & c=25) | (r=96 & c=28) | (r=96 & c=30) | (r=97 & c=17) | (r=97 & c=18) | (r=97 & c=20) | (r=97 & c=22) | (r=97 & c=24) | (r=97 & c=25) | (r=97 & c=27) | (r=97 & c=28) | (r=97 & c=29) | (r=98 & c=16) | (r=98 & c=17) | (r=98 & c=18) | (r=98 & c=19) | (r=98 & c=20) | (r=98 & c=21) | (r=98 & c=22) | (r=98 & c=25) | (r=98 & c=27) | (r=98 & c=28) | (r=98 & c=29) | (r=98 & c=30) | (r=99 & c=16) | (r=99 & c=17) | (r=99 & c=18) | (r=99 & c=20) | (r=99 & c=21) | (r=99 & c=22) | (r=99 & c=25) | (r=99 & c=27) | (r=99 & c=28) | (r=99 & c=29) | (r=99 & c=30) | (r=100 & c=16) | (r=100 & c=17) | (r=100 & c=18) | (r=100 & c=21) | (r=100 & c=22) | (r=100 & c=23) | (r=100 & c=25) | (r=100 & c=26) | (r=100 & c=27) | (r=100 & c=28) | (r=100 & c=29) | (r=100 & c=30) | (r=101 & c=16) | (r=101 & c=17) | (r=101 & c=18) | (r=101 & c=19) | (r=101 & c=20) | (r=101 & c=22) | (r=101 & c=25) | (r=102 & c=16) | (r=102 & c=18) | (r=102 & c=20) | (r=102 & c=21) | (r=102 & c=22) | (r=102 & c=23) | (r=102 & c=24) | (r=102 & c=25) | (r=102 & c=26) | (r=102 & c=28) | (r=102 & c=29) | (r=102 & c=30) | (r=103 & c=16) | (r=103 & c=19) | (r=103 & c=20) | (r=103 & c=21) | (r=103 & c=22) | (r=103 & c=23) | (r=103 & c=26) | (r=103 & c=27) | (r=103 & c=28) | (r=103 & c=29) | (r=103 & c=30) | (r=104 & c=16) | (r=104 & c=18) | (r=104 & c=19) | (r=104 & c=20) | (r=104 & c=22) | (r=104 & c=24) | (r=104 & c=26) | (r=104 & c=27) | (r=104 & c=28) | (r=104 & c=29) | (r=105 & c=17) | (r=105 & c=18) | (r=105 & c=19) | (r=105 & c=20) | (r=105 & c=22) | (r=105 & c=23) | (r=105 & c=24) | (r=105 & c=25) | (r=105 & c=26) | (r=105 & c=27) | (r=105 & c=28) | (r=105 & c=29) | (r=61 & c=122) | (r=61 & c=123) | (r=61 & c=124) | (r=61 & c=125) | (r=61 & c=126) | (r=61 & c=127) | (r=61 & c=128) | (r=61 & c=129) | (r=61 & c=130) | (r=61 & c=131) | (r=61 & c=132) | (r=61 & c=133) | (r=61 & c=135) | (r=62 & c=123) | (r=62 & c=124) | (r=62 & c=125) | (r=62 & c=126) | (r=62 & c=127) | (r=62 & c=128) | (r=62 & c=130) | (r=62 & c=132) | (r=62 & c=134) | (r=63 & c=121) | (r=63 & c=122) | (r=63 & c=124) | (r=63 & c=126) | (r=63 & c=127) | (r=63 & c=128) | (r=63 & c=129) | (r=63 & c=130) | (r=63 & c=132) | (r=63 & c=133) | (r=63 & c=134) | (r=63 & c=135) | (r=64 & c=121) | (r=64 & c=122) | (r=64 & c=123) | (r=64 & c=124) | (r=64 & c=125) | (r=64 & c=126) | (r=64 & c=127) | (r=64 & c=128) | (r=64 & c=129) | (r=64 & c=130) | (r=64 & c=131) | (r=64 & c=132) | (r=64 & c=133) | (r=64 & c=135) | (r=65 & c=123) | (r=65 & c=125) | (r=65 & c=127) | (r=65 & c=128) | (r=65 & c=129) | (r=65 & c=130) | (r=65 & c=132) | (r=65 & c=133) | (r=65 & c=134) | (r=65 & c=135) | (r=66 & c=122) | (r=66 & c=123) | (r=66 & c=124) | (r=66 & c=125) | (r=66 & c=126) | (r=66 & c=127) | (r=66 & c=128) | (r=66 & c=130) | (r=66 & c=131) | (r=66 & c=132) | (r=66 & c=133) | (r=66 & c=135) | (r=67 & c=121) | (r=67 & c=122) | (r=67 & c=123) | (r=67 & c=124) | (r=67 & c=125) | (r=67 & c=126) | (r=67 & c=127) | (r=67 & c=128) | (r=67 & c=129) | (r=67 & c=131) | (r=67 & c=132) | (r=67 & c=133) | (r=67 & c=134) | (r=67 & c=135) | (r=68 & c=121) | (r=68 & c=122) | (r=68 & c=123) | (r=68 & c=125) | (r=68 & c=126) | (r=68 & c=127) | (r=68 & c=128) | (r=68 & c=129) | (r=68 & c=130) | (r=68 & c=131) | (r=68 & c=132) | (r=68 & c=133) | (r=68 & c=134) | (r=68 & c=135) | (r=69 & c=121) | (r=69 & c=122) | (r=69 & c=123) | (r=69 & c=124) | (r=69 & c=126) | (r=69 & c=127) | (r=69 & c=128) | (r=69 & c=129) | (r=69 & c=130) | (r=69 & c=131) | (r=69 & c=133) | (r=69 & c=134) | (r=69 & c=135) | (r=70 & c=122) | (r=70 & c=123) | (r=70 & c=126) | (r=70 & c=127) | (r=70 & c=128) | (r=70 & c=129) | (r=70 & c=131) | (r=70 & c=132) | (r=70 & c=133) | (r=70 & c=134) | (r=70 & c=135) | (r=71 & c=121) | (r=71 & c=124) | (r=71 & c=125) | (r=71 & c=126) | (r=71 & c=127) | (r=71 & c=128) | (r=71 & c=129) | (r=71 & c=130) | (r=71 & c=132) | (r=71 & c=133) | (r=71 & c=134) | (r=71 & c=135) | (r=72 & c=122) | (r=72 & c=126) | (r=72 & c=127) | (r=72 & c=129) | (r=72 & c=130) | (r=72 & c=131) | (r=72 & c=132) | (r=72 & c=133) | (r=73 & c=121) | (r=73 & c=122) | (r=73 & c=123) | (r=73 & c=124) | (r=73 & c=126) | (r=73 & c=127) | (r=73 & c=128) | (r=73 & c=129) | (r=73 & c=130) | (r=73 & c=131) | (r=73 & c=132) | (r=73 & c=134) | (r=74 & c=122) | (r=74 & c=124) | (r=74 & c=125) | (r=74 & c=126) | (r=74 & c=127) | (r=74 & c=128) | (r=74 & c=130) | (r=74 & c=131) | (r=74 & c=132) | (r=74 & c=133) | (r=74 & c=134) | (r=74 & c=135) | (r=75 & c=121) | (r=75 & c=123) | (r=75 & c=124) | (r=75 & c=125) | (r=75 & c=127) | (r=75 & c=129) | (r=75 & c=130) | (r=75 & c=131) | (r=75 & c=132) | (r=75 & c=135) | (r=106 & c=123) | (r=106 & c=124) | (r=106 & c=126) | (r=106 & c=127) | (r=106 & c=130) | (r=106 & c=133) | (r=106 & c=134) | (r=106 & c=135) | (r=107 & c=121) | (r=107 & c=122) | (r=107 & c=123) | (r=107 & c=124) | (r=107 & c=126) | (r=107 & c=127) | (r=107 & c=128) | (r=107 & c=129) | (r=107 & c=130) | (r=107 & c=131) | (r=107 & c=135) | (r=108 & c=121) | (r=108 & c=123) | (r=108 & c=124) | (r=108 & c=125) | (r=108 & c=126) | (r=108 & c=127) | (r=108 & c=128) | (r=108 & c=129) | (r=108 & c=130) | (r=108 & c=134) | (r=108 & c=135) | (r=109 & c=121) | (r=109 & c=122) | (r=109 & c=123) | (r=109 & c=124) | (r=109 & c=125) | (r=109 & c=126) | (r=109 & c=127) | (r=109 & c=128) | (r=109 & c=129) | (r=109 & c=131) | (r=109 & c=132) | (r=109 & c=133) | (r=109 & c=134) | (r=109 & c=135) | (r=110 & c=122) | (r=110 & c=123) | (r=110 & c=124) | (r=110 & c=128) | (r=110 & c=129) | (r=110 & c=130) | (r=110 & c=131) | (r=110 & c=133) | (r=110 & c=135) | (r=111 & c=121) | (r=111 & c=122) | (r=111 & c=127) | (r=111 & c=128) | (r=111 & c=129) | (r=111 & c=130) | (r=111 & c=131) | (r=111 & c=132) | (r=111 & c=134) | (r=111 & c=135) | (r=112 & c=121) | (r=112 & c=124) | (r=112 & c=125) | (r=112 & c=126) | (r=112 & c=127) | (r=112 & c=128) | (r=112 & c=129) | (r=112 & c=130) | (r=112 & c=131) | (r=112 & c=132) | (r=112 & c=133) | (r=112 & c=135) | (r=113 & c=121) | (r=113 & c=123) | (r=113 & c=124) | (r=113 & c=125) | (r=113 & c=126) | (r=113 & c=127) | (r=113 & c=128) | (r=113 & c=130) | (r=113 & c=131) | (r=113 & c=133) | (r=113 & c=134) | (r=113 & c=135) | (r=114 & c=121) | (r=114 & c=122) | (r=114 & c=124) | (r=114 & c=125) | (r=114 & c=126) | (r=114 & c=127) | (r=114 & c=128) | (r=114 & c=129) | (r=114 & c=130) | (r=114 & c=131) | (r=114 & c=132) | (r=114 & c=133) | (r=115 & c=121) | (r=115 & c=123) | (r=115 & c=125) | (r=115 & c=126) | (r=115 & c=129) | (r=115 & c=130) | (r=115 & c=131) | (r=115 & c=132) | (r=115 & c=133) | (r=115 & c=134) | (r=115 & c=135) | (r=116 & c=121) | (r=116 & c=122) | (r=116 & c=123) | (r=116 & c=124) | (r=116 & c=126) | (r=116 & c=128) | (r=116 & c=129) | (r=116 & c=130) | (r=116 & c=132) | (r=116 & c=134) | (r=117 & c=121) | (r=117 & c=124) | (r=117 & c=125) | (r=117 & c=127) | (r=117 & c=128) | (r=117 & c=129) | (r=117 & c=131) | (r=117 & c=132) | (r=117 & c=133) | (r=117 & c=134) | (r=117 & c=135) | (r=118 & c=122) | (r=118 & c=124) | (r=118 & c=125) | (r=118 & c=127) | (r=118 & c=130) | (r=118 & c=131) | (r=118 & c=132) | (r=118 & c=133) | (r=118 & c=134) | (r=118 & c=135) | (r=119 & c=122) | (r=119 & c=123) | (r=119 & c=124) | (r=119 & c=125) | (r=119 & c=126) | (r=119 & c=127) | (r=119 & c=128) | (r=119 & c=129) | (r=119 & c=130) | (r=119 & c=132) | (r=119 & c=133) | (r=119 & c=134) | (r=119 & c=135) | (r=120 & c=121) | (r=120 & c=122) | (r=120 & c=123) | (r=120 & c=124) | (r=120 & c=125) | (r=120 & c=126) | (r=120 & c=127) | (r=120 & c=128) | (r=120 & c=130) | (r=120 & c=131) | (r=120 & c=133) | (r=120 & c=135) | (r=51 & c=2) | (r=83 & c=12) | (r=17 & c=14) | (r=22 & c=2) | (r=34 & c=15) | (r=107 & c=4) | (r=33 & c=9) | (r=45 & c=8) | (r=68 & c=7) | (r=81 & c=3) | (r=103 & c=11) | (r=34 & c=5) | (r=136 & c=8) | (r=18 & c=9) | (r=121 & c=5) | (r=67 & c=12) | (r=74 & c=12) | (r=86 & c=2) | (r=72 & c=4) | (r=69 & c=4) | (r=113 & c=12) | (r=83 & c=11) | (r=43 & c=15) | (r=65 & c=15) | (r=35 & c=10) | (r=31 & c=12) | (r=69 & c=11) | (r=70 & c=2) | (r=27 & c=12) | (r=67 & c=11) | (r=67 & c=2) | (r=80 & c=11) | (r=20 & c=15) | (r=84 & c=9) | (r=56 & c=7) | (r=18 & c=4) | (r=61 & c=10) | (r=31 & c=11) | (r=36 & c=1) | (r=55 & c=14) | (r=56 & c=14) | (r=90 & c=5) | (r=20 & c=1) | (r=43 & c=2) | (r=82 & c=8) | (r=101 & c=15) | (r=18 & c=15) | (r=91 & c=1) | (r=22 & c=13) | (r=70 & c=3) | (r=28 & c=10) | (r=73 & c=13) | (r=84 & c=15) | (r=86 & c=12) | (r=79 & c=4) | (r=113 & c=9) | (r=112 & c=8) | (r=64 & c=14) | (r=45 & c=6) | (r=66 & c=2) | (r=27 & c=9) | (r=73 & c=12) | (r=105 & c=8) | (r=49 & c=13) | (r=126 & c=9) | (r=90 & c=6) | (r=33 & c=5) | (r=20 & c=11) | (r=19 & c=12) | (r=16 & c=10) | (r=31 & c=14) | (r=21 & c=2) | (r=59 & c=10) | (r=107 & c=9) | (r=41 & c=7) | (r=41 & c=1) | (r=76 & c=5) | (r=26 & c=5) | (r=118 & c=2) | (r=83 & c=10) | (r=25 & c=3) | (r=121 & c=4) | (r=20 & c=6) | (r=85 & c=2) | (r=67 & c=9) | (r=53 & c=2) | (r=18 & c=1) | (r=36 & c=6) | (r=22 & c=12) | (r=30 & c=15) | (r=78 & c=11) | (r=35 & c=4) | (r=25 & c=13) | (r=49 & c=1) | (r=37 & c=8) | (r=34 & c=14) | (r=17 & c=12) | (r=66 & c=6) | (r=34 & c=12) | (r=30 & c=11) | (r=72 & c=7) | (r=62 & c=12) | (r=115 & c=9) | (r=45 & c=2) | (r=78 & c=14) | (r=55 & c=9) | (r=43 & c=10) | (r=18 & c=7) | (r=27 & c=5) | (r=73 & c=6) | (r=38 & c=11) | (r=33 & c=12) | (r=82 & c=1) | (r=30 & c=14) | (r=37 & c=6) | (r=26 & c=9) | (r=85 & c=5) | (r=61 & c=5) | (r=51 & c=15) | (r=126 & c=4) | (r=131 & c=8) | (r=28 & c=15) | (r=18 & c=14) | (r=67 & c=1) | (r=78 & c=15) | (r=117 & c=10) | (r=44 & c=1) | (r=28 & c=7) | (r=29 & c=2) | (r=24 & c=1) | (r=69 & c=3) | (r=27 & c=14) | (r=43 & c=11) | (r=69 & c=8) | (r=75 & c=2) | (r=70 & c=11) | (r=42 & c=8) | (r=70 & c=12) | (r=80 & c=5) | (r=23 & c=6) | (r=134 & c=10) | (r=24 & c=5) | (r=118 & c=6) | (r=64 & c=13) | (r=67 & c=13) | (r=74 & c=4) | (r=65 & c=6) | (r=109 & c=13) | (r=133 & c=5) | (r=79 & c=11) | (r=39 & c=7) | (r=34 & c=7) | (r=59 & c=2) | (r=40 & c=4) | (r=17 & c=6) | (r=76 & c=10) | (r=82 & c=14) | (r=65 & c=13) | (r=74 & c=7) | (r=45 & c=10) | (r=80 & c=8) | (r=75 & c=14) | (r=38 & c=5) | (r=36 & c=15) | (r=33 & c=7) | (r=65 & c=3) | (r=44 & c=11) | (r=119 & c=11) | (r=90 & c=4) | (r=115 & c=2) | (r=32 & c=8) | (r=40 & c=1) | (r=47 & c=2) | (r=74 & c=15) | (r=75 & c=11) | (r=32 & c=2) | (r=65 & c=11) | (r=77 & c=4) | (r=37 & c=7) | (r=37 & c=4) | (r=89 & c=1) | (r=50 & c=15) | (r=89 & c=15) | (r=73 & c=9) | (r=136 & c=13) | (r=16 & c=9) | (r=86 & c=5) | (r=26 & c=7) | (r=67 & c=3) | (r=90 & c=2) | (r=53 & c=10) | (r=50 & c=4) | (r=63 & c=2) | (r=32 & c=13) | (r=51 & c=1) | (r=43 & c=14) | (r=74 & c=3) | (r=115 & c=15) | (r=54 & c=14) | (r=81 & c=4) | (r=33 & c=14) | (r=31 & c=7) | (r=62 & c=5) | (r=37 & c=10) | (r=18 & c=6) | (r=77 & c=12) | (r=82 & c=10) | (r=79 & c=13) | (r=71 & c=2) | (r=103 & c=7) | (r=69 & c=5) | (r=37 & c=15) | (r=120 & c=12) | (r=68 & c=8) | (r=26 & c=12) | (r=94 & c=8) | (r=85 & c=3) | (r=39 & c=14) | (r=100 & c=15) | (r=32 & c=9) | (r=80 & c=2) | (r=90 & c=8) | (r=16 & c=13) | (r=58 & c=4) | (r=86 & c=4) | (r=55 & c=1) | (r=55 & c=5) | (r=31 & c=13) | (r=40 & c=2) | (r=88 & c=2) | (r=36 & c=14) | (r=131 & c=15) | (r=29 & c=13) | (r=21 & c=6) | (r=88 & c=12) | (r=90 & c=10) | (r=37 & c=11) | (r=83 & c=4) | (r=75 & c=7) | (r=105 & c=3) | (r=41 & c=12) | (r=130 & c=14) | (r=66 & c=9) | (r=76 & c=8) | (r=80 & c=9) | (r=83 & c=15) | (r=124 & c=12) | (r=34 & c=6) | (r=83 & c=2) | (r=65 & c=9) | (r=16 & c=1) | (r=88 & c=3) | (r=70 & c=15) | (r=28 & c=8) | (r=26 & c=10) | (r=104 & c=1) | (r=114 & c=9) | (r=16 & c=11) | (r=38 & c=12) | (r=29 & c=1) | (r=107 & c=15) | (r=17 & c=8) | (r=69 & c=12) | (r=78 & c=3) | (r=73 & c=1) | (r=62 & c=8) | (r=126 & c=11) | (r=41 & c=5) | (r=116 & c=4) | (r=64 & c=6) | (r=132 & c=3) | (r=69 & c=14) | (r=42 & c=11) | (r=24 & c=8) | (r=46 & c=8) | (r=23 & c=7) | (r=136 & c=12) | (r=80 & c=4) | (r=80 & c=15) | (r=90 & c=12) | (r=34 & c=10) | (r=128 & c=1) | (r=16 & c=4) | (r=87 & c=15) | (r=24 & c=6) | (r=58 & c=10) | (r=42 & c=12) | (r=64 & c=12) | (r=33 & c=15) | (r=33 & c=3) | (r=16 & c=6) | (r=45 & c=1) | (r=88 & c=5) | (r=40 & c=13) | (r=78 & c=9) | (r=36 & c=12) | (r=70 & c=5) | (r=24 & c=13) | (r=67 & c=15) | (r=48 & c=5) | (r=76 & c=11) | (r=16 & c=12) | (r=66 & c=7) | (r=60 & c=28) | (r=51 & c=19) | (r=34 & c=17) | (r=24 & c=28) | (r=116 & c=18) | (r=55 & c=29) | (r=77 & c=2) | (r=115 & c=30) | (r=36 & c=21) | (r=72 & c=8) | (r=111 & c=5) | (r=73 & c=8) | (r=63 & c=5) | (r=58 & c=19) | (r=65 & c=1) | (r=17 & c=15) | (r=27 & c=3) | (r=117 & c=22) | (r=24 & c=19) | (r=23 & c=15) | (r=90 & c=15) | (r=74 & c=5) | (r=43 & c=21) | (r=25 & c=25) | (r=39 & c=9) | (r=115 & c=19) | (r=37 & c=1) | (r=61 & c=13) | (r=95 & c=5) | (r=56 & c=9) | (r=119 & c=22) | (r=23 & c=11) | (r=18 & c=8) | (r=16 & c=22) | (r=129 & c=7) | (r=93 & c=23) | (r=74 & c=9) | (r=106 & c=24) | (r=106 & c=27) | (r=106 & c=30) | (r=35 & c=6) | (r=75 & c=8) | (r=61 & c=11) | (r=84 & c=2) | (r=108 & c=27) | (r=78 & c=12) | (r=116 & c=12) | (r=20 & c=3) | (r=27 & c=7) | (r=104 & c=9) | (r=79 & c=10) | (r=19 & c=18) | (r=40 & c=23) | (r=43 & c=8) | (r=122 & c=15) | (r=76 & c=18) | (r=57 & c=29) | (r=107 & c=16) | (r=23 & c=5) | (r=33 & c=19) | (r=56 & c=28) | (r=24 & c=11) | (r=47 & c=18) | (r=87 & c=1) | (r=38 & c=15) | (r=70 & c=9) | (r=18 & c=30) | (r=18 & c=20) | (r=122 & c=29) | (r=123 & c=5) | (r=89 & c=12) | (r=38 & c=19) | (r=50 & c=18) | (r=113 & c=24) | (r=17 & c=19) | (r=79 & c=1) | (r=52 & c=16) | (r=91 & c=15) | (r=70 & c=21) | (r=40 & c=19) | (r=71 & c=10) | (r=31 & c=15) | (r=136 & c=20) | (r=25 & c=21) | (r=40 & c=17) | (r=107 & c=22) | (r=44 & c=19) | (r=44 & c=4) | (r=35 & c=26) | (r=48 & c=26) | (r=63 & c=8) | (r=35 & c=22) | (r=78 & c=24) | (r=116 & c=26) | (r=25 & c=26) | (r=59 & c=27) | (r=28 & c=26) | (r=48 & c=21) | (r=28 & c=20) | (r=17 & c=16) | (r=77 & c=6) | (r=130 & c=30) | (r=44 & c=28) | (r=92 & c=26) | (r=31 & c=25) | (r=20 & c=30) | (r=111 & c=24) | (r=74 & c=10) | (r=50 & c=27) | (r=76 & c=14) | (r=38 & c=24) | (r=16 & c=2) | (r=86 & c=13) | (r=52 & c=23) | (r=86 & c=21) | (r=69 & c=13) | (r=23 & c=1) | (r=60 & c=22) | (r=63 & c=1) | (r=23 & c=28) | (r=81 & c=13) | (r=60 & c=9) | (r=118 & c=26) | (r=42 & c=29) | (r=108 & c=28) | (r=68 & c=4) | (r=59 & c=24) | (r=58 & c=30) | (r=53 & c=1) | (r=73 & c=14) | (r=24 & c=3) | (r=53 & c=28) | (r=52 & c=30) | (r=106 & c=19) | (r=17 & c=21) | (r=30 & c=27) | (r=113 & c=30) | (r=85 & c=26) | (r=62 & c=28) | (r=37 & c=20) | (r=55 & c=4) | (r=49 & c=21) | (r=106 & c=17) | (r=89 & c=17) | (r=126 & c=19) | (r=79 & c=12) | (r=18 & c=18) | (r=65 & c=18) | (r=26 & c=18) | (r=59 & c=19) | (r=74 & c=23) | (r=129 & c=13) | (r=45 & c=29) | (r=65 & c=16) | (r=105 & c=4) | (r=68 & c=29) | (r=21 & c=21) | (r=99 & c=24) | (r=63 & c=6) | (r=36 & c=4) | (r=56 & c=18) | (r=80 & c=10) | (r=73 & c=5) | (r=63 & c=28) | (r=59 & c=25) | (r=56 & c=5) | (r=54 & c=16) | (r=46 & c=25) | (r=19 & c=17) | (r=109 & c=18) | (r=119 & c=24) | (r=45 & c=22) | (r=81 & c=21) | (r=129 & c=15) | (r=62 & c=3) | (r=38 & c=23) | (r=57 & c=23) | (r=26 & c=17) | (r=31 & c=30) | (r=104 & c=21) | (r=100 & c=20) | (r=83 & c=6) | (r=22 & c=6) | (r=23 & c=22) | (r=124 & c=5) | (r=31 & c=9) | (r=88 & c=11) | (r=96 & c=29) | (r=26 & c=16) | (r=35 & c=15) | (r=44 & c=30) | (r=109 & c=26) | (r=26 & c=19) | (r=48 & c=19) | (r=90 & c=3) | (r=30 & c=26) | (r=63 & c=26) | (r=51 & c=16) | (r=53 & c=30) | (r=87 & c=5) | (r=112 & c=27) | (r=33 & c=2) | (r=34 & c=18) | (r=64 & c=10) | (r=56 & c=26) | (r=116 & c=29) | (r=56 & c=30) | (r=32 & c=22) | (r=56 & c=16) | (r=47 & c=20) | (r=40 & c=9) | (r=120 & c=25) | (r=22 & c=22) | (r=41 & c=24) | (r=41 & c=8) | (r=129 & c=24) | (r=133 & c=20) | (r=114 & c=18) | (r=43 & c=24) | (r=24 & c=29) | (r=21 & c=29) | (r=77 & c=22) | (r=19 & c=1) | (r=19 & c=16) | (r=24 & c=12) | (r=49 & c=29) | (r=56 & c=19) | (r=46 & c=30) | (r=38 & c=22) | (r=39 & c=29) | (r=107 & c=25) | (r=114 & c=21) | (r=136 & c=3) | (r=68 & c=6) | (r=59 & c=20) | (r=25 & c=14) | (r=90 & c=13) | (r=45 & c=27) | (r=77 & c=13) | (r=20 & c=26) | (r=73 & c=11) | (r=24 & c=23) | (r=20 & c=16) | (r=27 & c=10) | (r=136 & c=9) | (r=31 & c=5) | (r=88 & c=21) | (r=80 & c=7) | (r=64 & c=5) | (r=24 & c=18) | (r=62 & c=25) | (r=21 & c=26) | (r=87 & c=13) | (r=55 & c=19) | (r=96 & c=19) | (r=126 & c=7) | (r=18 & c=25) | (r=20 & c=8) | (r=88 & c=1) | (r=109 & c=20) | (r=40 & c=26) | (r=38 & c=9) | (r=57 & c=25) | (r=103 & c=44) | (r=86 & c=30) | (r=101 & c=38) | (r=74 & c=43) | (r=109 & c=27) | (r=102 & c=38) | (r=64 & c=8) | (r=88 & c=31) | (r=25 & c=40) | (r=131 & c=33) | (r=48 & c=35) | (r=132 & c=31) | (r=119 & c=29) | (r=18 & c=41) | (r=85 & c=20) | (r=37 & c=16) | (r=20 & c=28) | (r=81 & c=32) | (r=37 & c=41) | (r=94 & c=12) | (r=69 & c=24) | (r=105 & c=42) | (r=40 & c=32) | (r=52 & c=28) | (r=77 & c=33) | (r=81 & c=44) | (r=33 & c=25) | (r=71 & c=4) | (r=135 & c=35) | (r=16 & c=30) | (r=25 & c=36) | (r=108 & c=32) | (r=92 & c=34) | (r=126 & c=38) | (r=63 & c=42) | (r=21 & c=20) | (r=40 & c=14) | (r=72 & c=24) | (r=58 & c=33) | (r=22 & c=35) | (r=22 & c=3) | (r=92 & c=25) | (r=119 & c=9) | (r=73 & c=43) | (r=77 & c=37) | (r=86 & c=42) | (r=57 & c=33) | (r=65 & c=34) | (r=36 & c=34) | (r=66 & c=16) | (r=16 & c=15) | (r=96 & c=40) | (r=21 & c=24) | (r=35 & c=19) | (r=127 & c=41) | (r=99 & c=19) | (r=58 & c=42) | (r=46 & c=45) | (r=93 & c=39) | (r=136 & c=18) | (r=115 & c=43) | (r=61 & c=35) | (r=77 & c=36) | (r=96 & c=42) | (r=109 & c=42) | (r=115 & c=21) | (r=41 & c=36) | (r=72 & c=12) | (r=125 & c=41) | (r=63 & c=10) | (r=121 & c=19) | (r=25 & c=6) | (r=133 & c=45) | (r=25 & c=38) | (r=47 & c=41) | (r=80 & c=43) | (r=27 & c=26) | (r=40 & c=45) | (r=78 & c=32) | (r=21 & c=28) | (r=87 & c=36) | (r=84 & c=40) | (r=122 & c=43) | (r=39 & c=43) | (r=59 & c=23) | (r=63 & c=34) | (r=64 & c=15) | (r=51 & c=33) | (r=52 & c=43) | (r=61 & c=14) | (r=80 & c=44) | (r=66 & c=28) | (r=75 & c=41) | (r=70 & c=7) | (r=135 & c=20) | (r=42 & c=14) | (r=88 & c=13) | (r=25 & c=17) | (r=82 & c=5) | (r=105 & c=35) | (r=60 & c=41) | (r=99 & c=26) | (r=112 & c=23) | (r=83 & c=32) | (r=127 & c=31) | (r=74 & c=38) | (r=117 & c=21) | (r=79 & c=32) | (r=70 & c=33) | (r=65 & c=14) | (r=36 & c=3) | (r=55 & c=39) | (r=136 & c=14) | (r=121 & c=36) | (r=37 & c=43) | (r=19 & c=34) | (r=84 & c=34) | (r=61 & c=45) | (r=42 & c=30) | (r=16 & c=24) | (r=95 & c=8) | (r=41 & c=28) | (r=105 & c=16) | (r=59 & c=35) | (r=107 & c=18) | (r=22 & c=31) | (r=68 & c=44) | (r=129 & c=41) | (r=51 & c=29) | (r=98 & c=24) | (r=122 & c=2) | (r=100 & c=32) | (r=91 & c=38) | (r=118 & c=33) | (r=26 & c=20) | (r=84 & c=12) | (r=94 & c=38) | (r=26 & c=34) | (r=45 & c=41) | (r=80 & c=37) | (r=111 & c=29) | (r=40 & c=42) | (r=57 & c=19) | (r=20 & c=23) | (r=104 & c=43) | (r=95 & c=34) | (r=34 & c=40) | (r=116 & c=16) | (r=56 & c=40) | (r=83 & c=25) | (r=23 & c=42) | (r=46 & c=43) | (r=19 & c=27) | (r=100 & c=40) | (r=91 & c=37) | (r=38 & c=7) | (r=65 & c=4) | (r=82 & c=33) | (r=84 & c=13) | (r=32 & c=45) | (r=117 & c=37) | (r=111 & c=18) | (r=122 & c=41) | (r=68 & c=12) | (r=99 & c=34) | (r=87 & c=31) | (r=42 & c=21) | (r=118 & c=22) | (r=84 & c=35) | (r=30 & c=1) | (r=52 & c=41) | (r=86 & c=17) | (r=30 & c=42) | (r=82 & c=43) | (r=83 & c=39) | (r=29 & c=31) | (r=120 & c=17) | (r=124 & c=42) | (r=114 & c=7) | (r=70 & c=6) | (r=65 & c=41) | (r=71 & c=5) | (r=25 & c=5) | (r=124 & c=7) | (r=81 & c=34) | (r=31 & c=38) | (r=93 & c=32) | (r=79 & c=43) | (r=128 & c=41) | (r=93 & c=37) | (r=18 & c=13) | (r=110 & c=21) | (r=60 & c=16) | (r=70 & c=38) | (r=19 & c=11) | (r=75 & c=31) | (r=123 & c=42) | (r=24 & c=44) | (r=23 & c=27) | (r=133 & c=36) | (r=17 & c=24) | (r=63 & c=15) | (r=42 & c=4) | (r=35 & c=30) | (r=81 & c=40) | (r=38 & c=35) | (r=16 & c=19) | (r=133 & c=34) | (r=91 & c=45) | (r=96 & c=37) | (r=81 & c=31) | (r=35 & c=32) | (r=120 & c=20) | (r=32 & c=27) | (r=43 & c=12) | (r=50 & c=42) | (r=98 & c=44) | (r=131 & c=52) | (r=22 & c=43) | (r=79 & c=9) | (r=102 & c=35) | (r=43 & c=40) | (r=21 & c=25) | (r=102 & c=31) | (r=120 & c=52) | (r=93 & c=31) | (r=55 & c=43) | (r=41 & c=15) | (r=120 & c=19) | (r=50 & c=16) | (r=27 & c=54) | (r=90 & c=41) | (r=55 & c=40) | (r=93 & c=49) | (r=124 & c=50) | (r=129 & c=57) | (r=67 & c=6) | (r=67 & c=14) | (r=110 & c=53) | (r=70 & c=8) | (r=56 & c=31) | (r=98 & c=1) | (r=26 & c=23) | (r=33 & c=55) | (r=27 & c=46) | (r=99 & c=54) | (r=41 & c=33) | (r=39 & c=42) | (r=44 & c=53) | (r=45 & c=34) | (r=114 & c=54) | (r=73 & c=19) | (r=115 & c=51) | (r=104 & c=30) | (r=43 & c=34) | (r=63 & c=47) | (r=28 & c=24) | (r=136 & c=42) | (r=28 & c=60) | (r=78 & c=31) | (r=71 & c=59) | (r=80 & c=36) | (r=45 & c=33) | (r=109 & c=54) | (r=81 & c=43) | (r=80 & c=16) | (r=110 & c=43) | (r=64 & c=52) | (r=111 & c=20) | (r=130 & c=43) | (r=95 & c=52) | (r=63 & c=27) | (r=79 & c=34) | (r=16 & c=14) | (r=105 & c=56) | (r=68 & c=36) | (r=37 & c=17) | (r=43 & c=36) | (r=91 & c=52) | (r=43 & c=30) | (r=74 & c=14) | (r=48 & c=33) | (r=35 & c=57) | (r=69 & c=39) | (r=57 & c=28) | (r=83 & c=42) | (r=74 & c=53) | (r=111 & c=56) | (r=76 & c=4) | (r=26 & c=59) | (r=44 & c=47) | (r=22 & c=38) | (r=123 & c=54) | (r=117 & c=29) | (r=112 & c=10) | (r=37 & c=36) | (r=130 & c=58) | (r=130 & c=34) | (r=98 & c=54) | (r=24 & c=9) | (r=29 & c=44) | (r=112 & c=55) | (r=59 & c=42) | (r=90 & c=11) | (r=36 & c=32) | (r=37 & c=18) | (r=110 & c=36) | (r=27 & c=4) | (r=40 & c=35) | (r=122 & c=35) | (r=43 & c=42) | (r=100 & c=57) | (r=38 & c=38) | (r=24 & c=53) | (r=41 & c=41) | (r=84 & c=45) | (r=112 & c=36) | (r=110 & c=28) | (r=67 & c=51) | (r=86 & c=49) | (r=90 & c=34) | (r=97 & c=38) | (r=17 & c=50) | (r=20 & c=34) | (r=29 & c=7) | (r=56 & c=43) | (r=122 & c=48) | (r=104 & c=25) | (r=57 & c=40) | (r=82 & c=44) | (r=111 & c=28) | (r=45 & c=39) | (r=132 & c=47) | (r=105 & c=15) | (r=134 & c=56) | (r=45 & c=36) | (r=68 & c=9) | (r=130 & c=20) | (r=78 & c=25) | (r=21 & c=10) | (r=72 & c=58) | (r=32 & c=51) | (r=109 & c=12) | (r=27 & c=44) | (r=134 & c=55) | (r=117 & c=54) | (r=85 & c=10) | (r=109 & c=19) | (r=69 & c=7) | (r=38 & c=29) | (r=75 & c=32) | (r=100 & c=58) | (r=16 & c=42) | (r=99 & c=23) | (r=23 & c=50) | (r=43 & c=60) | (r=20 & c=50) | (r=25 & c=43) | (r=116 & c=60) | (r=70 & c=32) | (r=135 & c=39) | (r=136 & c=23) | (r=122 & c=32) | (r=104 & c=57) | (r=42 & c=41) | (r=44 & c=12) | (r=121 & c=45) | (r=21 & c=56) | (r=95 & c=10) | (r=95 & c=24) | (r=36 & c=16) | (r=71 & c=15) | (r=97 & c=40) | (r=79 & c=22) | (r=124 & c=38) | (r=25 & c=47) | (r=54 & c=43) | (r=109 & c=47) | (r=127 & c=33) | (r=115 & c=56) | (r=102 & c=40) | (r=96 & c=52) | (r=36 & c=28) | (r=30 & c=24) | (r=37 & c=55) | (r=45 & c=23) | (r=80 & c=41) | (r=92 & c=4) | (r=91 & c=31) | (r=88 & c=43) | (r=136 & c=46) | (r=38 & c=54) | (r=123 & c=34) | (r=94 & c=31) | (r=127 & c=46) | (r=89 & c=6) | (r=128 & c=32) | (r=73 & c=28) | (r=101 & c=66) | (r=78 & c=8) | (r=62 & c=32) | (r=94 & c=42) | (r=51 & c=25) | (r=86 & c=36) | (r=23 & c=60) | (r=125 & c=17) | (r=16 & c=25) | (r=44 & c=44) | (r=114 & c=17) | (r=56 & c=10) | (r=39 & c=1) | (r=58 & c=34) | (r=96 & c=69) | (r=114 & c=59) | (r=112 & c=58) | (r=53 & c=17) | (r=113 & c=74) | (r=87 & c=69) | (r=62 & c=52) | (r=92 & c=48) | (r=71 & c=52) | (r=96 & c=61) | (r=119 & c=47) | (r=120 & c=16) | (r=104 & c=70) | (r=56 & c=2) | (r=20 & c=27) | (r=36 & c=55) | (r=131 & c=44) | (r=93 & c=61) | (r=71 & c=35) | (r=24 & c=7) | (r=85 & c=70) | (r=120 & c=64) | (r=80 & c=66) | (r=72 & c=55) | (r=97 & c=69) | (r=27 & c=36) | (r=27 & c=30) | (r=93 & c=66) | (r=63 & c=43) | (r=103 & c=42) | (r=93 & c=52) | (r=94 & c=66) | (r=104 & c=69) | (r=89 & c=71) | (r=102 & c=53) | (r=91 & c=39) | (r=75 & c=43) | (r=121 & c=49) | (r=19 & c=39) | (r=66 & c=48) | (r=42 & c=9) | (r=69 & c=61) | (r=25 & c=2) | (r=60 & c=67) | (r=27 & c=55) | (r=36 & c=27) | (r=32 & c=15) | (r=28 & c=67) | (r=79 & c=5) | (r=23 & c=74) | (r=30 & c=47) | (r=23 & c=34) | (r=103 & c=47) | (r=69 & c=9) | (r=106 & c=69) | (r=132 & c=33) | (r=20 & c=31) | (r=136 & c=17) | (r=18 & c=75) | (r=21 & c=60) | (r=39 & c=45) | (r=59 & c=28) | (r=94 & c=29) | (r=65 & c=7) | (r=31 & c=34) | (r=124 & c=40) | (r=112 & c=26) | (r=20 & c=49) | (r=130 & c=50) | (r=129 & c=36) | (r=112 & c=49) | (r=95 & c=46) | (r=72 & c=48) | (r=103 & c=54) | (r=43 & c=50) | (r=90 & c=43) | (r=42 & c=51) | (r=95 & c=71) | (r=111 & c=74) | (r=43 & c=7) | (r=101 & c=43) | (r=22 & c=44) | (r=112 & c=70) | (r=58 & c=69) | (r=41 & c=10) | (r=26 & c=58) | (r=100 & c=48) | (r=57 & c=41) | (r=29 & c=9) | (r=36 & c=11) | (r=50 & c=32) | (r=104 & c=35) | (r=86 & c=48) | (r=64 & c=59) | (r=101 & c=49) | (r=57 & c=74) | (r=97 & c=67) | (r=67 & c=48) | (r=47 & c=58) | (r=120 & c=56) | (r=49 & c=39) | (r=21 & c=74) | (r=47 & c=37) | (r=22 & c=17) | (r=32 & c=31) | (r=83 & c=31) | (r=27 & c=66) | (r=122 & c=57) | (r=31 & c=88) | (r=127 & c=52) | (r=68 & c=63) | (r=110 & c=22) | (r=78 & c=83) | (r=56 & c=88) | (r=46 & c=33) | (r=114 & c=43) | (r=129 & c=73) | (r=109 & c=67) | (r=46 & c=26) | (r=47 & c=67) | (r=28 & c=68) | (r=124 & c=60) | (r=44 & c=84) | (r=20 & c=12) | (r=31 & c=54) | (r=63 & c=32) | (r=60 & c=73) | (r=45 & c=84) | (r=68 & c=48) | (r=30 & c=35) | (r=79 & c=64) | (r=136 & c=6) | (r=115 & c=89) | (r=60 & c=94) | (r=44 & c=27) | (r=110 & c=40) | (r=66 & c=38) | (r=58 & c=76) | (r=121 & c=67) | (r=107 & c=98) | (r=59 & c=37) | (r=96 & c=58) | (r=62 & c=7) | (r=127 & c=40) | (r=74 & c=68) | (r=130 & c=28) | (r=59 & c=29) | (r=60 & c=37) | (r=46 & c=31) | (r=68 & c=91) | (r=76 & c=82) | (r=69 & c=93) | (r=30 & c=20) | (r=101 & c=85) | (r=19 & c=46) | (r=31 & c=39) | (r=76 & c=69) | (r=43 & c=48) | (r=79 & c=91) | (r=31 & c=53) | (r=110 & c=20) | (r=71 & c=34) | (r=56 & c=47) | (r=127 & c=107) | (r=65 & c=119) | (r=54 & c=70) | (r=19 & c=73) | (r=46 & c=95) | (r=95 & c=70) | (r=84 & c=49) | (r=17 & c=106) | (r=102 & c=104) | (r=83 & c=94) | (r=59 & c=94) | (r=107 & c=54) | (r=111 & c=73) | (r=96 & c=115) | (r=126 & c=40) | (r=46 & c=116) | (r=31 & c=114) | (r=136 & c=43) | (r=91 & c=115) | (r=114 & c=28) | (r=109 & c=119) | (r=71 & c=67) | (r=136 & c=53) | (r=23 & c=35) | (r=80 & c=61) | (r=121 & c=96) | (r=123 & c=82) | (r=111 & c=87) | (r=130 & c=92) | (r=81 & c=11) | (r=119 & c=51) | (r=76 & c=104) | (r=124 & c=84) | (r=39 & c=41) | (r=102 & c=118) | (r=100 & c=134) | (r=56 & c=89) | (r=118 & c=64) | (r=62 & c=49) | (r=55 & c=42) | (r=100 & c=70) | (r=53 & c=69) | (r=35 & c=43) | (r=38 & c=90) | (r=22 & c=67) | (r=32 & c=117) | (r=116 & c=99) | (r=16 & c=65) | (r=133 & c=93) | (r=111 & c=22) | (r=111 & c=145) | (r=65 & c=44) | (r=43 & c=105) | (r=20 & c=119) | (r=34 & c=54) | (r=102 & c=65) | (r=28 & c=115) | (r=44 & c=86) | (r=64 & c=76) | (r=86 & c=69) | (r=50 & c=26) | (r=110 & c=73) | (r=79 & c=125) | (r=24 & c=97) | (r=18 & c=57) | (r=51 & c=134) | (r=42 & c=5) | (r=40 & c=135) | (r=33 & c=143);

module robot
	//define robot position
	r:[1..N] init 1; //grid row
	c:[1..N] init 1; //grid column

	// transitions
	[east] (c<N | c=N) -> p/3:(r'=min(r+1, N))+ p/3: (c'=max(c-1, 1))+ p/3: (r'=max(r-1, 1)) + (1-p): (c'=min(c+1, N));
	[south] (r<N | r=N)-> (1-p):(r'=min(r+1, N)) + p/3: (c'=min(c+1, N)) + p/3:(r'=max(r-1, 1))+ p/3: (c'=max(c-1, 1));
	[west]  (c>1 | c=1)-> p/3:(r'=max(r-1, 1))+ p/3:(r'=min(r+1, N))+ p/3: (c'=min(c+1, N)) + (1-p): (c'=max(c-1, 1));
	[north] (r=1 | r>1)-> (1-p):(r'=max(r-1, 1)) + p/3: (c'=max(c-1, 1)) + p/3: (c'=min(c+1, N)) + p/3:(r'=min(r+1, N));

	// terminal state self-loop to avoid deadlock
	[] r=150 & c=1 -> true;
endmodule

label "goal" = r=150 & c=1;

label "obs" = (r=76 & c=19) | (r=76 & c=20) | (r=76 & c=21) | (r=76 & c=22) | (r=76 & c=23) | (r=76 & c=24) | (r=76 & c=27) | (r=76 & c=28) | (r=76 & c=29) | (r=76 & c=30) | (r=77 & c=16) | (r=77 & c=18) | (r=77 & c=19) | (r=77 & c=20) | (r=77 & c=21) | (r=77 & c=23) | (r=77 & c=25) | (r=77 & c=26) | (r=77 & c=28) | (r=77 & c=29) | (r=77 & c=30) | (r=78 & c=16) | (r=78 & c=17) | (r=78 & c=19) | (r=78 & c=20) | (r=78 & c=21) | (r=78 & c=22) | (r=78 & c=23) | (r=78 & c=26) | (r=78 & c=27) | (r=78 & c=28) | (r=78 & c=29) | (r=78 & c=30) | (r=79 & c=16) | (r=79 & c=20) | (r=79 & c=21) | (r=79 & c=24) | (r=79 & c=25) | (r=79 & c=26) | (r=79 & c=27) | (r=79 & c=28) | (r=79 & c=30) | (r=80 & c=17) | (r=80 & c=19) | (r=80 & c=20) | (r=80 & c=21) | (r=80 & c=25) | (r=80 & c=26) | (r=80 & c=28) | (r=80 & c=29) | (r=81 & c=16) | (r=81 & c=18) | (r=81 & c=19) | (r=81 & c=22) | (r=81 & c=23) | (r=81 & c=24) | (r=81 & c=25) | (r=81 & c=26) | (r=81 & c=27) | (r=81 & c=28) | (r=81 & c=29) | (r=82 & c=16) | (r=82 & c=17) | (r=82 & c=18) | (r=82 & c=19) | (r=82 & c=20) | (r=82 & c=21) | (r=82 & c=22) | (r=82 & c=23) | (r=82 & c=24) | (r=82 & c=25) | (r=82 & c=26) | (r=82 & c=27) | (r=82 & c=28) | (r=82 & c=29) | (r=83 & c=16) | (r=83 & c=17) | (r=83 & c=18) | (r=83 & c=19) | (r=83 & c=20) | (r=83 & c=21) | (r=83 & c=22) | (r=83 & c=23) | (r=83 & c=24) | (r=83 & c=26) | (r=83 & c=28) | (r=83 & c=29) | (r=83 & c=30) | (r=84 & c=16) | (r=84 & c=17) | (r=84 & c=18) | (r=84 & c=20) | (r=84 & c=21) | (r=84 & c=25) | (r=84 & c=26) | (r=84 & c=27) | (r=84 & c=29) | (r=84 & c=30) | (r=85 & c=17) | (r=85 & c=18) | (r=85 & c=23) | (r=85 & c=24) | (r=85 & c=25) | (r=85 & c=27) | (r=85 & c=28) | (r=85 & c=29) | (r=85 & c=30) | (r=86 & c=16) | (r=86 & c=18) | (r=86 & c=19) | (r=86 & c=20) | (r=86 & c=22) | (r=86 & c=23) | (r=86 & c=25) | (r=86 & c=26) | (r=86 & c=27) | (r=86 & c=28) | (r=87 & c=16) | (r=87 & c=17) | (r=87 & c=18) | (r=87 & c=19) | (r=87 & c=21) | (r=87 & c=23) | (r=87 & c=24) | (r=87 & c=25) | (r=87 & c=28) | (r=87 & c=29) | (r=87 & c=30) | (r=88 & c=17) | (r=88 & c=18) | (r=88 & c=19) | (r=88 & c=20) | (r=88 & c=22) | (r=88 & c=23) | (r=88 & c=25) | (r=88 & c=26) | (r=88 & c=28) | (r=88 & c=29) | (r=88 & c=30) | (r=89 & c=16) | (r=89 & c=18) | (r=89 & c=19) | (r=89 & c=20) | (r=89 & c=21) | (r=89 & c=22) | (r=89 & c=24) | (r=89 & c=25) | (r=89 & c=26) | (r=89 & c=28) | (r=89 & c=29) | (r=89 & c=30) | (r=90 & c=17) | (r=90 & c=18) | (r=90 & c=19) | (r=90 & c=21) | (r=90 & c=22) | (r=90 & c=24) | (r=90 & c=25) | (r=90 & c=26) | (r=90 & c=27) | (r=90 & c=28) | (r=90 & c=29) | (r=90 & c=30) | (r=106 & c=2) | (r=106 & c=3) | (r=106 & c=4) | (r=106 & c=5) | (r=106 & c=6) | (r=106 & c=7) | (r=106 & c=8) | (r=106 & c=9) | (r=106 & c=10) | (r=106 & c=11) | (r=106 & c=13) | (r=106 & c=14) | (r=106 & c=15) | (r=107 & c=1) | (r=107 & c=2) | (r=107 & c=5) | (r=107 & c=8) | (r=107 & c=10) | (r=107 & c=11) | (r=107 & c=12) | (r=107 & c=13) | (r=107 & c=14) | (r=108 & c=1) | (r=108 & c=3) | (r=108 & c=4) | (r=108 & c=5) | (r=108 & c=7) | (r=108 & c=8) | (r=108 & c=9) | (r=108 & c=10) | (r=108 & c=11) | (r=108 & c=12) | (r=108 & c=13) | (r=108 & c=15) | (r=109 & c=1) | (r=109 & c=2) | (r=109 & c=4) | (r=109 & c=5) | (r=109 & c=6) | (r=109 & c=7) | (r=109 & c=8) | (r=109 & c=10) | (r=109 & c=11) | (r=109 & c=14) | (r=109 & c=15) | (r=110 & c=2) | (r=110 & c=3) | (r=110 & c=4) | (r=110 & c=5) | (r=110 & c=6) | (r=110 & c=7) | (r=110 & c=8) | (r=110 & c=9) | (r=110 & c=10) | (r=110 & c=11) | (r=110 & c=12) | (r=110 & c=13) | (r=110 & c=14) | (r=111 & c=1) | (r=111 & c=2) | (r=111 & c=3) | (r=111 & c=4) | (r=111 & c=6) | (r=111 & c=7) | (r=111 & c=8) | (r=111 & c=9) | (r=111 & c=10) | (r=111 & c=11) | (r=111 & c=13) | (r=111 & c=14) | (r=111 & c=15) | (r=112 & c=1) | (r=112 & c=2) | (r=112 & c=3) | (r=112 & c=4) | (r=112 & c=5) | (r=112 & c=6) | (r=112 & c=7) | (r=112 & c=9) | (r=112 & c=11) | (r=112 & c=12) | (r=112 & c=13) | (r=112 & c=14) | (r=112 & c=15) | (r=113 & c=1) | (r=113 & c=2) | (r=113 & c=3) | (r=113 & c=4) | (r=113 & c=5) | (r=113 & c=6) | (r=113 & c=7) | (r=113 & c=8) | (r=113 & c=10) | (r=113 & c=11) | (r=113 & c=13) | (r=113 & c=14) | (r=113 & c=15) | (r=114 & c=1) | (r=114 & c=2) | (r=114 & c=3) | (r=114 & c=6) | (r=114 & c=8) | (r=114 & c=10) | (r=114 & c=11) | (r=114 & c=12) | (r=114 & c=13) | (r=114 & c=15) | (r=115 & c=1) | (r=115 & c=3) | (r=115 & c=4) | (r=115 & c=6) | (r=115 & c=7) | (r=115 & c=8) | (r=115 & c=10) | (r=115 & c=11) | (r=115 & c=13) | (r=115 & c=14) | (r=116 & c=2) | (r=116 & c=3) | (r=116 & c=5) | (r=116 & c=6) | (r=116 & c=7) | (r=116 & c=8) | (r=116 & c=9) | (r=116 & c=10) | (r=116 & c=11) | (r=116 & c=13) | (r=116 & c=14) | (r=117 & c=1) | (r=117 & c=2) | (r=117 & c=3) | (r=117 & c=4) | (r=117 & c=6) | (r=117 & c=7) | (r=117 & c=8) | (r=117 & c=9) | (r=117 & c=12) | (r=117 & c=13) | (r=117 & c=14) | (r=118 & c=1) | (r=118 & c=3) | (r=118 & c=4) | (r=118 & c=5) | (r=118 & c=7) | (r=118 & c=10) | (r=118 & c=11) | (r=118 & c=12) | (r=118 & c=13) | (r=118 & c=14) | (r=119 & c=1) | (r=119 & c=2) | (r=119 & c=3) | (r=119 & c=5) | (r=119 & c=6) | (r=119 & c=7) | (r=119 & c=8) | (r=119 & c=10) | (r=119 & c=12) | (r=119 & c=13) | (r=119 & c=14) | (r=119 & c=15) | (r=120 & c=1) | (r=120 & c=2) | (r=120 & c=3) | (r=120 & c=4) | (r=120 & c=5) | (r=120 & c=6) | (r=120 & c=7) | (r=120 & c=9) | (r=120 & c=10) | (r=120 & c=11) | (r=120 & c=14) | (r=46 & c=2) | (r=46 & c=3) | (r=46 & c=5) | (r=46 & c=7) | (r=46 & c=9) | (r=46 & c=10) | (r=46 & c=11) | (r=46 & c=12) | (r=46 & c=14) | (r=46 & c=15) | (r=47 & c=1) | (r=47 & c=3) | (r=47 & c=4) | (r=47 & c=5) | (r=47 & c=6) | (r=47 & c=7) | (r=47 & c=8) | (r=47 & c=9) | (r=47 & c=10) | (r=47 & c=11) | (r=47 & c=12) | (r=47 & c=14) | (r=47 & c=15) | (r=48 & c=1) | (r=48 & c=3) | (r=48 & c=4) | (r=48 & c=6) | (r=48 & c=7) | (r=48 & c=8) | (r=48 & c=10) | (r=48 & c=11) | (r=48 & c=12) | (r=48 & c=14) | (r=48 & c=15) | (r=49 & c=2) | (r=49 & c=3) | (r=49 & c=5) | (r=49 & c=6) | (r=49 & c=7) | (r=49 & c=8) | (r=49 & c=9) | (r=49 & c=10) | (r=49 & c=11) | (r=49 & c=12) | (r=49 & c=14) | (r=49 & c=15) | (r=50 & c=1) | (r=50 & c=2) | (r=50 & c=3) | (r=50 & c=5) | (r=50 & c=6) | (r=50 & c=7) | (r=50 & c=8) | (r=50 & c=9) | (r=50 & c=10) | (r=50 & c=11) | (r=50 & c=13) | (r=51 & c=3) | (r=51 & c=4) | (r=51 & c=5) | (r=51 & c=6) | (r=51 & c=7) | (r=51 & c=8) | (r=51 & c=9) | (r=51 & c=10) | (r=51 & c=11) | (r=51 & c=12) | (r=51 & c=13) | (r=51 & c=14) | (r=52 & c=1) | (r=52 & c=3) | (r=52 & c=4) | (r=52 & c=5) | (r=52 & c=6) | (r=52 & c=7) | (r=52 & c=8) | (r=52 & c=9) | (r=52 & c=10) | (r=52 & c=11) | (r=52 & c=12) | (r=52 & c=13) | (r=52 & c=14) | (r=52 & c=15) | (r=53 & c=3) | (r=53 & c=4) | (r=53 & c=5) | (r=53 & c=7) | (r=53 & c=8) | (r=53 & c=9) | (r=53 & c=11) | (r=53 & c=12) | (r=53 & c=13) | (r=53 & c=14) | (r=53 & c=15) | (r=54 & c=1) | (r=54 & c=2) | (r=54 & c=3) | (r=54 & c=4) | (r=54 & c=7) | (r=54 & c=8) | (r=54 & c=9) | (r=54 & c=10) | (r=54 & c=11) | (r=54 & c=12) | (r=54 & c=13) | (r=54 & c=15) | (r=55 & c=2) | (r=55 & c=6) | (r=55 & c=7) | (r=55 & c=8) | (r=55 & c=10) | (r=55 & c=11) | (r=55 & c=13) | (r=55 & c=15) | (r=56 & c=1) | (r=56 & c=3) | (r=56 & c=6) | (r=56 & c=8) | (r=56 & c=12) | (r=56 & c=13) | (r=56 & c=15) | (r=57 & c=1) | (r=57 & c=2) | (r=57 & c=3) | (r=57 & c=4) | (r=57 & c=5) | (r=57 & c=6) | (r=57 & c=7) | (r=57 & c=8) | (r=57 & c=9) | (r=57 & c=10) | (r=57 & c=11) | (r=57 & c=12) | (r=57 & c=13) | (r=57 & c=14) | (r=57 & c=15) | (r=58 & c=1) | (r=58 & c=2) | (r=58 & c=3) | (r=58 & c=5) | (r=58 & c=6) | (r=58 & c=7) | (r=58 & c=8) | (r=58 & c=9) | (r=58 & c=12) | (r=58 & c=14) | (r=58 & c=15) | (r=59 & c=1) | (r=59 & c=3) | (r=59 & c=5) | (r=59 & c=6) | (r=59 & c=7) | (r=59 & c=8) | (r=59 & c=9) | (r=59 & c=12) | (r=59 & c=13) | (r=59 & c=14) | (r=60 & c=1) | (r=60 & c=2) | (r=60 & c=3) | (r=60 & c=4) | (r=60 & c=5) | (r=60 & c=6) | (r=60 & c=8) | (r=60 & c=10) | (r=60 & c=11) | (r=60 & c=12) | (r=60 & c=13) | (r=60 & c=14) | (r=60 & c=15) | (r=61 & c=16) | (r=61 & c=18) | (r=61 & c=19) | (r=61 & c=20) | (r=61 & c=21) | (r=61 & c=23) | (r=61 & c=24) | (r=61 & c=26) | (r=61 & c=28) | (r=61 & c=29) | (r=61 & c=30) | (r=62 & c=16) | (r=62 & c=18) | (r=62 & c=19) | (r=62 & c=20) | (r=62 & c=21) | (r=62 & c=23) | (r=62 & c=26) | (r=62 & c=27) | (r=62 & c=29) | (r=62 & c=30) | (r=63 & c=16) | (r=63 & c=17) | (r=63 & c=18) | (r=63 & c=20) | (r=63 & c=22) | (r=63 & c=25) | (r=63 & c=29) | (r=63 & c=30) | (r=64 & c=16) | (r=64 & c=17) | (r=64 & c=18) | (r=64 & c=19) | (r=64 & c=20) | (r=64 & c=21) | (r=64 & c=23) | (r=64 & c=24) | (r=64 & c=25) | (r=64 & c=26) | (r=64 & c=27) | (r=64 & c=28) | (r=64 & c=30) | (r=65 & c=17) | (r=65 & c=19) | (r=65 & c=20) | (r=65 & c=21) | (r=65 & c=22) | (r=65 & c=23) | (r=65 & c=24) | (r=65 & c=29) | (r=65 & c=30) | (r=66 & c=17) | (r=66 & c=19) | (r=66 & c=20) | (r=66 & c=21) | (r=66 & c=22) | (r=66 & c=23) | (r=66 & c=24) | (r=66 & c=26) | (r=66 & c=27) | (r=66 & c=29) | (r=66 & c=30) | (r=67 & c=16) | (r=67 & c=17) | (r=67 & c=18) | (r=67 & c=20) | (r=67 & c=21) | (r=67 & c=22) | (r=67 & c=23) | (r=67 & c=24) | (r=67 & c=25) | (r=67 & c=26) | (r=67 & c=27) | (r=67 & c=28) | (r=67 & c=29) | (r=67 & c=30) | (r=68 & c=16) | (r=68 & c=17) | (r=68 & c=18) | (r=68 & c=19) | (r=68 & c=20) | (r=68 & c=21) | (r=68 & c=22) | (r=68 & c=24) | (r=68 & c=26) | (r=68 & c=27) | (r=68 & c=28) | (r=69 & c=16) | (r=69 & c=17) | (r=69 & c=20) | (r=69 & c=21) | (r=69 & c=22) | (r=69 & c=23) | (r=69 & c=25) | (r=69 & c=26) | (r=69 & c=27) | (r=69 & c=28) | (r=69 & c=30) | (r=70 & c=18) | (r=70 & c=19) | (r=70 & c=20) | (r=70 & c=22) | (r=70 & c=23) | (r=70 & c=27) | (r=70 & c=28) | (r=70 & c=30) | (r=71 & c=16) | (r=71 & c=19) | (r=71 & c=21) | (r=71 & c=22) | (r=71 & c=23) | (r=71 & c=25) | (r=71 & c=27) | (r=71 & c=28) | (r=71 & c=30) | (r=72 & c=16) | (r=72 & c=19) | (r=72 & c=20) | (r=72 & c=21) | (r=72 & c=22) | (r=72 & c=23) | (r=72 & c=25) | (r=72 & c=26) | (r=72 & c=27) | (r=72 & c=28) | (r=72 & c=29) | (r=73 & c=17) | (r=73 & c=20) | (r=73 & c=23) | (r=73 & c=24) | (r=73 & c=26) | (r=73 & c=27) | (r=73 & c=29) | (r=73 & c=30) | (r=74 & c=17) | (r=74 & c=18) | (r=74 & c=19) | (r=74 & c=21) | (r=74 & c=22) | (r=74 & c=24) | (r=74 & c=25) | (r=74 & c=26) | (r=74 & c=27) | (r=74 & c=29) | (r=74 & c=30) | (r=75 & c=17) | (r=75 & c=19) | (r=75 & c=22) | (r=75 & c=23) | (r=75 & c=24) | (r=75 & c=25) | (r=75 & c=26) | (r=75 & c=27) | (r=75 & c=28) | (r=75 & c=29) | (r=91 & c=2) | (r=91 & c=4) | (r=91 & c=5) | (r=91 & c=6) | (r=91 & c=7) | (r=91 & c=8) | (r=91 & c=9) | (r=91 & c=10) | (r=91 & c=11) | (r=91 & c=12) | (r=91 & c=14) | (r=92 & c=2) | (r=92 & c=3) | (r=92 & c=5) | (r=92 & c=6) | (r=92 & c=8) | (r=92 & c=9) | (r=92 & c=10) | (r=92 & c=11) | (r=92 & c=12) | (r=92 & c=13) | (r=92 & c=15) | (r=93 & c=4) | (r=93 & c=5) | (r=93 & c=6) | (r=93 & c=7) | (r=93 & c=8) | (r=93 & c=9) | (r=93 & c=10) | (r=93 & c=11) | (r=93 & c=12) | (r=93 & c=13) | (r=93 & c=15) | (r=94 & c=1) | (r=94 & c=4) | (r=94 & c=5) | (r=94 & c=6) | (r=94 & c=7) | (r=94 & c=9) | (r=94 & c=10) | (r=94 & c=11) | (r=94 & c=13) | (r=94 & c=14) | (r=94 & c=15) | (r=95 & c=1) | (r=95 & c=2) | (r=95 & c=3) | (r=95 & c=4) | (r=95 & c=7) | (r=95 & c=9) | (r=95 & c=11) | (r=95 & c=12) | (r=95 & c=13) | (r=95 & c=14) | (r=95 & c=15) | (r=96 & c=1) | (r=96 & c=2) | (r=96 & c=3) | (r=96 & c=4) | (r=96 & c=5) | (r=96 & c=6) | (r=96 & c=7) | (r=96 & c=8) | (r=96 & c=9) | (r=96 & c=10) | (r=96 & c=12) | (r=96 & c=13) | (r=96 & c=14) | (r=97 & c=1) | (r=97 & c=2) | (r=97 & c=3) | (r=97 & c=4) | (r=97 & c=5) | (r=97 & c=6) | (r=97 & c=7) | (r=97 & c=8) | (r=97 & c=9) | (r=97 & c=10) | (r=97 & c=11) | (r=97 & c=12) | (r=97 & c=13) | (r=97 & c=14) | (r=97 & c=15) | (r=98 & c=2) | (r=98 & c=3) | (r=98 & c=5) | (r=98 & c=6) | (r=98 & c=7) | (r=98 & c=8) | (r=98 & c=10) | (r=98 & c=11) | (r=98 & c=12) | (r=98 & c=13) | (r=98 & c=14) | (r=98 & c=15) | (r=99 & c=1) | (r=99 & c=2) | (r=99 & c=3) | (r=99 & c=4) | (r=99 & c=5) | (r=99 & c=6) | (r=99 & c=7) | (r=99 & c=8) | (r=99 & c=10) | (r=99 & c=11) | (r=99 & c=12) | (r=99 & c=13) | (r=99 & c=14) | (r=100 & c=1) | (r=100 & c=2) | (r=100 & c=4) | (r=100 & c=5) | (r=100 & c=6) | (r=100 & c=7) | (r=100 & c=8) | (r=100 & c=9) | (r=100 & c=10) | (r=100 & c=11) | (r=100 & c=12) | (r=100 & c=13) | (r=101 & c=1) | (r=101 & c=2) | (r=101 & c=3) | (r=101 & c=5) | (r=101 & c=6) | (r=101 & c=8) | (r=101 & c=9) | (r=101 & c=10) | (r=101 & c=11) | (r=101 & c=12) | (r=101 & c=13) | (r=101 & c=14) | (r=102 & c=1) | (r=102 & c=2) | (r=102 & c=3) | (r=102 & c=4) | (r=102 & c=5) | (r=102 & c=6) | (r=102 & c=7) | (r=102 & c=8) | (r=102 & c=9) | (r=102 & c=10) | (r=102 & c=11) | (r=102 & c=12) | (r=102 & c=13) | (r=102 & c=14) | (r=102 & c=15) | (r=103 & c=1) | (r=103 & c=2) | (r=103 & c=3) | (r=103 & c=4) | (r=103 & c=5) | (r=103 & c=6) | (r=103 & c=8) | (r=103 & c=9) | (r=103 & c=10) | (r=103 & c=12) | (r=103 & c=13) | (r=103 & c=14) | (r=103 & c=15) | (r=104 & c=2) | (r=104 & c=3) | (r=104 & c=4) | (r=104 & c=5) | (r=104 & c=6) | (r=104 & c=7) | (r=104 & c=8) | (r=104 & c=10) | (r=104 & c=11) | (r=104 & c=13) | (r=104 & c=14) | (r=104 & c=15) | (r=105 & c=1) | (r=105 & c=2) | (r=105 & c=5) | (r=105 & c=6) | (r=105 & c=9) | (r=105 & c=10) | (r=105 & c=11) | (r=105 & c=13) | (r=106 & c=31) | (r=106 & c=33) | (r=106 & c=35) | (r=106 & c=36) | (r=106 & c=38) | (r=106 & c=40) | (r=106 & c=42) | (r=106 & c=43) | (r=106 & c=44) | (r=106 & c=45) | (r=107 & c=31) | (r=107 & c=32) | (r=107 & c=33) | (r=107 & c=34) | (r=107 & c=35) | (r=107 & c=36) | (r=107 & c=37) | (r=107 & c=38) | (r=107 & c=39) | (r=107 & c=40) | (r=107 & c=41) | (r=107 & c=42) | (r=107 & c=44) | (r=108 & c=31) | (r=108 & c=33) | (r=108 & c=35) | (r=108 & c=36) | (r=108 & c=37) | (r=108 & c=38) | (r=108 & c=39) | (r=108 & c=40) | (r=108 & c=41) | (r=108 & c=42) | (r=108 & c=43) | (r=108 & c=44) | (r=108 & c=45) | (r=109 & c=31) | (r=109 & c=33) | (r=109 & c=34) | (r=109 & c=35) | (r=109 & c=36) | (r=109 & c=37) | (r=109 & c=38) | (r=109 & c=39) | (r=109 & c=40) | (r=109 & c=43) | (r=110 & c=31) | (r=110 & c=33) | (r=110 & c=34) | (r=110 & c=35) | (r=110 & c=37) | (r=110 & c=38) | (r=110 & c=39) | (r=110 & c=42) | (r=110 & c=44) | (r=110 & c=45) | (r=111 & c=31) | (r=111 & c=32) | (r=111 & c=33) | (r=111 & c=34) | (r=111 & c=35) | (r=111 & c=36) | (r=111 & c=37) | (r=111 & c=38) | (r=111 & c=40) | (r=111 & c=42) | (r=111 & c=44) | (r=111 & c=45) | (r=112 & c=31) | (r=112 & c=33) | (r=112 & c=39) | (r=112 & c=40) | (r=112 & c=41) | (r=112 & c=42) | (r=112 & c=43) | (r=112 & c=44) | (r=113 & c=31) | (r=113 & c=32) | (r=113 & c=33) | (r=113 & c=34) | (r=113 & c=35) | (r=113 & c=36) | (r=113 & c=38) | (r=113 & c=39) | (r=113 & c=40) | (r=113 & c=41) | (r=113 & c=42) | (r=113 & c=44) | (r=113 & c=45) | (r=114 & c=31) | (r=114 & c=32) | (r=114 & c=34) | (r=114 & c=35) | (r=114 & c=38) | (r=114 & c=39) | (r=114 & c=40) | (r=114 & c=41) | (r=114 & c=44) | (r=114 & c=45) | (r=115 & c=31) | (r=115 & c=32) | (r=115 & c=33) | (r=115 & c=34) | (r=115 & c=35) | (r=115 & c=36) | (r=115 & c=38) | (r=115 & c=41) | (r=115 & c=44) | (r=115 & c=45) | (r=116 & c=31) | (r=116 & c=32) | (r=116 & c=33) | (r=116 & c=35) | (r=116 & c=36) | (r=116 & c=37) | (r=116 & c=39) | (r=116 & c=40) | (r=116 & c=41) | (r=116 & c=44) | (r=116 & c=45) | (r=117 & c=31) | (r=117 & c=32) | (r=117 & c=33) | (r=117 & c=34) | (r=117 & c=35) | (r=117 & c=36) | (r=117 & c=39) | (r=117 & c=40) | (r=117 & c=41) | (r=117 & c=43) | (r=117 & c=44) | (r=117 & c=45) | (r=118 & c=32) | (r=118 & c=34) | (r=118 & c=35) | (r=118 & c=37) | (r=118 & c=40) | (r=118 & c=41) | (r=118 & c=42) | (r=118 & c=43) | (r=118 & c=44) | (r=119 & c=32) | (r=119 & c=33) | (r=119 & c=36) | (r=119 & c=38) | (r=119 & c=39) | (r=119 & c=42) | (r=119 & c=44) | (r=119 & c=45) | (r=120 & c=31) | (r=120 & c=32) | (r=120 & c=33) | (r=120 & c=35) | (r=120 & c=36) | (r=120 & c=37) | (r=120 & c=39) | (r=120 & c=40) | (r=120 & c=41) | (r=120 & c=43) | (r=120 & c=44) | (r=121 & c=17) | (r=121 & c=18) | (r=121 & c=20) | (r=121 & c=21) | (r=121 & c=22) | (r=121 & c=23) | (r=121 & c=24) | (r=121 & c=25) | (r=121 & c=26) | (r=121 & c=27) | (r=121 & c=28) | (r=121 & c=29) | (r=122 & c=16) | (r=122 & c=17) | (r=122 & c=18) | (r=122 & c=19) | (r=122 & c=20) | (r=122 & c=21) | (r=122 & c=23) | (r=122 & c=24) | (r=122 & c=25) | (r=122 & c=26) | (r=122 & c=27) | (r=122 & c=28) | (r=122 & c=30) | (r=123 & c=16) | (r=123 & c=17) | (r=123 & c=18) | (r=123 & c=19) | (r=123 & c=21) | (r=123 & c=22) | (r=123 & c=23) | (r=123 & c=25) | (r=123 & c=26) | (r=123 & c=27) | (r=123 & c=28) | (r=123 & c=29) | (r=123 & c=30) | (r=124 & c=16) | (r=124 & c=17) | (r=124 & c=18) | (r=124 & c=19) | (r=124 & c=20) | (r=124 & c=21) | (r=124 & c=22) | (r=124 & c=23) | (r=124 & c=24) | (r=124 & c=25) | (r=124 & c=26) | (r=124 & c=27) | (r=124 & c=29) | (r=125 & c=16) | (r=125 & c=18) | (r=125 & c=21) | (r=125 & c=23) | (r=125 & c=25) | (r=125 & c=26) | (r=125 & c=27) | (r=125 & c=28) | (r=125 & c=29) | (r=125 & c=30) | (r=126 & c=16) | (r=126 & c=17) | (r=126 & c=20) | (r=126 & c=21) | (r=126 & c=22) | (r=126 & c=23) | (r=126 & c=24) | (r=126 & c=27) | (r=126 & c=28) | (r=126 & c=29) | (r=126 & c=30) | (r=127 & c=16) | (r=127 & c=17) | (r=127 & c=18) | (r=127 & c=20) | (r=127 & c=21) | (r=127 & c=22) | (r=127 & c=23) | (r=127 & c=24) | (r=127 & c=25) | (r=127 & c=26) | (r=127 & c=27) | (r=127 & c=28) | (r=127 & c=29) | (r=128 & c=16) | (r=128 & c=17) | (r=128 & c=18) | (r=128 & c=19) | (r=128 & c=20) | (r=128 & c=21) | (r=128 & c=22) | (r=128 & c=23) | (r=128 & c=24) | (r=128 & c=25) | (r=128 & c=26) | (r=128 & c=28) | (r=128 & c=29) | (r=128 & c=30) | (r=129 & c=17) | (r=129 & c=18) | (r=129 & c=19) | (r=129 & c=20) | (r=129 & c=21) | (r=129 & c=22) | (r=129 & c=23) | (r=129 & c=25) | (r=129 & c=26) | (r=129 & c=27) | (r=129 & c=28) | (r=129 & c=30) | (r=130 & c=16) | (r=130 & c=17) | (r=130 & c=18) | (r=130 & c=19) | (r=130 & c=21) | (r=130 & c=22) | (r=130 & c=24) | (r=130 & c=25) | (r=130 & c=26) | (r=130 & c=27) | (r=130 & c=29) | (r=131 & c=16) | (r=131 & c=18) | (r=131 & c=19) | (r=131 & c=20) | (r=131 & c=21) | (r=131 & c=22) | (r=131 & c=23) | (r=131 & c=25) | (r=131 & c=26) | (r=131 & c=27) | (r=131 & c=28) | (r=131 & c=30) | (r=132 & c=16) | (r=132 & c=17) | (r=132 & c=20) | (r=132 & c=21) | (r=132 & c=22) | (r=132 & c=23) | (r=132 & c=24) | (r=132 & c=25) | (r=132 & c=26) | (r=132 & c=27) | (r=132 & c=28) | (r=132 & c=30) | (r=133 & c=16) | (r=133 & c=17) | (r=133 & c=18) | (r=133 & c=19) | (r=133 & c=21) | (r=133 & c=22) | (r=133 & c=23) | (r=133 & c=24) | (r=133 & c=26) | (r=133 & c=27) | (r=133 & c=28) | (r=133 & c=29) | (r=133 & c=30) | (r=134 & c=17) | (r=134 & c=18) | (r=134 & c=20) | (r=134 & c=21) | (r=134 & c=22) | (r=134 & c=24) | (r=134 & c=25) | (r=134 & c=26) | (r=134 & c=27) | (r=134 & c=29) | (r=135 & c=16) | (r=135 & c=18) | (r=135 & c=19) | (r=135 & c=21) | (r=135 & c=22) | (r=135 & c=23) | (r=135 & c=24) | (r=135 & c=25) | (r=135 & c=27) | (r=135 & c=28) | (r=135 & c=29) | (r=135 & c=30) | (r=121 & c=2) | (r=121 & c=3) | (r=121 & c=6) | (r=121 & c=7) | (r=121 & c=8) | (r=121 & c=9) | (r=121 & c=11) | (r=121 & c=13) | (r=121 & c=14) | (r=121 & c=15) | (r=122 & c=3) | (r=122 & c=4) | (r=122 & c=5) | (r=122 & c=6) | (r=122 & c=7) | (r=122 & c=8) | (r=122 & c=9) | (r=122 & c=10) | (r=122 & c=11) | (r=122 & c=14) | (r=123 & c=1) | (r=123 & c=2) | (r=123 & c=3) | (r=123 & c=4) | (r=123 & c=7) | (r=123 & c=8) | (r=123 & c=9) | (r=123 & c=10) | (r=123 & c=11) | (r=123 & c=12) | (r=123 & c=13) | (r=123 & c=14) | (r=123 & c=15) | (r=124 & c=1) | (r=124 & c=3) | (r=124 & c=6) | (r=124 & c=9) | (r=124 & c=10) | (r=124 & c=11) | (r=124 & c=13) | (r=124 & c=14) | (r=124 & c=15) | (r=125 & c=1) | (r=125 & c=2) | (r=125 & c=4) | (r=125 & c=5) | (r=125 & c=6) | (r=125 & c=7) | (r=125 & c=8) | (r=125 & c=9) | (r=125 & c=10) | (r=125 & c=11) | (r=125 & c=12) | (r=125 & c=13) | (r=125 & c=14) | (r=125 & c=15) | (r=126 & c=1) | (r=126 & c=2) | (r=126 & c=3) | (r=126 & c=5) | (r=126 & c=6) | (r=126 & c=8) | (r=126 & c=10) | (r=126 & c=12) | (r=126 & c=13) | (r=126 & c=14) | (r=126 & c=15) | (r=127 & c=1) | (r=127 & c=2) | (r=127 & c=4) | (r=127 & c=5) | (r=127 & c=6) | (r=127 & c=7) | (r=127 & c=8) | (r=127 & c=10) | (r=127 & c=11) | (r=127 & c=12) | (r=127 & c=13) | (r=127 & c=14) | (r=127 & c=15) | (r=128 & c=2) | (r=128 & c=3) | (r=128 & c=5) | (r=128 & c=6) | (r=128 & c=7) | (r=128 & c=8) | (r=128 & c=10) | (r=128 & c=11) | (r=128 & c=13) | (r=128 & c=14) | (r=128 & c=15) | (r=129 & c=1) | (r=129 & c=2) | (r=129 & c=3) | (r=129 & c=4) | (r=129 & c=5) | (r=129 & c=6) | (r=129 & c=8) | (r=129 & c=10) | (r=129 & c=11) | (r=130 & c=1) | (r=130 & c=2) | (r=130 & c=3) | (r=130 & c=5) | (r=130 & c=7) | (r=130 & c=8) | (r=130 & c=10) | (r=130 & c=11) | (r=130 & c=12) | (r=130 & c=13) | (r=130 & c=15) | (r=131 & c=1) | (r=131 & c=2) | (r=131 & c=3) | (r=131 & c=4) | (r=131 & c=5) | (r=131 & c=7) | (r=131 & c=9) | (r=131 & c=10) | (r=131 & c=11) | (r=131 & c=12) | (r=131 & c=13) | (r=132 & c=1) | (r=132 & c=2) | (r=132 & c=4) | (r=132 & c=5) | (r=132 & c=6) | (r=132 & c=7) | (r=132 & c=8) | (r=132 & c=9) | (r=132 & c=10) | (r=132 & c=11) | (r=132 & c=12) | (r=132 & c=13) | (r=132 & c=14) | (r=132 & c=15) | (r=133 & c=1) | (r=133 & c=2) | (r=133 & c=3) | (r=133 & c=4) | (r=133 & c=6) | (r=133 & c=7) | (r=133 & c=8) | (r=133 & c=9) | (r=133 & c=10) | (r=133 & c=11) | (r=133 & c=12) | (r=133 & c=13) | (r=133 & c=14) | (r=134 & c=1) | (r=134 & c=2) | (r=134 & c=3) | (r=134 & c=4) | (r=134 & c=6) | (r=134 & c=7) | (r=134 & c=8) | (r=134 & c=11) | (r=134 & c=12) | (r=134 & c=13) | (r=134 & c=14) | (r=134 & c=15) | (r=135 & c=1) | (r=135 & c=2) | (r=135 & c=3) | (r=135 & c=4) | (r=135 & c=5) | (r=135 & c=7) | (r=135 & c=8) | (r=135 & c=9) | (r=135 & c=10) | (r=135 & c=12) | (r=135 & c=13) | (r=135 & c=14) | (r=135 & c=15) | (r=46 & c=46) | (r=46 & c=47) | (r=46 & c=48) | (r=46 & c=50) | (r=46 & c=51) | (r=46 & c=52) | (r=46 & c=53) | (r=46 & c=54) | (r=46 & c=56) | (r=46 & c=57) | (r=46 & c=60) | (r=47 & c=46) | (r=47 & c=47) | (r=47 & c=49) | (r=47 & c=50) | (r=47 & c=52) | (r=47 & c=53) | (r=47 & c=54) | (r=47 & c=55) | (r=47 & c=57) | (r=47 & c=60) | (r=48 & c=46) | (r=48 & c=47) | (r=48 & c=49) | (r=48 & c=50) | (r=48 & c=52) | (r=48 & c=53) | (r=48 & c=54) | (r=48 & c=55) | (r=48 & c=56) | (r=48 & c=57) | (r=48 & c=58) | (r=48 & c=59) | (r=48 & c=60) | (r=49 & c=46) | (r=49 & c=48) | (r=49 & c=50) | (r=49 & c=51) | (r=49 & c=52) | (r=49 & c=53) | (r=49 & c=55) | (r=49 & c=56) | (r=49 & c=57) | (r=49 & c=60) | (r=50 & c=46) | (r=50 & c=48) | (r=50 & c=49) | (r=50 & c=50) | (r=50 & c=54) | (r=50 & c=56) | (r=50 & c=57) | (r=50 & c=58) | (r=50 & c=60) | (r=51 & c=46) | (r=51 & c=48) | (r=51 & c=51) | (r=51 & c=52) | (r=51 & c=53) | (r=51 & c=54) | (r=51 & c=55) | (r=51 & c=56) | (r=51 & c=59) | (r=52 & c=46) | (r=52 & c=47) | (r=52 & c=48) | (r=52 & c=49) | (r=52 & c=50) | (r=52 & c=51) | (r=52 & c=52) | (r=52 & c=53) | (r=52 & c=54) | (r=52 & c=55) | (r=52 & c=56) | (r=52 & c=57) | (r=52 & c=58) | (r=52 & c=59) | (r=52 & c=60) | (r=53 & c=47) | (r=53 & c=48) | (r=53 & c=49) | (r=53 & c=50) | (r=53 & c=51) | (r=53 & c=52) | (r=53 & c=54) | (r=53 & c=55) | (r=53 & c=56) | (r=53 & c=57) | (r=53 & c=58) | (r=53 & c=59) | (r=53 & c=60) | (r=54 & c=46) | (r=54 & c=47) | (r=54 & c=48) | (r=54 & c=49) | (r=54 & c=50) | (r=54 & c=52) | (r=54 & c=53) | (r=54 & c=56) | (r=54 & c=57) | (r=54 & c=58) | (r=54 & c=59) | (r=54 & c=60) | (r=55 & c=46) | (r=55 & c=48) | (r=55 & c=49) | (r=55 & c=50) | (r=55 & c=52) | (r=55 & c=53) | (r=55 & c=54) | (r=55 & c=55) | (r=55 & c=56) | (r=55 & c=57) | (r=55 & c=58) | (r=55 & c=59) | (r=56 & c=48) | (r=56 & c=49) | (r=56 & c=51) | (r=56 & c=52) | (r=56 & c=55) | (r=56 & c=56) | (r=56 & c=57) | (r=56 & c=58) | (r=56 & c=59) | (r=57 & c=46) | (r=57 & c=47) | (r=57 & c=48) | (r=57 & c=49) | (r=57 & c=50) | (r=57 & c=52) | (r=57 & c=54) | (r=57 & c=55) | (r=57 & c=58) | (r=57 & c=59) | (r=57 & c=60) | (r=58 & c=47) | (r=58 & c=50) | (r=58 & c=52) | (r=58 & c=53) | (r=58 & c=54) | (r=58 & c=55) | (r=58 & c=56) | (r=58 & c=57) | (r=58 & c=58) | (r=58 & c=60) | (r=59 & c=46) | (r=59 & c=47) | (r=59 & c=48) | (r=59 & c=52) | (r=59 & c=53) | (r=59 & c=54) | (r=59 & c=56) | (r=59 & c=60) | (r=60 & c=46) | (r=60 & c=48) | (r=60 & c=49) | (r=60 & c=50) | (r=60 & c=51) | (r=60 & c=52) | (r=60 & c=53) | (r=60 & c=54) | (r=60 & c=55) | (r=60 & c=56) | (r=60 & c=57) | (r=60 & c=60) | (r=91 & c=76) | (r=91 & c=77) | (r=91 & c=81) | (r=91 & c=83) | (r=91 & c=84) | (r=91 & c=85) | (r=91 & c=86) | (r=91 & c=88) | (r=91 & c=89) | (r=91 & c=90) | (r=92 & c=76) | (r=92 & c=77) | (r=92 & c=78) | (r=92 & c=79) | (r=92 & c=80) | (r=92 & c=81) | (r=92 & c=83) | (r=92 & c=84) | (r=92 & c=85) | (r=92 & c=86) | (r=92 & c=87) | (r=92 & c=88) | (r=92 & c=89) | (r=92 & c=90) | (r=93 & c=76) | (r=93 & c=78) | (r=93 & c=79) | (r=93 & c=80) | (r=93 & c=82) | (r=93 & c=83) | (r=93 & c=86) | (r=93 & c=87) | (r=93 & c=88) | (r=93 & c=89) | (r=94 & c=76) | (r=94 & c=79) | (r=94 & c=81) | (r=94 & c=83) | (r=94 & c=84) | (r=94 & c=85) | (r=94 & c=86) | (r=94 & c=87) | (r=94 & c=89) | (r=94 & c=90) | (r=95 & c=76) | (r=95 & c=77) | (r=95 & c=79) | (r=95 & c=80) | (r=95 & c=82) | (r=95 & c=83) | (r=95 & c=84) | (r=95 & c=85) | (r=95 & c=86) | (r=95 & c=87) | (r=95 & c=88) | (r=95 & c=89) | (r=95 & c=90) | (r=96 & c=78) | (r=96 & c=81) | (r=96 & c=82) | (r=96 & c=83) | (r=96 & c=85) | (r=96 & c=86) | (r=97 & c=77) | (r=97 & c=78) | (r=97 & c=79) | (r=97 & c=80) | (r=97 & c=81) | (r=97 & c=82) | (r=97 & c=83) | (r=97 & c=84) | (r=97 & c=86) | (r=97 & c=87) | (r=97 & c=88) | (r=97 & c=89) | (r=97 & c=90) | (r=98 & c=76) | (r=98 & c=78) | (r=98 & c=79) | (r=98 & c=80) | (r=98 & c=81) | (r=98 & c=82) | (r=98 & c=83) | (r=98 & c=84) | (r=98 & c=85) | (r=98 & c=86) | (r=98 & c=87) | (r=98 & c=88) | (r=98 & c=89) | (r=98 & c=90) | (r=99 & c=76) | (r=99 & c=78) | (r=99 & c=79) | (r=99 & c=80) | (r=99 & c=81) | (r=99 & c=85) | (r=99 & c=86) | (r=99 & c=87) | (r=99 & c=89) | (r=99 & c=90) | (r=100 & c=77) | (r=100 & c=78) | (r=100 & c=79) | (r=100 & c=82) | (r=100 & c=83) | (r=100 & c=84) | (r=100 & c=86) | (r=100 & c=87) | (r=100 & c=88) | (r=100 & c=89) | (r=100 & c=90) | (r=101 & c=76) | (r=101 & c=77) | (r=101 & c=78) | (r=101 & c=79) | (r=101 & c=81) | (r=101 & c=82) | (r=101 & c=88) | (r=101 & c=89) | (r=101 & c=90) | (r=102 & c=78) | (r=102 & c=79) | (r=102 & c=80) | (r=102 & c=81) | (r=102 & c=82) | (r=102 & c=84) | (r=102 & c=85) | (r=102 & c=86) | (r=102 & c=87) | (r=102 & c=88) | (r=102 & c=89) | (r=102 & c=90) | (r=103 & c=76) | (r=103 & c=77) | (r=103 & c=78) | (r=103 & c=79) | (r=103 & c=80) | (r=103 & c=81) | (r=103 & c=82) | (r=103 & c=83) | (r=103 & c=84) | (r=103 & c=85) | (r=103 & c=86) | (r=103 & c=87) | (r=103 & c=89) | (r=103 & c=90) | (r=104 & c=76) | (r=104 & c=77) | (r=104 & c=78) | (r=104 & c=79) | (r=104 & c=82) | (r=104 & c=83) | (r=104 & c=84) | (r=104 & c=86) | (r=104 & c=89) | (r=104 & c=90) | (r=105 & c=76) | (r=105 & c=77) | (r=105 & c=81) | (r=105 & c=82) | (r=105 & c=84) | (r=105 & c=85) | (r=105 & c=86) | (r=105 & c=87) | (r=105 & c=88) | (r=105 & c=89) | (r=121 & c=61) | (r=121 & c=62) | (r=121 & c=65) | (r=121 & c=66) | (r=121 & c=70) | (r=121 & c=71) | (r=121 & c=72) | (r=121 & c=73) | (r=121 & c=74) | (r=121 & c=75) | (r=122 & c=62) | (r=122 & c=63) | (r=122 & c=64) | (r=122 & c=65) | (r=122 & c=66) | (r=122 & c=67) | (r=122 & c=68) | (r=122 & c=69) | (r=122 & c=70) | (r=122 & c=71) | (r=122 & c=72) | (r=122 & c=73) | (r=122 & c=74) | (r=122 & c=75) | (r=123 & c=61) | (r=123 & c=62) | (r=123 & c=63) | (r=123 & c=65) | (r=123 & c=67) | (r=123 & c=68) | (r=123 & c=69) | (r=123 & c=70) | (r=123 & c=71) | (r=123 & c=72) | (r=123 & c=73) | (r=123 & c=75) | (r=124 & c=61) | (r=124 & c=62) | (r=124 & c=64) | (r=124 & c=65) | (r=124 & c=66) | (r=124 & c=67) | (r=124 & c=68) | (r=124 & c=69) | (r=124 & c=70) | (r=124 & c=71) | (r=124 & c=72) | (r=124 & c=73) | (r=124 & c=74) | (r=124 & c=75) | (r=125 & c=61) | (r=125 & c=62) | (r=125 & c=63) | (r=125 & c=64) | (r=125 & c=65) | (r=125 & c=66) | (r=125 & c=67) | (r=125 & c=68) | (r=125 & c=69) | (r=125 & c=70) | (r=125 & c=71) | (r=125 & c=72) | (r=125 & c=73) | (r=125 & c=74) | (r=125 & c=75) | (r=126 & c=61) | (r=126 & c=64) | (r=126 & c=65) | (r=126 & c=66) | (r=126 & c=67) | (r=126 & c=69) | (r=126 & c=70) | (r=126 & c=71) | (r=126 & c=72) | (r=126 & c=73) | (r=126 & c=74) | (r=126 & c=75) | (r=127 & c=62) | (r=127 & c=63) | (r=127 & c=64) | (r=127 & c=66) | (r=127 & c=68) | (r=127 & c=70) | (r=127 & c=71) | (r=127 & c=72) | (r=127 & c=73) | (r=127 & c=74) | (r=127 & c=75) | (r=128 & c=61) | (r=128 & c=62) | (r=128 & c=63) | (r=128 & c=64) | (r=128 & c=65) | (r=128 & c=66) | (r=128 & c=67) | (r=128 & c=68) | (r=128 & c=69) | (r=128 & c=71) | (r=128 & c=73) | (r=129 & c=61) | (r=129 & c=62) | (r=129 & c=63) | (r=129 & c=64) | (r=129 & c=66) | (r=129 & c=67) | (r=129 & c=68) | (r=129 & c=69) | (r=129 & c=70) | (r=129 & c=71) | (r=129 & c=72) | (r=129 & c=74) | (r=129 & c=75) | (r=130 & c=61) | (r=130 & c=63) | (r=130 & c=64) | (r=130 & c=65) | (r=130 & c=66) | (r=130 & c=67) | (r=130 & c=68) | (r=130 & c=69) | (r=130 & c=71) | (r=130 & c=72) | (r=130 & c=75) | (r=131 & c=61) | (r=131 & c=62) | (r=131 & c=63) | (r=131 & c=64) | (r=131 & c=65) | (r=131 & c=66) | (r=131 & c=67) | (r=131 & c=68) | (r=131 & c=69) | (r=131 & c=70) | (r=131 & c=71) | (r=131 & c=72) | (r=131 & c=73) | (r=131 & c=74) | (r=131 & c=75) | (r=132 & c=61) | (r=132 & c=62) | (r=132 & c=63) | (r=132 & c=64) | (r=132 & c=66) | (r=132 & c=67) | (r=132 & c=68) | (r=132 & c=70) | (r=132 & c=71) | (r=132 & c=72) | (r=132 & c=73) | (r=132 & c=74) | (r=132 & c=75) | (r=133 & c=61) | (r=133 & c=62) | (r=133 & c=63) | (r=133 & c=64) | (r=133 & c=65) | (r=133 & c=66) | (r=133 & c=67) | (r=133 & c=68) | (r=133 & c=69) | (r=133 & c=72) | (r=133 & c=73) | (r=133 & c=74) | (r=134 & c=61) | (r=134 & c=63) | (r=134 & c=64) | (r=134 & c=65) | (r=134 & c=66) | (r=134 & c=67) | (r=134 & c=68) | (r=134 & c=70) | (r=134 & c=71) | (r=134 & c=72) | (r=134 & c=73) | (r=135 & c=61) | (r=135 & c=62) | (r=135 & c=63) | (r=135 & c=64) | (r=135 & c=66) | (r=135 & c=67) | (r=135 & c=68) | (r=135 & c=69) | (r=135 & c=70) | (r=135 & c=71) | (r=135 & c=72) | (r=135 & c=74) | (r=135 & c=75) | (r=31 & c=61) | (r=31 & c=62) | (r=31 & c=63) | (r=31 & c=64) | (r=31 & c=65) | (r=31 & c=66) | (r=31 & c=67) | (r=31 & c=68) | (r=31 & c=69) | (r=31 & c=70) | (r=31 & c=71) | (r=31 & c=73) | (r=31 & c=74) | (r=31 & c=75) | (r=32 & c=61) | (r=32 & c=62) | (r=32 & c=63) | (r=32 & c=64) | (r=32 & c=66) | (r=32 & c=67) | (r=32 & c=70) | (r=32 & c=73) | (r=32 & c=74) | (r=32 & c=75) | (r=33 & c=61) | (r=33 & c=62) | (r=33 & c=63) | (r=33 & c=64) | (r=33 & c=66) | (r=33 & c=67) | (r=33 & c=68) | (r=33 & c=70) | (r=33 & c=71) | (r=33 & c=72) | (r=33 & c=73) | (r=33 & c=74) | (r=34 & c=61) | (r=34 & c=63) | (r=34 & c=64) | (r=34 & c=65) | (r=34 & c=67) | (r=34 & c=68) | (r=34 & c=69) | (r=34 & c=70) | (r=34 & c=71) | (r=34 & c=72) | (r=34 & c=75) | (r=35 & c=61) | (r=35 & c=62) | (r=35 & c=63) | (r=35 & c=64) | (r=35 & c=65) | (r=35 & c=66) | (r=35 & c=67) | (r=35 & c=68) | (r=35 & c=69) | (r=35 & c=70) | (r=35 & c=71) | (r=35 & c=72) | (r=35 & c=73) | (r=35 & c=74) | (r=35 & c=75) | (r=36 & c=61) | (r=36 & c=63) | (r=36 & c=64) | (r=36 & c=66) | (r=36 & c=67) | (r=36 & c=68) | (r=36 & c=69) | (r=36 & c=70) | (r=36 & c=72) | (r=36 & c=74) | (r=36 & c=75) | (r=37 & c=61) | (r=37 & c=62) | (r=37 & c=63) | (r=37 & c=65) | (r=37 & c=67) | (r=37 & c=68) | (r=37 & c=69) | (r=37 & c=70) | (r=37 & c=71) | (r=37 & c=72) | (r=37 & c=73) | (r=37 & c=74) | (r=37 & c=75) | (r=38 & c=61) | (r=38 & c=62) | (r=38 & c=63) | (r=38 & c=64) | (r=38 & c=65) | (r=38 & c=66) | (r=38 & c=70) | (r=38 & c=71) | (r=38 & c=72) | (r=38 & c=73) | (r=39 & c=61) | (r=39 & c=62) | (r=39 & c=63) | (r=39 & c=64) | (r=39 & c=67) | (r=39 & c=68) | (r=39 & c=69) | (r=39 & c=70) | (r=39 & c=71) | (r=39 & c=73) | (r=40 & c=61) | (r=40 & c=63) | (r=40 & c=64) | (r=40 & c=66) | (r=40 & c=67) | (r=40 & c=71) | (r=40 & c=72) | (r=40 & c=73) | (r=40 & c=74) | (r=40 & c=75) | (r=41 & c=61) | (r=41 & c=63) | (r=41 & c=64) | (r=41 & c=65) | (r=41 & c=69) | (r=41 & c=70) | (r=41 & c=72) | (r=41 & c=73) | (r=41 & c=74) | (r=41 & c=75) | (r=42 & c=61) | (r=42 & c=62) | (r=42 & c=63) | (r=42 & c=64) | (r=42 & c=65) | (r=42 & c=66) | (r=42 & c=67) | (r=42 & c=68) | (r=42 & c=69) | (r=42 & c=70) | (r=42 & c=71) | (r=42 & c=72) | (r=42 & c=73) | (r=42 & c=75) | (r=43 & c=61) | (r=43 & c=62) | (r=43 & c=63) | (r=43 & c=64) | (r=43 & c=67) | (r=43 & c=68) | (r=43 & c=69) | (r=43 & c=70) | (r=43 & c=71) | (r=43 & c=72) | (r=43 & c=73) | (r=43 & c=74) | (r=43 & c=75) | (r=44 & c=61) | (r=44 & c=62) | (r=44 & c=63) | (r=44 & c=64) | (r=44 & c=65) | (r=44 & c=66) | (r=44 & c=67) | (r=44 & c=68) | (r=44 & c=70) | (r=44 & c=71) | (r=44 & c=72) | (r=44 & c=74) | (r=44 & c=75) | (r=45 & c=61) | (r=45 & c=63) | (r=45 & c=64) | (r=45 & c=65) | (r=45 & c=66) | (r=45 & c=68) | (r=45 & c=69) | (r=45 & c=70) | (r=45 & c=72) | (r=45 & c=73) | (r=45 & c=75) | (r=76 & c=46) | (r=76 & c=47) | (r=76 & c=48) | (r=76 & c=49) | (r=76 & c=51) | (r=76 & c=53) | (r=76 & c=55) | (r=76 & c=57) | (r=76 & c=59) | (r=76 & c=60) | (r=77 & c=47) | (r=77 & c=48) | (r=77 & c=49) | (r=77 & c=51) | (r=77 & c=55) | (r=77 & c=56) | (r=77 & c=57) | (r=77 & c=58) | (r=77 & c=60) | (r=78 & c=48) | (r=78 & c=49) | (r=78 & c=50) | (r=78 & c=51) | (r=78 & c=52) | (r=78 & c=54) | (r=78 & c=55) | (r=78 & c=56) | (r=78 & c=57) | (r=78 & c=58) | (r=78 & c=59) | (r=78 & c=60) | (r=79 & c=46) | (r=79 & c=47) | (r=79 & c=48) | (r=79 & c=49) | (r=79 & c=50) | (r=79 & c=51) | (r=79 & c=52) | (r=79 & c=53) | (r=79 & c=54) | (r=79 & c=55) | (r=79 & c=56) | (r=79 & c=57) | (r=79 & c=58) | (r=80 & c=46) | (r=80 & c=49) | (r=80 & c=51) | (r=80 & c=52) | (r=80 & c=54) | (r=80 & c=55) | (r=80 & c=56) | (r=80 & c=57) | (r=80 & c=58) | (r=80 & c=59) | (r=80 & c=60) | (r=81 & c=46) | (r=81 & c=47) | (r=81 & c=48) | (r=81 & c=49) | (r=81 & c=51) | (r=81 & c=52) | (r=81 & c=53) | (r=81 & c=54) | (r=81 & c=56) | (r=81 & c=58) | (r=81 & c=60) | (r=82 & c=46) | (r=82 & c=47) | (r=82 & c=49) | (r=82 & c=50) | (r=82 & c=51) | (r=82 & c=52) | (r=82 & c=53) | (r=82 & c=54) | (r=82 & c=55) | (r=82 & c=56) | (r=82 & c=57) | (r=82 & c=58) | (r=82 & c=59) | (r=82 & c=60) | (r=83 & c=47) | (r=83 & c=48) | (r=83 & c=49) | (r=83 & c=51) | (r=83 & c=53) | (r=83 & c=55) | (r=83 & c=59) | (r=84 & c=47) | (r=84 & c=50) | (r=84 & c=51) | (r=84 & c=52) | (r=84 & c=55) | (r=84 & c=56) | (r=84 & c=57) | (r=84 & c=58) | (r=84 & c=60) | (r=85 & c=46) | (r=85 & c=48) | (r=85 & c=49) | (r=85 & c=50) | (r=85 & c=51) | (r=85 & c=53) | (r=85 & c=55) | (r=85 & c=56) | (r=85 & c=57) | (r=85 & c=58) | (r=85 & c=59) | (r=85 & c=60) | (r=86 & c=46) | (r=86 & c=47) | (r=86 & c=52) | (r=86 & c=53) | (r=86 & c=55) | (r=86 & c=56) | (r=86 & c=57) | (r=86 & c=58) | (r=87 & c=46) | (r=87 & c=47) | (r=87 & c=49) | (r=87 & c=50) | (r=87 & c=51) | (r=87 & c=53) | (r=87 & c=54) | (r=87 & c=55) | (r=87 & c=59) | (r=87 & c=60) | (r=88 & c=46) | (r=88 & c=47) | (r=88 & c=48) | (r=88 & c=49) | (r=88 & c=50) | (r=88 & c=51) | (r=88 & c=52) | (r=88 & c=53) | (r=88 & c=54) | (r=88 & c=55) | (r=88 & c=56) | (r=88 & c=58) | (r=88 & c=59) | (r=88 & c=60) | (r=89 & c=47) | (r=89 & c=48) | (r=89 & c=49) | (r=89 & c=52) | (r=89 & c=53) | (r=89 & c=54) | (r=89 & c=57) | (r=89 & c=58) | (r=89 & c=59) | (r=89 & c=60) | (r=90 & c=46) | (r=90 & c=48) | (r=90 & c=49) | (r=90 & c=50) | (r=90 & c=52) | (r=90 & c=53) | (r=90 & c=55) | (r=90 & c=58) | (r=90 & c=59) | (r=91 & c=16) | (r=91 & c=17) | (r=91 & c=18) | (r=91 & c=19) | (r=91 & c=20) | (r=91 & c=22) | (r=91 & c=25) | (r=91 & c=26) | (r=91 & c=27) | (r=91 & c=28) | (r=91 & c=29) | (r=91 & c=30) | (r=92 & c=16) | (r=92 & c=17) | (r=92 & c=20) | (r=92 & c=21) | (r=92 & c=23) | (r=92 & c=24) | (r=92 & c=27) | (r=92 & c=28) | (r=92 & c=29) | (r=92 & c=30) | (r=93 & c=16) | (r=93 & c=17) | (r=93 & c=18) | (r=93 & c=19) | (r=93 & c=20) | (r=93 & c=24) | (r=93 & c=25) | (r=93 & c=26) | (r=93 & c=27) | (r=93 & c=28) | (r=93 & c=29) | (r=93 & c=30) | (r=94 & c=16) | (r=94 & c=18) | (r=94 & c=19) | (r=94 & c=20) | (r=94 & c=23) | (r=94 & c=24) | (r=94 & c=25) | (r=94 & c=27) | (r=94 & c=30) | (r=95 & c=16) | (r=95 & c=19) | (r=95 & c=20) | (r=95 & c=21) | (r=95 & c=22) | (r=95 & c=23) | (r=95 & c=25) | (r=95 & c=27) | (r=95 & c=28) | (r=95 & c=30) | (r=96 & c=16) | (r=96 & c=17) | (r=96 & c=20) | (r=96 & c=21) | (r=96 & c=22) | (r=96 & c=24) | (r=96 & c=25) | (r=96 & c=28) | (r=96 & c=30) | (r=97 & c=17) | (r=97 & c=18) | (r=97 & c=20) | (r=97 & c=22) | (r=97 & c=24) | (r=97 & c=25) | (r=97 & c=27) | (r=97 & c=28) | (r=97 & c=29) | (r=98 & c=16) | (r=98 & c=17) | (r=98 & c=18) | (r=98 & c=19) | (r=98 & c=20) | (r=98 & c=21) | (r=98 & c=22) | (r=98 & c=25) | (r=98 & c=27) | (r=98 & c=28) | (r=98 & c=29) | (r=98 & c=30) | (r=99 & c=16) | (r=99 & c=17) | (r=99 & c=18) | (r=99 & c=20) | (r=99 & c=21) | (r=99 & c=22) | (r=99 & c=25) | (r=99 & c=27) | (r=99 & c=28) | (r=99 & c=29) | (r=99 & c=30) | (r=100 & c=16) | (r=100 & c=17) | (r=100 & c=18) | (r=100 & c=21) | (r=100 & c=22) | (r=100 & c=23) | (r=100 & c=25) | (r=100 & c=26) | (r=100 & c=27) | (r=100 & c=28) | (r=100 & c=29) | (r=100 & c=30) | (r=101 & c=16) | (r=101 & c=17) | (r=101 & c=18) | (r=101 & c=19) | (r=101 & c=20) | (r=101 & c=22) | (r=101 & c=25) | (r=102 & c=16) | (r=102 & c=18) | (r=102 & c=20) | (r=102 & c=21) | (r=102 & c=22) | (r=102 & c=23) | (r=102 & c=24) | (r=102 & c=25) | (r=102 & c=26) | (r=102 & c=28) | (r=102 & c=29) | (r=102 & c=30) | (r=103 & c=16) | (r=103 & c=19) | (r=103 & c=20) | (r=103 & c=21) | (r=103 & c=22) | (r=103 & c=23) | (r=103 & c=26) | (r=103 & c=27) | (r=103 & c=28) | (r=103 & c=29) | (r=103 & c=30) | (r=104 & c=16) | (r=104 & c=18) | (r=104 & c=19) | (r=104 & c=20) | (r=104 & c=22) | (r=104 & c=24) | (r=104 & c=26) | (r=104 & c=27) | (r=104 & c=28) | (r=104 & c=29) | (r=105 & c=17) | (r=105 & c=18) | (r=105 & c=19) | (r=105 & c=20) | (r=105 & c=22) | (r=105 & c=23) | (r=105 & c=24) | (r=105 & c=25) | (r=105 & c=26) | (r=105 & c=27) | (r=105 & c=28) | (r=105 & c=29) | (r=61 & c=122) | (r=61 & c=123) | (r=61 & c=124) | (r=61 & c=125) | (r=61 & c=126) | (r=61 & c=127) | (r=61 & c=128) | (r=61 & c=129) | (r=61 & c=130) | (r=61 & c=131) | (r=61 & c=132) | (r=61 & c=133) | (r=61 & c=135) | (r=62 & c=123) | (r=62 & c=124) | (r=62 & c=125) | (r=62 & c=126) | (r=62 & c=127) | (r=62 & c=128) | (r=62 & c=130) | (r=62 & c=132) | (r=62 & c=134) | (r=63 & c=121) | (r=63 & c=122) | (r=63 & c=124) | (r=63 & c=126) | (r=63 & c=127) | (r=63 & c=128) | (r=63 & c=129) | (r=63 & c=130) | (r=63 & c=132) | (r=63 & c=133) | (r=63 & c=134) | (r=63 & c=135) | (r=64 & c=121) | (r=64 & c=122) | (r=64 & c=123) | (r=64 & c=124) | (r=64 & c=125) | (r=64 & c=126) | (r=64 & c=127) | (r=64 & c=128) | (r=64 & c=129) | (r=64 & c=130) | (r=64 & c=131) | (r=64 & c=132) | (r=64 & c=133) | (r=64 & c=135) | (r=65 & c=123) | (r=65 & c=125) | (r=65 & c=127) | (r=65 & c=128) | (r=65 & c=129) | (r=65 & c=130) | (r=65 & c=132) | (r=65 & c=133) | (r=65 & c=134) | (r=65 & c=135) | (r=66 & c=122) | (r=66 & c=123) | (r=66 & c=124) | (r=66 & c=125) | (r=66 & c=126) | (r=66 & c=127) | (r=66 & c=128) | (r=66 & c=130) | (r=66 & c=131) | (r=66 & c=132) | (r=66 & c=133) | (r=66 & c=135) | (r=67 & c=121) | (r=67 & c=122) | (r=67 & c=123) | (r=67 & c=124) | (r=67 & c=125) | (r=67 & c=126) | (r=67 & c=127) | (r=67 & c=128) | (r=67 & c=129) | (r=67 & c=131) | (r=67 & c=132) | (r=67 & c=133) | (r=67 & c=134) | (r=67 & c=135) | (r=68 & c=121) | (r=68 & c=122) | (r=68 & c=123) | (r=68 & c=125) | (r=68 & c=126) | (r=68 & c=127) | (r=68 & c=128) | (r=68 & c=129) | (r=68 & c=130) | (r=68 & c=131) | (r=68 & c=132) | (r=68 & c=133) | (r=68 & c=134) | (r=68 & c=135) | (r=69 & c=121) | (r=69 & c=122) | (r=69 & c=123) | (r=69 & c=124) | (r=69 & c=126) | (r=69 & c=127) | (r=69 & c=128) | (r=69 & c=129) | (r=69 & c=130) | (r=69 & c=131) | (r=69 & c=133) | (r=69 & c=134) | (r=69 & c=135) | (r=70 & c=122) | (r=70 & c=123) | (r=70 & c=126) | (r=70 & c=127) | (r=70 & c=128) | (r=70 & c=129) | (r=70 & c=131) | (r=70 & c=132) | (r=70 & c=133) | (r=70 & c=134) | (r=70 & c=135) | (r=71 & c=121) | (r=71 & c=124) | (r=71 & c=125) | (r=71 & c=126) | (r=71 & c=127) | (r=71 & c=128) | (r=71 & c=129) | (r=71 & c=130) | (r=71 & c=132) | (r=71 & c=133) | (r=71 & c=134) | (r=71 & c=135) | (r=72 & c=122) | (r=72 & c=126) | (r=72 & c=127) | (r=72 & c=129) | (r=72 & c=130) | (r=72 & c=131) | (r=72 & c=132) | (r=72 & c=133) | (r=73 & c=121) | (r=73 & c=122) | (r=73 & c=123) | (r=73 & c=124) | (r=73 & c=126) | (r=73 & c=127) | (r=73 & c=128) | (r=73 & c=129) | (r=73 & c=130) | (r=73 & c=131) | (r=73 & c=132) | (r=73 & c=134) | (r=74 & c=122) | (r=74 & c=124) | (r=74 & c=125) | (r=74 & c=126) | (r=74 & c=127) | (r=74 & c=128) | (r=74 & c=130) | (r=74 & c=131) | (r=74 & c=132) | (r=74 & c=133) | (r=74 & c=134) | (r=74 & c=135) | (r=75 & c=121) | (r=75 & c=123) | (r=75 & c=124) | (r=75 & c=125) | (r=75 & c=127) | (r=75 & c=129) | (r=75 & c=130) | (r=75 & c=131) | (r=75 & c=132) | (r=75 & c=135) | (r=106 & c=123) | (r=106 & c=124) | (r=106 & c=126) | (r=106 & c=127) | (r=106 & c=130) | (r=106 & c=133) | (r=106 & c=134) | (r=106 & c=135) | (r=107 & c=121) | (r=107 & c=122) | (r=107 & c=123) | (r=107 & c=124) | (r=107 & c=126) | (r=107 & c=127) | (r=107 & c=128) | (r=107 & c=129) | (r=107 & c=130) | (r=107 & c=131) | (r=107 & c=135) | (r=108 & c=121) | (r=108 & c=123) | (r=108 & c=124) | (r=108 & c=125) | (r=108 & c=126) | (r=108 & c=127) | (r=108 & c=128) | (r=108 & c=129) | (r=108 & c=130) | (r=108 & c=134) | (r=108 & c=135) | (r=109 & c=121) | (r=109 & c=122) | (r=109 & c=123) | (r=109 & c=124) | (r=109 & c=125) | (r=109 & c=126) | (r=109 & c=127) | (r=109 & c=128) | (r=109 & c=129) | (r=109 & c=131) | (r=109 & c=132) | (r=109 & c=133) | (r=109 & c=134) | (r=109 & c=135) | (r=110 & c=122) | (r=110 & c=123) | (r=110 & c=124) | (r=110 & c=128) | (r=110 & c=129) | (r=110 & c=130) | (r=110 & c=131) | (r=110 & c=133) | (r=110 & c=135) | (r=111 & c=121) | (r=111 & c=122) | (r=111 & c=127) | (r=111 & c=128) | (r=111 & c=129) | (r=111 & c=130) | (r=111 & c=131) | (r=111 & c=132) | (r=111 & c=134) | (r=111 & c=135) | (r=112 & c=121) | (r=112 & c=124) | (r=112 & c=125) | (r=112 & c=126) | (r=112 & c=127) | (r=112 & c=128) | (r=112 & c=129) | (r=112 & c=130) | (r=112 & c=131) | (r=112 & c=132) | (r=112 & c=133) | (r=112 & c=135) | (r=113 & c=121) | (r=113 & c=123) | (r=113 & c=124) | (r=113 & c=125) | (r=113 & c=126) | (r=113 & c=127) | (r=113 & c=128) | (r=113 & c=130) | (r=113 & c=131) | (r=113 & c=133) | (r=113 & c=134) | (r=113 & c=135) | (r=114 & c=121) | (r=114 & c=122) | (r=114 & c=124) | (r=114 & c=125) | (r=114 & c=126) | (r=114 & c=127) | (r=114 & c=128) | (r=114 & c=129) | (r=114 & c=130) | (r=114 & c=131) | (r=114 & c=132) | (r=114 & c=133) | (r=115 & c=121) | (r=115 & c=123) | (r=115 & c=125) | (r=115 & c=126) | (r=115 & c=129) | (r=115 & c=130) | (r=115 & c=131) | (r=115 & c=132) | (r=115 & c=133) | (r=115 & c=134) | (r=115 & c=135) | (r=116 & c=121) | (r=116 & c=122) | (r=116 & c=123) | (r=116 & c=124) | (r=116 & c=126) | (r=116 & c=128) | (r=116 & c=129) | (r=116 & c=130) | (r=116 & c=132) | (r=116 & c=134) | (r=117 & c=121) | (r=117 & c=124) | (r=117 & c=125) | (r=117 & c=127) | (r=117 & c=128) | (r=117 & c=129) | (r=117 & c=131) | (r=117 & c=132) | (r=117 & c=133) | (r=117 & c=134) | (r=117 & c=135) | (r=118 & c=122) | (r=118 & c=124) | (r=118 & c=125) | (r=118 & c=127) | (r=118 & c=130) | (r=118 & c=131) | (r=118 & c=132) | (r=118 & c=133) | (r=118 & c=134) | (r=118 & c=135) | (r=119 & c=122) | (r=119 & c=123) | (r=119 & c=124) | (r=119 & c=125) | (r=119 & c=126) | (r=119 & c=127) | (r=119 & c=128) | (r=119 & c=129) | (r=119 & c=130) | (r=119 & c=132) | (r=119 & c=133) | (r=119 & c=134) | (r=119 & c=135) | (r=120 & c=121) | (r=120 & c=122) | (r=120 & c=123) | (r=120 & c=124) | (r=120 & c=125) | (r=120 & c=126) | (r=120 & c=127) | (r=120 & c=128) | (r=120 & c=130) | (r=120 & c=131) | (r=120 & c=133) | (r=120 & c=135) | (r=51 & c=2) | (r=83 & c=12) | (r=17 & c=14) | (r=22 & c=2) | (r=34 & c=15) | (r=107 & c=4) | (r=33 & c=9) | (r=45 & c=8) | (r=68 & c=7) | (r=81 & c=3) | (r=103 & c=11) | (r=34 & c=5) | (r=136 & c=8) | (r=18 & c=9) | (r=121 & c=5) | (r=67 & c=12) | (r=74 & c=12) | (r=86 & c=2) | (r=72 & c=4) | (r=69 & c=4) | (r=113 & c=12) | (r=83 & c=11) | (r=43 & c=15) | (r=65 & c=15) | (r=35 & c=10) | (r=31 & c=12) | (r=69 & c=11) | (r=70 & c=2) | (r=27 & c=12) | (r=67 & c=11) | (r=67 & c=2) | (r=80 & c=11) | (r=20 & c=15) | (r=84 & c=9) | (r=56 & c=7) | (r=18 & c=4) | (r=61 & c=10) | (r=31 & c=11) | (r=36 & c=1) | (r=55 & c=14) | (r=56 & c=14) | (r=90 & c=5) | (r=20 & c=1) | (r=43 & c=2) | (r=82 & c=8) | (r=101 & c=15) | (r=18 & c=15) | (r=91 & c=1) | (r=22 & c=13) | (r=70 & c=3) | (r=28 & c=10) | (r=73 & c=13) | (r=84 & c=15) | (r=86 & c=12) | (r=79 & c=4) | (r=113 & c=9) | (r=112 & c=8) | (r=64 & c=14) | (r=45 & c=6) | (r=66 & c=2) | (r=27 & c=9) | (r=73 & c=12) | (r=105 & c=8) | (r=49 & c=13) | (r=126 & c=9) | (r=90 & c=6) | (r=33 & c=5) | (r=20 & c=11) | (r=19 & c=12) | (r=16 & c=10) | (r=31 & c=14) | (r=21 & c=2) | (r=59 & c=10) | (r=107 & c=9) | (r=41 & c=7) | (r=41 & c=1) | (r=76 & c=5) | (r=26 & c=5) | (r=118 & c=2) | (r=83 & c=10) | (r=25 & c=3) | (r=121 & c=4) | (r=20 & c=6) | (r=85 & c=2) | (r=67 & c=9) | (r=53 & c=2) | (r=18 & c=1) | (r=36 & c=6) | (r=22 & c=12) | (r=30 & c=15) | (r=78 & c=11) | (r=35 & c=4) | (r=25 & c=13) | (r=49 & c=1) | (r=37 & c=8) | (r=34 & c=14) | (r=17 & c=12) | (r=66 & c=6) | (r=34 & c=12) | (r=30 & c=11) | (r=72 & c=7) | (r=62 & c=12) | (r=115 & c=9) | (r=45 & c=2) | (r=78 & c=14) | (r=55 & c=9) | (r=43 & c=10) | (r=18 & c=7) | (r=27 & c=5) | (r=73 & c=6) | (r=38 & c=11) | (r=33 & c=12) | (r=82 & c=1) | (r=30 & c=14) | (r=37 & c=6) | (r=26 & c=9) | (r=85 & c=5) | (r=61 & c=5) | (r=51 & c=15) | (r=126 & c=4) | (r=131 & c=8) | (r=28 & c=15) | (r=18 & c=14) | (r=67 & c=1) | (r=78 & c=15) | (r=117 & c=10) | (r=44 & c=1) | (r=28 & c=7) | (r=29 & c=2) | (r=24 & c=1) | (r=69 & c=3) | (r=27 & c=14) | (r=43 & c=11) | (r=69 & c=8) | (r=75 & c=2) | (r=70 & c=11) | (r=42 & c=8) | (r=70 & c=12) | (r=80 & c=5) | (r=23 & c=6) | (r=134 & c=10) | (r=24 & c=5) | (r=118 & c=6) | (r=64 & c=13) | (r=67 & c=13) | (r=74 & c=4) | (r=65 & c=6) | (r=109 & c=13) | (r=133 & c=5) | (r=79 & c=11) | (r=39 & c=7) | (r=34 & c=7) | (r=59 & c=2) | (r=40 & c=4) | (r=17 & c=6) | (r=76 & c=10) | (r=82 & c=14) | (r=65 & c=13) | (r=74 & c=7) | (r=45 & c=10) | (r=80 & c=8) | (r=75 & c=14) | (r=38 & c=5) | (r=36 & c=15) | (r=33 & c=7) | (r=65 & c=3) | (r=44 & c=11) | (r=119 & c=11) | (r=90 & c=4) | (r=115 & c=2) | (r=32 & c=8) | (r=40 & c=1) | (r=47 & c=2) | (r=74 & c=15) | (r=75 & c=11) | (r=32 & c=2) | (r=65 & c=11) | (r=77 & c=4) | (r=37 & c=7) | (r=37 & c=4) | (r=89 & c=1) | (r=50 & c=15) | (r=89 & c=15) | (r=73 & c=9) | (r=136 & c=13) | (r=16 & c=9) | (r=86 & c=5) | (r=26 & c=7) | (r=67 & c=3) | (r=90 & c=2) | (r=53 & c=10) | (r=50 & c=4) | (r=63 & c=2) | (r=32 & c=13) | (r=51 & c=1) | (r=43 & c=14) | (r=74 & c=3) | (r=115 & c=15) | (r=54 & c=14) | (r=81 & c=4) | (r=33 & c=14) | (r=31 & c=7) | (r=62 & c=5) | (r=37 & c=10) | (r=18 & c=6) | (r=77 & c=12) | (r=82 & c=10) | (r=79 & c=13) | (r=71 & c=2) | (r=103 & c=7) | (r=69 & c=5) | (r=37 & c=15) | (r=120 & c=12) | (r=68 & c=8) | (r=26 & c=12) | (r=94 & c=8) | (r=85 & c=3) | (r=39 & c=14) | (r=100 & c=15) | (r=32 & c=9) | (r=80 & c=2) | (r=90 & c=8) | (r=16 & c=13) | (r=58 & c=4) | (r=86 & c=4) | (r=55 & c=1) | (r=55 & c=5) | (r=31 & c=13) | (r=40 & c=2) | (r=88 & c=2) | (r=36 & c=14) | (r=131 & c=15) | (r=29 & c=13) | (r=21 & c=6) | (r=88 & c=12) | (r=90 & c=10) | (r=37 & c=11) | (r=83 & c=4) | (r=75 & c=7) | (r=105 & c=3) | (r=41 & c=12) | (r=130 & c=14) | (r=66 & c=9) | (r=76 & c=8) | (r=80 & c=9) | (r=83 & c=15) | (r=124 & c=12) | (r=34 & c=6) | (r=83 & c=2) | (r=65 & c=9) | (r=16 & c=1) | (r=88 & c=3) | (r=70 & c=15) | (r=28 & c=8) | (r=26 & c=10) | (r=104 & c=1) | (r=114 & c=9) | (r=16 & c=11) | (r=38 & c=12) | (r=29 & c=1) | (r=107 & c=15) | (r=17 & c=8) | (r=69 & c=12) | (r=78 & c=3) | (r=73 & c=1) | (r=62 & c=8) | (r=126 & c=11) | (r=41 & c=5) | (r=116 & c=4) | (r=64 & c=6) | (r=132 & c=3) | (r=69 & c=14) | (r=42 & c=11) | (r=24 & c=8) | (r=46 & c=8) | (r=23 & c=7) | (r=136 & c=12) | (r=80 & c=4) | (r=80 & c=15) | (r=90 & c=12) | (r=34 & c=10) | (r=128 & c=1) | (r=16 & c=4) | (r=87 & c=15) | (r=24 & c=6) | (r=58 & c=10) | (r=42 & c=12) | (r=64 & c=12) | (r=33 & c=15) | (r=33 & c=3) | (r=16 & c=6) | (r=45 & c=1) | (r=88 & c=5) | (r=40 & c=13) | (r=78 & c=9) | (r=36 & c=12) | (r=70 & c=5) | (r=24 & c=13) | (r=67 & c=15) | (r=48 & c=5) | (r=76 & c=11) | (r=16 & c=12) | (r=66 & c=7) | (r=60 & c=28) | (r=51 & c=19) | (r=34 & c=17) | (r=24 & c=28) | (r=116 & c=18) | (r=55 & c=29) | (r=77 & c=2) | (r=115 & c=30) | (r=36 & c=21) | (r=72 & c=8) | (r=111 & c=5) | (r=73 & c=8) | (r=63 & c=5) | (r=58 & c=19) | (r=65 & c=1) | (r=17 & c=15) | (r=27 & c=3) | (r=117 & c=22) | (r=24 & c=19) | (r=23 & c=15) | (r=90 & c=15) | (r=74 & c=5) | (r=43 & c=21) | (r=25 & c=25) | (r=39 & c=9) | (r=115 & c=19) | (r=37 & c=1) | (r=61 & c=13) | (r=95 & c=5) | (r=56 & c=9) | (r=119 & c=22) | (r=23 & c=11) | (r=18 & c=8) | (r=16 & c=22) | (r=129 & c=7) | (r=93 & c=23) | (r=74 & c=9) | (r=106 & c=24) | (r=106 & c=27) | (r=106 & c=30) | (r=35 & c=6) | (r=75 & c=8) | (r=61 & c=11) | (r=84 & c=2) | (r=108 & c=27) | (r=78 & c=12) | (r=116 & c=12) | (r=20 & c=3) | (r=27 & c=7) | (r=104 & c=9) | (r=79 & c=10) | (r=19 & c=18) | (r=40 & c=23) | (r=43 & c=8) | (r=122 & c=15) | (r=76 & c=18) | (r=57 & c=29) | (r=107 & c=16) | (r=23 & c=5) | (r=33 & c=19) | (r=56 & c=28) | (r=24 & c=11) | (r=47 & c=18) | (r=87 & c=1) | (r=38 & c=15) | (r=70 & c=9) | (r=18 & c=30) | (r=18 & c=20) | (r=122 & c=29) | (r=123 & c=5) | (r=89 & c=12) | (r=38 & c=19) | (r=50 & c=18) | (r=113 & c=24) | (r=17 & c=19) | (r=79 & c=1) | (r=52 & c=16) | (r=91 & c=15) | (r=70 & c=21) | (r=40 & c=19) | (r=71 & c=10) | (r=31 & c=15) | (r=136 & c=20) | (r=25 & c=21) | (r=40 & c=17) | (r=107 & c=22) | (r=44 & c=19) | (r=44 & c=4) | (r=35 & c=26) | (r=48 & c=26) | (r=63 & c=8) | (r=35 & c=22) | (r=78 & c=24) | (r=116 & c=26) | (r=25 & c=26) | (r=59 & c=27) | (r=28 & c=26) | (r=48 & c=21) | (r=28 & c=20) | (r=17 & c=16) | (r=77 & c=6) | (r=130 & c=30) | (r=44 & c=28) | (r=92 & c=26) | (r=31 & c=25) | (r=20 & c=30) | (r=111 & c=24) | (r=74 & c=10) | (r=50 & c=27) | (r=76 & c=14) | (r=38 & c=24) | (r=16 & c=2) | (r=86 & c=13) | (r=52 & c=23) | (r=86 & c=21) | (r=69 & c=13) | (r=23 & c=1) | (r=60 & c=22) | (r=63 & c=1) | (r=23 & c=28) | (r=81 & c=13) | (r=60 & c=9) | (r=118 & c=26) | (r=42 & c=29) | (r=108 & c=28) | (r=68 & c=4) | (r=59 & c=24) | (r=58 & c=30) | (r=53 & c=1) | (r=73 & c=14) | (r=24 & c=3) | (r=53 & c=28) | (r=52 & c=30) | (r=106 & c=19) | (r=17 & c=21) | (r=30 & c=27) | (r=113 & c=30) | (r=85 & c=26) | (r=62 & c=28) | (r=37 & c=20) | (r=55 & c=4) | (r=49 & c=21) | (r=106 & c=17) | (r=89 & c=17) | (r=126 & c=19) | (r=79 & c=12) | (r=18 & c=18) | (r=65 & c=18) | (r=26 & c=18) | (r=59 & c=19) | (r=74 & c=23) | (r=129 & c=13) | (r=45 & c=29) | (r=65 & c=16) | (r=105 & c=4) | (r=68 & c=29) | (r=21 & c=21) | (r=99 & c=24) | (r=63 & c=6) | (r=36 & c=4) | (r=56 & c=18) | (r=80 & c=10) | (r=73 & c=5) | (r=63 & c=28) | (r=59 & c=25) | (r=56 & c=5) | (r=54 & c=16) | (r=46 & c=25) | (r=19 & c=17) | (r=109 & c=18) | (r=119 & c=24) | (r=45 & c=22) | (r=81 & c=21) | (r=129 & c=15) | (r=62 & c=3) | (r=38 & c=23) | (r=57 & c=23) | (r=26 & c=17) | (r=31 & c=30) | (r=104 & c=21) | (r=100 & c=20) | (r=83 & c=6) | (r=22 & c=6) | (r=23 & c=22) | (r=124 & c=5) | (r=31 & c=9) | (r=88 & c=11) | (r=96 & c=29) | (r=26 & c=16) | (r=35 & c=15) | (r=44 & c=30) | (r=109 & c=26) | (r=26 & c=19) | (r=48 & c=19) | (r=90 & c=3) | (r=30 & c=26) | (r=63 & c=26) | (r=51 & c=16) | (r=53 & c=30) | (r=87 & c=5) | (r=112 & c=27) | (r=33 & c=2) | (r=34 & c=18) | (r=64 & c=10) | (r=56 & c=26) | (r=116 & c=29) | (r=56 & c=30) | (r=32 & c=22) | (r=56 & c=16) | (r=47 & c=20) | (r=40 & c=9) | (r=120 & c=25) | (r=22 & c=22) | (r=41 & c=24) | (r=41 & c=8) | (r=129 & c=24) | (r=133 & c=20) | (r=114 & c=18) | (r=43 & c=24) | (r=24 & c=29) | (r=21 & c=29) | (r=77 & c=22) | (r=19 & c=1) | (r=19 & c=16) | (r=24 & c=12) | (r=49 & c=29) | (r=56 & c=19) | (r=46 & c=30) | (r=38 & c=22) | (r=39 & c=29) | (r=107 & c=25) | (r=114 & c=21) | (r=136 & c=3) | (r=68 & c=6) | (r=59 & c=20) | (r=25 & c=14) | (r=90 & c=13) | (r=45 & c=27) | (r=77 & c=13) | (r=20 & c=26) | (r=73 & c=11) | (r=24 & c=23) | (r=20 & c=16) | (r=27 & c=10) | (r=136 & c=9) | (r=31 & c=5) | (r=88 & c=21) | (r=80 & c=7) | (r=64 & c=5) | (r=24 & c=18) | (r=62 & c=25) | (r=21 & c=26) | (r=87 & c=13) | (r=55 & c=19) | (r=96 & c=19) | (r=126 & c=7) | (r=18 & c=25) | (r=20 & c=8) | (r=88 & c=1) | (r=109 & c=20) | (r=40 & c=26) | (r=38 & c=9) | (r=57 & c=25) | (r=103 & c=44) | (r=86 & c=30) | (r=101 & c=38) | (r=74 & c=43) | (r=109 & c=27) | (r=102 & c=38) | (r=64 & c=8) | (r=88 & c=31) | (r=25 & c=40) | (r=131 & c=33) | (r=48 & c=35) | (r=132 & c=31) | (r=119 & c=29) | (r=18 & c=41) | (r=85 & c=20) | (r=37 & c=16) | (r=20 & c=28) | (r=81 & c=32) | (r=37 & c=41) | (r=94 & c=12) | (r=69 & c=24) | (r=105 & c=42) | (r=40 & c=32) | (r=52 & c=28) | (r=77 & c=33) | (r=81 & c=44) | (r=33 & c=25) | (r=71 & c=4) | (r=135 & c=35) | (r=16 & c=30) | (r=25 & c=36) | (r=108 & c=32) | (r=92 & c=34) | (r=126 & c=38) | (r=63 & c=42) | (r=21 & c=20) | (r=40 & c=14) | (r=72 & c=24) | (r=58 & c=33) | (r=22 & c=35) | (r=22 & c=3) | (r=92 & c=25) | (r=119 & c=9) | (r=73 & c=43) | (r=77 & c=37) | (r=86 & c=42) | (r=57 & c=33) | (r=65 & c=34) | (r=36 & c=34) | (r=66 & c=16) | (r=16 & c=15) | (r=96 & c=40) | (r=21 & c=24) | (r=35 & c=19) | (r=127 & c=41) | (r=99 & c=19) | (r=58 & c=42) | (r=46 & c=45) | (r=93 & c=39) | (r=136 & c=18) | (r=115 & c=43) | (r=61 & c=35) | (r=77 & c=36) | (r=96 & c=42) | (r=109 & c=42) | (r=115 & c=21) | (r=41 & c=36) | (r=72 & c=12) | (r=125 & c=41) | (r=63 & c=10) | (r=121 & c=19) | (r=25 & c=6) | (r=133 & c=45) | (r=25 & c=38) | (r=47 & c=41) | (r=80 & c=43) | (r=27 & c=26) | (r=40 & c=45) | (r=78 & c=32) | (r=21 & c=28) | (r=87 & c=36) | (r=84 & c=40) | (r=122 & c=43) | (r=39 & c=43) | (r=59 & c=23) | (r=63 & c=34) | (r=64 & c=15) | (r=51 & c=33) | (r=52 & c=43) | (r=61 & c=14) | (r=80 & c=44) | (r=66 & c=28) | (r=75 & c=41) | (r=70 & c=7) | (r=135 & c=20) | (r=42 & c=14) | (r=88 & c=13) | (r=25 & c=17) | (r=82 & c=5) | (r=105 & c=35) | (r=60 & c=41) | (r=99 & c=26) | (r=112 & c=23) | (r=83 & c=32) | (r=127 & c=31) | (r=74 & c=38) | (r=117 & c=21) | (r=79 & c=32) | (r=70 & c=33) | (r=65 & c=14) | (r=36 & c=3) | (r=55 & c=39) | (r=136 & c=14) | (r=121 & c=36) | (r=37 & c=43) | (r=19 & c=34) | (r=84 & c=34) | (r=61 & c=45) | (r=42 & c=30) | (r=16 & c=24) | (r=95 & c=8) | (r=41 & c=28) | (r=105 & c=16) | (r=59 & c=35) | (r=107 & c=18) | (r=22 & c=31) | (r=68 & c=44) | (r=129 & c=41) | (r=51 & c=29) | (r=98 & c=24) | (r=122 & c=2) | (r=100 & c=32) | (r=91 & c=38) | (r=118 & c=33) | (r=26 & c=20) | (r=84 & c=12) | (r=94 & c=38) | (r=26 & c=34) | (r=45 & c=41) | (r=80 & c=37) | (r=111 & c=29) | (r=40 & c=42) | (r=57 & c=19) | (r=20 & c=23) | (r=104 & c=43) | (r=95 & c=34) | (r=34 & c=40) | (r=116 & c=16) | (r=56 & c=40) | (r=83 & c=25) | (r=23 & c=42) | (r=46 & c=43) | (r=19 & c=27) | (r=100 & c=40) | (r=91 & c=37) | (r=38 & c=7) | (r=65 & c=4) | (r=82 & c=33) | (r=84 & c=13) | (r=32 & c=45) | (r=117 & c=37) | (r=111 & c=18) | (r=122 & c=41) | (r=68 & c=12) | (r=99 & c=34) | (r=87 & c=31) | (r=42 & c=21) | (r=118 & c=22) | (r=84 & c=35) | (r=30 & c=1) | (r=52 & c=41) | (r=86 & c=17) | (r=30 & c=42) | (r=82 & c=43) | (r=83 & c=39) | (r=29 & c=31) | (r=120 & c=17) | (r=124 & c=42) | (r=114 & c=7) | (r=70 & c=6) | (r=65 & c=41) | (r=71 & c=5) | (r=25 & c=5) | (r=124 & c=7) | (r=81 & c=34) | (r=31 & c=38) | (r=93 & c=32) | (r=79 & c=43) | (r=128 & c=41) | (r=93 & c=37) | (r=18 & c=13) | (r=110 & c=21) | (r=60 & c=16) | (r=70 & c=38) | (r=19 & c=11) | (r=75 & c=31) | (r=123 & c=42) | (r=24 & c=44) | (r=23 & c=27) | (r=133 & c=36) | (r=17 & c=24) | (r=63 & c=15) | (r=42 & c=4) | (r=35 & c=30) | (r=81 & c=40) | (r=38 & c=35) | (r=16 & c=19) | (r=133 & c=34) | (r=91 & c=45) | (r=96 & c=37) | (r=81 & c=31) | (r=35 & c=32) | (r=120 & c=20) | (r=32 & c=27) | (r=43 & c=12) | (r=50 & c=42) | (r=98 & c=44) | (r=131 & c=52) | (r=22 & c=43) | (r=79 & c=9) | (r=102 & c=35) | (r=43 & c=40) | (r=21 & c=25) | (r=102 & c=31) | (r=120 & c=52) | (r=93 & c=31) | (r=55 & c=43) | (r=41 & c=15) | (r=120 & c=19) | (r=50 & c=16) | (r=27 & c=54) | (r=90 & c=41) | (r=55 & c=40) | (r=93 & c=49) | (r=124 & c=50) | (r=129 & c=57) | (r=67 & c=6) | (r=67 & c=14) | (r=110 & c=53) | (r=70 & c=8) | (r=56 & c=31) | (r=98 & c=1) | (r=26 & c=23) | (r=33 & c=55) | (r=27 & c=46) | (r=99 & c=54) | (r=41 & c=33) | (r=39 & c=42) | (r=44 & c=53) | (r=45 & c=34) | (r=114 & c=54) | (r=73 & c=19) | (r=115 & c=51) | (r=104 & c=30) | (r=43 & c=34) | (r=63 & c=47) | (r=28 & c=24) | (r=136 & c=42) | (r=28 & c=60) | (r=78 & c=31) | (r=71 & c=59) | (r=80 & c=36) | (r=45 & c=33) | (r=109 & c=54) | (r=81 & c=43) | (r=80 & c=16) | (r=110 & c=43) | (r=64 & c=52) | (r=111 & c=20) | (r=130 & c=43) | (r=95 & c=52) | (r=63 & c=27) | (r=79 & c=34) | (r=16 & c=14) | (r=105 & c=56) | (r=68 & c=36) | (r=37 & c=17) | (r=43 & c=36) | (r=91 & c=52) | (r=43 & c=30) | (r=74 & c=14) | (r=48 & c=33) | (r=35 & c=57) | (r=69 & c=39) | (r=57 & c=28) | (r=83 & c=42) | (r=74 & c=53) | (r=111 & c=56) | (r=76 & c=4) | (r=26 & c=59) | (r=44 & c=47) | (r=22 & c=38) | (r=123 & c=54) | (r=117 & c=29) | (r=112 & c=10) | (r=37 & c=36) | (r=130 & c=58) | (r=130 & c=34) | (r=98 & c=54) | (r=24 & c=9) | (r=29 & c=44) | (r=112 & c=55) | (r=59 & c=42) | (r=90 & c=11) | (r=36 & c=32) | (r=37 & c=18) | (r=110 & c=36) | (r=27 & c=4) | (r=40 & c=35) | (r=122 & c=35) | (r=43 & c=42) | (r=100 & c=57) | (r=38 & c=38) | (r=24 & c=53) | (r=41 & c=41) | (r=84 & c=45) | (r=112 & c=36) | (r=110 & c=28) | (r=67 & c=51) | (r=86 & c=49) | (r=90 & c=34) | (r=97 & c=38) | (r=17 & c=50) | (r=20 & c=34) | (r=29 & c=7) | (r=56 & c=43) | (r=122 & c=48) | (r=104 & c=25) | (r=57 & c=40) | (r=82 & c=44) | (r=111 & c=28) | (r=45 & c=39) | (r=132 & c=47) | (r=105 & c=15) | (r=134 & c=56) | (r=45 & c=36) | (r=68 & c=9) | (r=130 & c=20) | (r=78 & c=25) | (r=21 & c=10) | (r=72 & c=58) | (r=32 & c=51) | (r=109 & c=12) | (r=27 & c=44) | (r=134 & c=55) | (r=117 & c=54) | (r=85 & c=10) | (r=109 & c=19) | (r=69 & c=7) | (r=38 & c=29) | (r=75 & c=32) | (r=100 & c=58) | (r=16 & c=42) | (r=99 & c=23) | (r=23 & c=50) | (r=43 & c=60) | (r=20 & c=50) | (r=25 & c=43) | (r=116 & c=60) | (r=70 & c=32) | (r=135 & c=39) | (r=136 & c=23) | (r=122 & c=32) | (r=104 & c=57) | (r=42 & c=41) | (r=44 & c=12) | (r=121 & c=45) | (r=21 & c=56) | (r=95 & c=10) | (r=95 & c=24) | (r=36 & c=16) | (r=71 & c=15) | (r=97 & c=40) | (r=79 & c=22) | (r=124 & c=38) | (r=25 & c=47) | (r=54 & c=43) | (r=109 & c=47) | (r=127 & c=33) | (r=115 & c=56) | (r=102 & c=40) | (r=96 & c=52) | (r=36 & c=28) | (r=30 & c=24) | (r=37 & c=55) | (r=45 & c=23) | (r=80 & c=41) | (r=92 & c=4) | (r=91 & c=31) | (r=88 & c=43) | (r=136 & c=46) | (r=38 & c=54) | (r=123 & c=34) | (r=94 & c=31) | (r=127 & c=46) | (r=89 & c=6) | (r=128 & c=32) | (r=73 & c=28) | (r=101 & c=66) | (r=78 & c=8) | (r=62 & c=32) | (r=94 & c=42) | (r=51 & c=25) | (r=86 & c=36) | (r=23 & c=60) | (r=125 & c=17) | (r=16 & c=25) | (r=44 & c=44) | (r=114 & c=17) | (r=56 & c=10) | (r=39 & c=1) | (r=58 & c=34) | (r=96 & c=69) | (r=114 & c=59) | (r=112 & c=58) | (r=53 & c=17) | (r=113 & c=74) | (r=87 & c=69) | (r=62 & c=52) | (r=92 & c=48) | (r=71 & c=52) | (r=96 & c=61) | (r=119 & c=47) | (r=120 & c=16) | (r=104 & c=70) | (r=56 & c=2) | (r=20 & c=27) | (r=36 & c=55) | (r=131 & c=44) | (r=93 & c=61) | (r=71 & c=35) | (r=24 & c=7) | (r=85 & c=70) | (r=120 & c=64) | (r=80 & c=66) | (r=72 & c=55) | (r=97 & c=69) | (r=27 & c=36) | (r=27 & c=30) | (r=93 & c=66) | (r=63 & c=43) | (r=103 & c=42) | (r=93 & c=52) | (r=94 & c=66) | (r=104 & c=69) | (r=89 & c=71) | (r=102 & c=53) | (r=91 & c=39) | (r=75 & c=43) | (r=121 & c=49) | (r=19 & c=39) | (r=66 & c=48) | (r=42 & c=9) | (r=69 & c=61) | (r=25 & c=2) | (r=60 & c=67) | (r=27 & c=55) | (r=36 & c=27) | (r=32 & c=15) | (r=28 & c=67) | (r=79 & c=5) | (r=23 & c=74) | (r=30 & c=47) | (r=23 & c=34) | (r=103 & c=47) | (r=69 & c=9) | (r=106 & c=69) | (r=132 & c=33) | (r=20 & c=31) | (r=136 & c=17) | (r=18 & c=75) | (r=21 & c=60) | (r=39 & c=45) | (r=59 & c=28) | (r=94 & c=29) | (r=65 & c=7) | (r=31 & c=34) | (r=124 & c=40) | (r=112 & c=26) | (r=20 & c=49) | (r=130 & c=50) | (r=129 & c=36) | (r=112 & c=49) | (r=95 & c=46) | (r=72 & c=48) | (r=103 & c=54) | (r=43 & c=50) | (r=90 & c=43) | (r=42 & c=51) | (r=95 & c=71) | (r=111 & c=74) | (r=43 & c=7) | (r=101 & c=43) | (r=22 & c=44) | (r=112 & c=70) | (r=58 & c=69) | (r=41 & c=10) | (r=26 & c=58) | (r=100 & c=48) | (r=57 & c=41) | (r=29 & c=9) | (r=36 & c=11) | (r=50 & c=32) | (r=104 & c=35) | (r=86 & c=48) | (r=64 & c=59) | (r=101 & c=49) | (r=57 & c=74) | (r=97 & c=67) | (r=67 & c=48) | (r=47 & c=58) | (r=120 & c=56) | (r=49 & c=39) | (r=21 & c=74) | (r=47 & c=37) | (r=22 & c=17) | (r=32 & c=31) | (r=83 & c=31) | (r=27 & c=66) | (r=122 & c=57) | (r=31 & c=88) | (r=127 & c=52) | (r=68 & c=63) | (r=110 & c=22) | (r=78 & c=83) | (r=56 & c=88) | (r=46 & c=33) | (r=114 & c=43) | (r=129 & c=73) | (r=109 & c=67) | (r=46 & c=26) | (r=47 & c=67) | (r=28 & c=68) | (r=124 & c=60) | (r=44 & c=84) | (r=20 & c=12) | (r=31 & c=54) | (r=63 & c=32) | (r=60 & c=73) | (r=45 & c=84) | (r=68 & c=48) | (r=30 & c=35) | (r=79 & c=64) | (r=136 & c=6) | (r=115 & c=89) | (r=60 & c=94) | (r=44 & c=27) | (r=110 & c=40) | (r=66 & c=38) | (r=58 & c=76) | (r=121 & c=67) | (r=107 & c=98) | (r=59 & c=37) | (r=96 & c=58) | (r=62 & c=7) | (r=127 & c=40) | (r=74 & c=68) | (r=130 & c=28) | (r=59 & c=29) | (r=60 & c=37) | (r=46 & c=31) | (r=68 & c=91) | (r=76 & c=82) | (r=69 & c=93) | (r=30 & c=20) | (r=101 & c=85) | (r=19 & c=46) | (r=31 & c=39) | (r=76 & c=69) | (r=43 & c=48) | (r=79 & c=91) | (r=31 & c=53) | (r=110 & c=20) | (r=71 & c=34) | (r=56 & c=47) | (r=127 & c=107) | (r=65 & c=119) | (r=54 & c=70) | (r=19 & c=73) | (r=46 & c=95) | (r=95 & c=70) | (r=84 & c=49) | (r=17 & c=106) | (r=102 & c=104) | (r=83 & c=94) | (r=59 & c=94) | (r=107 & c=54) | (r=111 & c=73) | (r=96 & c=115) | (r=126 & c=40) | (r=46 & c=116) | (r=31 & c=114) | (r=136 & c=43) | (r=91 & c=115) | (r=114 & c=28) | (r=109 & c=119) | (r=71 & c=67) | (r=136 & c=53) | (r=23 & c=35) | (r=80 & c=61) | (r=121 & c=96) | (r=123 & c=82) | (r=111 & c=87) | (r=130 & c=92) | (r=81 & c=11) | (r=119 & c=51) | (r=76 & c=104) | (r=124 & c=84) | (r=39 & c=41) | (r=102 & c=118) | (r=100 & c=134) | (r=56 & c=89) | (r=118 & c=64) | (r=62 & c=49) | (r=55 & c=42) | (r=100 & c=70) | (r=53 & c=69) | (r=35 & c=43) | (r=38 & c=90) | (r=22 & c=67) | (r=32 & c=117) | (r=116 & c=99) | (r=16 & c=65) | (r=133 & c=93) | (r=111 & c=22) | (r=111 & c=145) | (r=65 & c=44) | (r=43 & c=105) | (r=20 & c=119) | (r=34 & c=54) | (r=102 & c=65) | (r=28 & c=115) | (r=44 & c=86) | (r=64 & c=76) | (r=86 & c=69) | (r=50 & c=26) | (r=110 & c=73) | (r=79 & c=125) | (r=24 & c=97) | (r=18 & c=57) | (r=51 & c=134) | (r=42 & c=5) | (r=40 & c=135) | (r=33 & c=143);

rewards
	[east] !wall : 1;
	[south] !wall : 1;
	[west] !wall : 1;
	[north] !wall : 1;

	[east] wall : 50.0;
	[south] wall : 50.0;
	[west] wall : 50.0;
	[north] wall : 50.0;
endrewards