[ <range 0x0 0x15> ]
[ <range 0x0 0xf>, <range 0x12 0x3> ]
[ <range 0x0 0x1>, <range 0x4 0xb>, <range 0x12 0x3> ]
[ <range 0x0 0x1>, <range 0x4 0xc>, <range 0x12 0x3> ]
[ <range 0x0 0x1>, <range 0x4 0xd>, <range 0x12 0x3> ]
[ <range 0x4 0xd>, <range 0x12 0x3> ]
1 0
1 13 3 
[ <range 0x0 0x1>, <range 0x4 0x11> ]
[ <range 0x0 0x64> ]
[ <range 0x0 0x1>, <range 0x4 0x2>, <range 0x9 0x2>, <range 0xe 0x2>, <range 0x13 0x51> ]
[ <range 0x0 0x64> ]
[ <range 0x1 0x3>, <range 0x6 0x3>, <range 0xb 0x3>, <range 0x10 0x3>, <range 0x15 0x3>, <range 0x1a 0x3>, <range 0x1f 0x3>, <range 0x24 0x3>, <range 0x29 0x3>, <range 0x2e 0x3>, <range 0x33 0x3>, <range 0x38 0x3>, <range 0x3d 0x3>, <range 0x42 0x3>, <range 0x47 0x3>, <range 0x4c 0x3>, <range 0x51 0x3>, <range 0x56 0x3>, <range 0x5b 0x3>, <range 0x60 0x3>, ... (20 more) ]
[ <range 0x38 0x3>, <range 0x42 0x3>, <range 0x3d 0x3>, <range 0x33 0x3> ]
[ <range 0x70000000 0x300000> ]