testing case01
** ok: case01
** ok: case01p1
** ok: case01p9
** ok: case01f0
** ok: case01u
** ok: case01k
** ok: case01r1
** ok: case01r2
** ok: case01b
** ok: case01R
** ok: case01Rp0
testing case02
** ok: case02
** ok: case02p1
** ok: case02p9
** ok: case02f0
** ok: case02u
** ok: case02k
** ok: case02r1
** ok: case02r2
** ok: case02b
** ok: case02R
** ok: case02Rp0
testing case03
** ok: case03
** ok: case03p1
** ok: case03p9
** ok: case03f0
** ok: case03u
** ok: case03k
** ok: case03r1
** ok: case03r2
** ok: case03b
** ok: case03R
** ok: case03Rp0
testing case04
** ok: case04
** ok: case04p1
** ok: case04p9
** ok: case04f0
** ok: case04u
** ok: case04k
** ok: case04r1
** ok: case04r2
** ok: case04b
** ok: case04R
** ok: case04Rp0
testing case05
** ok: case05
** ok: case05p1
** ok: case05p9
** ok: case05f0
** ok: case05u
** ok: case05k
** ok: case05r1
** ok: case05r2
** ok: case05b
** ok: case05R
** ok: case05Rp0
testing case06
** ok: case06
** ok: case06p1
** ok: case06p9
** ok: case06f0
** ok: case06u
** ok: case06k
** ok: case06r1
** ok: case06r2
** ok: case06b
** ok: case06R
** ok: case06Rp0
testing case07
** ok: case07
** ok: case07p1
** ok: case07p9
** ok: case07f0
** ok: case07u
** ok: case07k
** ok: case07r1
** ok: case07r2
** ok: case07b
** ok: case07R
** ok: case07Rp0
testing case08
** ok: case08
** ok: case08p1
** ok: case08p9
** ok: case08f0
** ok: case08u
** ok: case08k
** ok: case08r1
** ok: case08r2
** ok: case08b
** ok: case08R
** ok: case08Rp0
testing case09
** ok: case09
** ok: case09p1
** ok: case09p9
** ok: case09f0
** ok: case09u
** ok: case09k
** ok: case09r1
** ok: case09r2
** ok: case09b
** ok: case09R
** ok: case09Rp0
testing case10
** ok: case10
** ok: case10p1
** ok: case10p9
** ok: case10f0
** ok: case10u
** ok: case10k
** ok: case10r1
** ok: case10r2
** ok: case10b
** ok: case10R
** ok: case10Rp0
testing case11
** ok: case11
** ok: case11p1
** ok: case11p9
** ok: case11f0
** ok: case11u
** ok: case11k
** ok: case11r1
** ok: case11r2
** ok: case11b
** ok: case11R
** ok: case11Rp0
testing case12
** ok: case12
** ok: case12p1
** ok: case12p9
** ok: case12f0
** ok: case12u
** ok: case12k
** ok: case12r1
** ok: case12r2
** ok: case12b
** ok: case12R
** ok: case12Rp0
testing case13
** ok: case13
** ok: case13p1
** ok: case13p9
** ok: case13f0
** ok: case13u
** ok: case13k
** ok: case13r1
** ok: case13r2
** ok: case13b
** ok: case13R
** ok: case13Rp0
testing case14
** ok: case14
** ok: case14p1
** ok: case14p9
** ok: case14f0
** ok: case14u
** ok: case14k
** ok: case14r1
** ok: case14r2
** ok: case14b
** ok: case14R
** ok: case14Rp0
testing case15
** ok: case15
** ok: case15p1
** ok: case15p9
** ok: case15f0
** ok: case15u
** ok: case15k
** ok: case15r1
** ok: case15r2
** ok: case15b
** ok: case15R
** ok: case15Rp0
testing case16
** ok: case16
** ok: case16p1
** ok: case16p9
** ok: case16f0
** ok: case16u
** ok: case16k
** ok: case16r1
** ok: case16r2
** ok: case16b
** ok: case16R
** ok: case16Rp0
testing case17
** ok: case17
** ok: case17p1
** ok: case17p9
** ok: case17f0
** ok: case17u
** ok: case17k
** ok: case17r1
** ok: case17r2
** ok: case17b
** ok: case17R
** ok: case17Rp0
testing case18
** ok: case18
** ok: case18p1
** ok: case18p9
** ok: case18f0
** ok: case18u
** ok: case18k
** ok: case18r1
** ok: case18r2
** ok: case18b
** ok: case18R
** ok: case18Rp0
testing case19
** ok: case19
** ok: case19p1
** ok: case19p9
** ok: case19f0
** ok: case19u
** ok: case19k
** ok: case19r1
** ok: case19r2
** ok: case19b
** ok: case19R
** ok: case19Rp0
testing case20
** ok: case20
** ok: case20p1
** ok: case20p9
** ok: case20f0
** ok: case20u
** ok: case20k
** ok: case20r1
** ok: case20r2
** ok: case20b
** ok: case20R
** ok: case20Rp0
testing case21
** ok: case21
** ok: case21p1
** ok: case21p9
** ok: case21f0
** ok: case21u
** ok: case21k
** ok: case21r1
** ok: case21r2
** ok: case21b
** ok: case21R
** ok: case21Rp0
testing case22
** ok: case22
** ok: case22p1
** ok: case22p9
** ok: case22f0
** ok: case22u
** ok: case22k
** ok: case22r1
** ok: case22r2
** ok: case22b
** ok: case22R
** ok: case22Rp0
testing case23
** ok: case23
** ok: case23p1
** ok: case23p9
** ok: case23f0
** ok: case23u
** ok: case23k
** ok: case23r1
** ok: case23r2
** ok: case23b
** ok: case23R
** ok: case23Rp0
testing case24
** ok: case24
** ok: case24p1
** ok: case24p9
** ok: case24f0
** ok: case24u
** ok: case24k
** ok: case24r1
** ok: case24r2
** ok: case24b
** ok: case24R
** ok: case24Rp0
testing case25
** ok: case25
** ok: case25p1
** ok: case25p9
** ok: case25f0
** ok: case25u
** ok: case25k
** ok: case25r1
** ok: case25r2
** ok: case25b
** ok: case25R
** ok: case25Rp0
testing case26
** ok: case26
** ok: case26p1
** ok: case26p9
** ok: case26f0
** ok: case26u
** ok: case26k
** ok: case26r1
** ok: case26r2
** ok: case26b
** ok: case26R
** ok: case26Rp0
testing case27
** ok: case27
** ok: case27p1
** ok: case27p9
** ok: case27f0
** ok: case27u
** ok: case27k
** ok: case27r1
** ok: case27r2
** ok: case27b
** ok: case27R
** ok: case27Rp0
testing case28
** ok: case28
** ok: case28p1
** ok: case28p9
** ok: case28f0
** ok: case28u
** ok: case28k
** ok: case28r1
** ok: case28r2
** ok: case28b
** ok: case28R
** ok: case28Rp0
testing case29
** ok: case29
** ok: case29p1
** ok: case29p9
** ok: case29f0
** ok: case29u
** ok: case29k
** ok: case29r1
** ok: case29r2
** ok: case29b
** ok: case29R
** ok: case29Rp0
testing case31
** ok: case31
** ok: case31p1
** ok: case31p9
** ok: case31f0
** ok: case31u
** ok: case31k
** ok: case31r1
** ok: case31r2
** ok: case31b
** ok: case31R
** ok: case31Rp0
testing case31l
** ok: case31l
** ok: case31lp1
** ok: case31lp9
** ok: case31lf0
** ok: case31lu
** ok: case31lk
** ok: case31lr1
** ok: case31lr2
** ok: case31lb
** ok: case31lR
** ok: case31lRp0
testing case31u
** ok: case31u
** ok: case31up1
** ok: case31up9
** ok: case31uf0
** ok: case31uu
** ok: case31uk
** ok: case31ur1
** ok: case31ur2
** ok: case31ub
** ok: case31uR
** ok: case31uRp0
testing case32
** ok: case32
** ok: case32p1
** ok: case32p9
** ok: case32f0
** ok: case32u
** ok: case32k
** ok: case32r1
** ok: case32r2
** ok: case32b
** ok: case32R
** ok: case32Rp0
testing case33
** ok: case33
** ok: case33p1
** ok: case33p9
** ok: case33f0
** ok: case33u
** ok: case33k
** ok: case33r1
** ok: case33r2
** ok: case33b
** ok: case33R
** ok: case33Rp0
testing case34
** ok: case34
** ok: case34p1
** ok: case34p9
** ok: case34f0
** ok: case34u
** ok: case34k
** ok: case34r1
** ok: case34r2
** ok: case34b
** ok: case34R
** ok: case34Rp0
testing case35
** ok: case35
** ok: case35p1
** ok: case35p9
** ok: case35f0
** ok: case35u
** ok: case35k
** ok: case35r1
** ok: case35r2
** ok: case35b
** ok: case35R
** ok: case35Rp0
testing case36
** ok: case36
** ok: case36p1
** ok: case36p9
** ok: case36f0
** ok: case36u
** ok: case36k
** ok: case36r1
** ok: case36r2
** ok: case36b
** ok: case36R
** ok: case36Rp0
testing case37
** ok: case37
** ok: case37p1
** ok: case37p9
** ok: case37f0
** ok: case37u
** ok: case37k
** ok: case37r1
** ok: case37r2
** ok: case37b
** ok: case37R
** ok: case37Rp0
testing case38l
** ok: case38l
** ok: case38lp1
** ok: case38lp9
** ok: case38lf0
** ok: case38lu
** ok: case38lk
** ok: case38lr1
** ok: case38lr2
** ok: case38lb
** ok: case38lR
** ok: case38lRp0
testing case38r
** ok: case38r
** ok: case38rp1
** ok: case38rp9
** ok: case38rf0
** ok: case38ru
** ok: case38rk
** ok: case38rr1
** ok: case38rr2
** ok: case38rb
** ok: case38rR
** ok: case38rRp0