//
// This file has been generated with Kappa
//
// -- state encoding: instances
// -- compaction : relative
// -- further compaction: yes

nondeterministic

module impl4000 

tg : [0..62] init 0; 
n : [0..147] init 0;

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


endmodule