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
testing case39
** ok: case39
** ok: case39p1
** ok: case39p9
** ok: case39f0
** ok: case39u
** ok: case39k
** ok: case39r1
** ok: case39r2
** ok: case39b
** ok: case39R
** ok: case39Rp0
testing case40
** ok: case40
** ok: case40p1
** ok: case40p9
** ok: case40f0
** ok: case40u
** ok: case40k
** ok: case40r1
** ok: case40r2
** ok: case40b
** ok: case40R
** ok: case40Rp0
testing case41
** ok: case41
** ok: case41p1
** ok: case41p9
** ok: case41f0
** ok: case41u
** ok: case41k
** ok: case41r1
** ok: case41r2
** ok: case41b
** ok: case41R
** ok: case41Rp0
testing case42
** ok: case42
** ok: case42p1
** ok: case42p9
** ok: case42f0
** ok: case42u
** ok: case42k
** ok: case42r1
** ok: case42r2
** ok: case42b
** ok: case42R
** ok: case42Rp0
testing case43
** ok: case43
** ok: case43p1
** ok: case43p9
** ok: case43f0
** ok: case43u
** ok: case43k
** ok: case43r1
** ok: case43r2
** ok: case43b
** ok: case43R
** ok: case43Rp0
testing case44
** ok: case44
** ok: case44p1
** ok: case44p9
** ok: case44f0
** ok: case44u
** ok: case44k
** ok: case44r1
** ok: case44r2
** ok: case44b
** ok: case44R
** ok: case44Rp0
testing case45
** ok: case45
** ok: case45p1
** ok: case45p9
** ok: case45f0
** ok: case45u
** ok: case45k
** ok: case45r1
** ok: case45r2
** ok: case45b
** ok: case45R
** ok: case45Rp0
testing case46
** ok: case46
** ok: case46p1
** ok: case46p9
** ok: case46f0
** ok: case46u
** ok: case46k
** ok: case46r1
** ok: case46r2
** ok: case46b
** ok: case46R
** ok: case46Rp0
testing case47
** ok: case47
** ok: case47p1
** ok: case47p9
** ok: case47f0
** ok: case47u
** ok: case47k
** ok: case47r1
** ok: case47r2
** ok: case47b
** ok: case47R
** ok: case47Rp0
testing case48
** ok: case48
** ok: case48p1
** ok: case48p9
** ok: case48f0
** ok: case48u
** ok: case48k
** ok: case48r1
** ok: case48r2
** ok: case48b
** ok: case48R
** ok: case48Rp0
testing case49
** ok: case49
** ok: case49p1
** ok: case49p9
** ok: case49f0
** ok: case49u
** ok: case49k
** ok: case49r1
** ok: case49r2
** ok: case49b
** ok: case49R
** ok: case49Rp0