Computations done in characteristic 0. 
 Table containing: 
 Discriminant, ideal_hnf, weight,  computed dimension of the modular forms space.
-20 [3, 1, 1] 0 3
-20 [6, 1, 1] 0 7
-20 [3, 2, 1] 0 3
-20 [2, 1, 1] 0 3
-20 [4, 0, 2] 0 5
-20 [6, 5, 1] 0 7
-20 [5, 0, 1] 0 3
-20 [41, 35, 1] 0 4
-20 [41, 6, 1] 0 4
-20 [40, 10, 2] 0 20
-20 [36, 14, 2] 0 23
-20 [36, 4, 2] 0 23
-20 [42, 11, 1] 0 19
-20 [7, 4, 1] 0 3
-20 [7, 3, 1] 0 3
-20 [8, 2, 2] 0 8
-20 [9, 0, 3] 0 8
-20 [9, 2, 1] 0 7
-20 [23, 15, 1] 0 3
-20 [25, 0, 5] 0 15
-20 [23, 8, 1] 0 3
-20 [27, 20, 1] 0 11
-20 [27, 7, 1] 0 11
-20 [29, 16, 1] 0 3
-20 [29, 13, 1] 0 3
-20 [21, 10, 1] 0 7
-20 [21, 11, 1] 0 7
-20 [21, 17, 1] 0 7
-20 [27, 3, 3] 0 18
-20 [21, 4, 1] 0 7
-20 [27, 6, 3] 0 18
-20 [20, 0, 2] 0 12
-20 [35, 25, 1] 0 7
-20 [35, 10, 1] 0 7
-20 [24, 2, 2] 0 17
-20 [24, 10, 2] 0 17
-20 [28, 8, 2] 0 13
-20 [32, 4, 4] 0 20
-20 [28, 6, 2] 0 13
-20 [30, 25, 1] 0 15
-20 [30, 5, 1] 0 15
-20 [36, 0, 6] 0 30
-20 [9, 7, 1] 0 7
-20 [12, 2, 2] 0 11
-20 [10, 5, 1] 0 7
-20 [12, 4, 2] 0 11
-20 [14, 11, 1] 0 8
-20 [15, 5, 1] 0 7
-20 [15, 10, 1] 0 7
-20 [14, 3, 1] 0 8
-20 [18, 11, 1] 0 15
-20 [18, 7, 1] 0 15
-20 [18, 3, 3] 0 18
-20 [61, 19, 1] 0 3
-20 [67, 53, 1] 0 3
-20 [61, 42, 1] 0 3
-20 [83, 24, 1] 0 3
-20 [64, 0, 8] 0 34
-20 [58, 45, 1] 0 7
-20 [67, 14, 1] 0 3
-20 [56, 6, 2] 0 21
-20 [81, 61, 1] 0 23
-20 [69, 61, 1] 0 9
-20 [58, 13, 1] 0 7
-20 [63, 38, 1] 0 15
-20 [63, 11, 1] 0 15
-20 [63, 25, 1] 0 15
-20 [63, 52, 1] 0 15
-20 [56, 22, 2] 0 21
-20 [69, 8, 1] 0 9
-20 [75, 5, 5] 0 29
-20 [69, 38, 1] 0 7
-20 [69, 31, 1] 0 7
-20 [83, 59, 1] 0 3
-20 [54, 47, 1] 0 23
-20 [80, 0, 4] 0 36
-20 [54, 7, 1] 0 23
-20 [81, 20, 1] 0 23
-20 [81, 0, 9] 0 42
-20 [72, 22, 2] 0 35
-20 [82, 47, 1] 0 9
-20 [82, 35, 1] 0 9
-20 [75, 10, 5] 0 29
-20 [63, 9, 3] 0 17
-20 [63, 12, 3] 0 17
-20 [81, 21, 3] 0 28
-20 [86, 9, 1] 0 7
-20 [86, 77, 1] 0 7
-20 [81, 6, 3] 0 28
-20 [54, 15, 3] 0 40
-20 [60, 10, 2] 0 27
-20 [60, 20, 2] 0 27
-20 [54, 3, 3] 0 40
-20 [70, 45, 1] 0 17
-20 [70, 25, 1] 0 17
-20 [72, 14, 2] 0 35
-20 [84, 22, 2] 0 31
-20 [84, 8, 2] 0 27
-20 [72, 6, 6] 0 48
-20 [84, 34, 2] 0 27
-20 [84, 20, 2] 0 31
-20 [16, 0, 4] 0 14
-20 [141, 65, 1] 0 9
-20 [141, 76, 1] 0 9
-20 [141, 29, 1] 0 7
-20 [140, 50, 2] 0 30
-20 [140, 20, 2] 0 30
-20 [43, 9, 1] 0 3
-20 [89, 23, 1] 0 5
-20 [89, 66, 1] 0 5
-20 [43, 34, 1] 0 3
-20 [49, 17, 1] 0 15
-20 [49, 32, 1] 0 15
-20 [45, 20, 1] 0 17
-20 [45, 25, 1] 0 17
-20 [47, 29, 1] 0 3
-20 [50, 5, 5] 0 31
-20 [46, 15, 1] 0 7
-20 [47, 18, 1] 0 3
-20 [46, 31, 1] 0 7
-20 [49, 0, 7] 0 12
-20 [48, 8, 4] 0 29
-20 [42, 17, 1] 0 17
-20 [42, 31, 1] 0 19
-20 [45, 0, 3] 0 18
-20 [48, 4, 4] 0 29
-20 [42, 25, 1] 0 17
-20 [87, 71, 1] 0 7
-20 [87, 16, 1] 0 7
-20 [87, 13, 1] 0 7
-20 [87, 74, 1] 0 7
-20 [92, 16, 2] 0 11
-20 [100, 0, 10] 0 56
-20 [94, 29, 1] 0 7
-20 [94, 65, 1] 0 7
-20 [98, 81, 1] 0 36
-20 [92, 30, 2] 0 11
-20 [96, 4, 4] 0 41
-20 [96, 20, 4] 0 41
-20 [98, 7, 7] 0 34
-20 [90, 65, 1] 0 35
-20 [90, 25, 1] 0 35
-20 [138, 107, 1] 0 15
-20 [145, 45, 1] 0 11
-20 [145, 100, 1] 0 11
-20 [90, 15, 3] 0 40
-20 [144, 28, 4] 0 59
-20 [144, 8, 4] 0 59
-20 [141, 112, 1] 0 7
-20 [144, 0, 12] 0 84
-20 [147, 17, 1] 0 31
-20 [147, 32, 1] 0 31
-20 [147, 14, 7] 0 25
-20 [147, 7, 7] 0 25
-20 [138, 77, 1] 0 20
-20 [147, 115, 1] 0 31
-20 [147, 130, 1] 0 31
-20 [101, 55, 1] 0 7
-20 [103, 43, 1] 0 3
-20 [98, 17, 1] 0 36
-20 [103, 60, 1] 0 3
-20 [101, 46, 1] 0 7
-20 [105, 10, 1] 0 17
-20 [149, 12, 1] 0 4
-20 [149, 137, 1] 0 4
-20 [160, 20, 4] 0 52
-20 [109, 70, 1] 0 3
-20 [109, 39, 1] 0 3
-20 [107, 40, 1] 0 3
-20 [121, 0, 11] 0 14
-20 [107, 67, 1] 0 3
-20 [115, 100, 1] 0 7
-20 [115, 15, 1] 0 7
-20 [116, 32, 2] 0 12
-20 [125, 0, 5] 0 27
-20 [116, 26, 2] 0 12
-20 [112, 12, 4] 0 37
-20 [169, 0, 13] 0 14
-20 [112, 16, 4] 0 37
-20 [127, 54, 1] 0 3
-20 [161, 31, 1] 0 7
-20 [161, 130, 1] 0 7
-20 [128, 8, 8] 0 46
-20 [161, 38, 1] 0 9
-20 [161, 123, 1] 0 9
-20 [122, 103, 1] 0 7
-20 [167, 117, 1] 0 3
-20 [163, 22, 1] 0 3
-20 [105, 95, 1] 0 17
-20 [122, 19, 1] 0 7
-20 [127, 73, 1] 0 3
-20 [108, 40, 2] 0 35
-20 [108, 14, 2] 0 35
-20 [163, 141, 1] 0 3
-20 [105, 80, 1] 0 15
-20 [105, 25, 1] 0 15
-20 [167, 50, 1] 0 3
-20 [123, 35, 1] 0 10
-20 [129, 77, 1] 0 8
-20 [123, 47, 1] 0 11
-20 [123, 76, 1] 0 11
-20 [123, 88, 1] 0 10
-20 [175, 15, 5] 0 31
-20 [129, 34, 1] 0 7
-20 [135, 115, 1] 0 31
-20 [129, 52, 1] 0 8
-20 [135, 20, 1] 0 31
-20 [108, 12, 6] 0 68
-20 [129, 95, 1] 0 7
-20 [108, 6, 6] 0 68
-20 [134, 81, 1] 0 7
-20 [134, 53, 1] 0 7
-20 [120, 50, 2] 0 46
-20 [150, 25, 5] 0 63
-20 [164, 12, 2] 0 14
-20 [120, 10, 2] 0 46
-20 [150, 5, 5] 0 63
-20 [164, 70, 2] 0 14
-20 [172, 68, 2] 0 13
-20 [172, 18, 2] 0 13
-20 [135, 15, 3] 0 44
-20 [175, 20, 5] 0 31
-20 [135, 30, 3] 0 44
-20 [166, 59, 1] 0 7
-20 [166, 107, 1] 0 7
-20 [126, 115, 1] 0 41
-20 [162, 61, 1] 0 47
-20 [126, 11, 1] 0 41
-20 [162, 101, 1] 0 47
-20 [126, 101, 1] 0 35
-20 [162, 9, 9] 0 94
-20 [126, 25, 1] 0 35
-20 [138, 31, 1] 0 15
-20 [181, 30, 1] 0 3
-20 [181, 151, 1] 0 3
-20 [138, 61, 1] 0 20
-20 [200, 10, 10] 0 88
-20 [196, 64, 2] 0 57
-20 [196, 34, 2] 0 57
-20 [192, 16, 8] 0 67
-20 [205, 170, 1] 0 15
-20 [205, 35, 1] 0 15
-20 [192, 8, 8] 0 67
-20 [188, 58, 2] 0 11
-20 [184, 30, 2] 0 17
-20 [188, 36, 2] 0 11
-20 [184, 62, 2] 0 17
-20 [178, 155, 1] 0 11
-20 [203, 74, 1] 0 7
-20 [183, 164, 1] 0 7
-20 [168, 50, 2] 0 43
-20 [183, 103, 1] 0 7
-20 [178, 23, 1] 0 11
-20 [203, 129, 1] 0 7
-20 [203, 45, 1] 0 7
-20 [183, 80, 1] 0 7
-20 [183, 19, 1] 0 7
-20 [168, 34, 2] 0 43
-20 [203, 158, 1] 0 7
-20 [168, 62, 2] 0 51
-20 [168, 22, 2] 0 51
-20 [207, 169, 1] 0 15
-20 [201, 53, 1] 0 7
-20 [201, 187, 1] 0 7
-20 [201, 14, 1] 0 7
-20 [126, 9, 3] 0 46
-20 [196, 0, 14] 0 60
-20 [189, 88, 1] 0 25
-20 [207, 38, 1] 0 15
-20 [189, 101, 1] 0 25
-20 [162, 33, 3] 0 62
-20 [189, 115, 1] 0 25
-20 [201, 148, 1] 0 7
-20 [202, 147, 1] 0 15
-20 [189, 74, 1] 0 25
-20 [207, 146, 1] 0 21
-20 [202, 55, 1] 0 15
-20 [206, 163, 1] 0 10
-20 [207, 61, 1] 0 21
-20 [126, 33, 3] 0 46
-20 [206, 43, 1] 0 10
-20 [174, 103, 1] 0 16
-20 [174, 161, 1] 0 16
-20 [223, 202, 1] 0 3
-20 [162, 21, 3] 0 62
-20 [174, 13, 1] 0 16
-20 [223, 21, 1] 0 3
-20 [227, 26, 1] 0 3
-20 [227, 201, 1] 0 3
-20 [174, 71, 1] 0 16
-20 [241, 85, 1] 0 7
-20 [229, 192, 1] 0 5
-20 [225, 10, 5] 0 67
-20 [215, 95, 1] 0 7
-20 [241, 156, 1] 0 7
-20 [229, 37, 1] 0 5
-20 [225, 35, 5] 0 67
-20 [215, 120, 1] 0 7
-20 [189, 30, 3] 0 37
-20 [243, 142, 1] 0 35
-20 [245, 115, 1] 0 33
-20 [243, 101, 1] 0 35
-20 [242, 11, 11] 0 32
-20 [180, 50, 2] 0 63
-20 [180, 40, 2] 0 63
-20 [245, 130, 1] 0 33
-20 [189, 33, 3] 0 37
-20 [243, 18, 9] 0 66
-20 [189, 12, 3] 0 37
-20 [256, 0, 16] 0 74
-20 [214, 67, 1] 0 7
-20 [243, 9, 9] 0 66
-20 [232, 26, 2] 0 19
-20 [254, 181, 1] 0 7
-20 [235, 170, 1] 0 7
-20 [189, 51, 3] 0 37
-20 [235, 65, 1] 0 7
-20 [232, 90, 2] 0 19
-20 [225, 0, 15] 0 82
-20 [224, 12, 4] 0 53
-20 [224, 44, 4] 0 53
-20 [180, 0, 6] 0 78
-20 [218, 39, 1] 0 7
-20 [243, 60, 3] 0 56
-20 [244, 84, 2] 0 11
-20 [244, 38, 2] 0 11
-20 [218, 179, 1] 0 7
-20 [214, 147, 1] 0 7
-20 [281, 240, 1] 0 3
-20 [207, 45, 3] 0 22
-20 [250, 25, 5] 0 59
-20 [245, 0, 7] 0 30
-20 [216, 14, 2] 0 53
-20 [216, 94, 2] 0 53
-20 [207, 24, 3] 0 22
-20 [289, 0, 17] 0 22
-20 [216, 6, 6] 0 112
-20 [216, 30, 6] 0 112
-20 [243, 21, 3] 0 56
-20 [307, 84, 1] 0 3
-20 [283, 109, 1] 0 3
-20 [268, 106, 2] 0 11
-20 [249, 59, 1] 0 7
-20 [249, 142, 1] 0 7
-20 [249, 190, 1] 0 7
-20 [240, 20, 4] 0 84
-20 [249, 107, 1] 0 7
-20 [305, 80, 1] 0 14
-20 [240, 40, 4] 0 84
-20 [301, 249, 1] 0 7
-20 [263, 28, 1] 0 3
-20 [263, 235, 1] 0 3
-20 [254, 73, 1] 0 7
-20 [269, 110, 1] 0 3
-20 [307, 223, 1] 0 3
-20 [269, 159, 1] 0 3
-20 [320, 0, 8] 0 92
-20 [301, 52, 1] 0 7
-20 [361, 0, 19] 0 20
-20 [301, 206, 1] 0 9
-20 [287, 129, 1] 0 9
-20 [261, 16, 1] 0 15
-20 [283, 174, 1] 0 3
-20 [230, 15, 1] 0 15
-20 [230, 215, 1] 0 15
-20 [267, 155, 1] 0 11
-20 [261, 187, 1] 0 15
-20 [281, 41, 1] 0 3
-20 [287, 88, 1] 0 9
-20 [305, 225, 1] 0 14
-20 [287, 199, 1] 0 9
-20 [268, 28, 2] 0 11
-20 [288, 28, 4] 0 83
-20 [288, 44, 4] 0 83
-20 [301, 95, 1] 0 9
-20 [261, 245, 1] 0 15
-20 [287, 158, 1] 0 9
-20 [335, 215, 1] 0 7
-20 [261, 74, 1] 0 15
-20 [343, 28, 7] 0 46
-20 [343, 32, 1] 0 27
-20 [347, 79, 1] 0 3
-20 [267, 112, 1] 0 11
-20 [267, 23, 1] 0 11
-20 [298, 161, 1] 0 9
-20 [335, 120, 1] 0 7
-20 [367, 27, 1] 0 3
-20 [267, 244, 1] 0 11
-20 [367, 340, 1] 0 3
-20 [343, 311, 1] 0 27
-20 [347, 268, 1] 0 3
-20 [303, 257, 1] 0 16
-20 [344, 154, 2] 0 21
-20 [300, 10, 10] 0 117
-20 [343, 21, 7] 0 46
-20 [288, 12, 12] 0 124
-20 [349, 56, 1] 0 6
-20 [309, 146, 1] 0 11
-20 [349, 293, 1] 0 6
-20 [252, 104, 2] 0 67
-20 [400, 0, 20] 0 156
-20 [309, 43, 1] 0 7
-20 [328, 70, 2] 0 21
-20 [252, 22, 2] 0 67
-20 [298, 137, 1] 0 9
-20 [383, 83, 1] 0 3
-20 [329, 18, 1] 0 7
-20 [383, 300, 1] 0 3
-20 [329, 311, 1] 0 7
-20 [344, 18, 2] 0 21
-20 [309, 266, 1] 0 7
-20 [303, 46, 1] 0 16
-20 [252, 76, 2] 0 55
-20 [303, 248, 1] 0 15
-20 [246, 199, 1] 0 25
-20 [328, 94, 2] 0 21
-20 [332, 118, 2] 0 11
-20 [389, 224, 1] 0 3
-20 [300, 20, 10] 0 117
-20 [327, 148, 1] 0 7
-20 [329, 206, 1] 0 8
-20 [252, 50, 2] 0 55
-20 [338, 13, 13] 0 36
-20 [246, 35, 1] 0 24
-20 [324, 122, 2] 0 73
-20 [332, 48, 2] 0 11
-20 [329, 123, 1] 0 8
-20 [303, 55, 1] 0 15
-20 [389, 165, 1] 0 3
-20 [309, 163, 1] 0 11
-20 [324, 40, 2] 0 73
-20 [334, 117, 1] 0 7
-20 [246, 47, 1] 0 25
-20 [261, 39, 3] 0 17
-20 [210, 185, 1] 0 35
-20 [246, 211, 1] 0 24
-20 [334, 217, 1] 0 7
-20 [210, 95, 1] 0 44
-20 [363, 22, 11] 0 29
-20 [261, 48, 3] 0 17
-20 [356, 132, 2] 0 17
-20 [210, 115, 1] 0 44
-20 [280, 90, 2] 0 51
-20 [280, 50, 2] 0 51
-20 [356, 46, 2] 0 17
-20 [409, 227, 1] 0 3
-20 [326, 185, 1] 0 7
-20 [321, 67, 1] 0 7
-20 [401, 352, 1] 0 3
-20 [327, 257, 1] 0 7
-20 [210, 25, 1] 0 35
-20 [327, 70, 1] 0 7
-20 [363, 11, 11] 0 29
-20 [401, 49, 1] 0 3
-20 [326, 141, 1] 0 7
-20 [258, 163, 1] 0 19
-20 [321, 254, 1] 0 7
-20 [258, 181, 1] 0 17
-20 [409, 182, 1] 0 3
-20 [290, 45, 1] 0 28
-20 [276, 62, 2] 0 23
-20 [321, 40, 1] 0 9
-20 [276, 76, 2] 0 23
-20 [276, 16, 2] 0 33
-20 [276, 122, 2] 0 33
-20 [376, 130, 2] 0 17
-20 [321, 281, 1] 0 9
-20 [376, 58, 2] 0 17
-20 [375, 50, 5] 0 51
-20 [258, 95, 1] 0 19
-20 [368, 60, 4] 0 29
-20 [290, 245, 1] 0 28
-20 [258, 77, 1] 0 17
-20 [375, 25, 5] 0 51
-20 [392, 34, 2] 0 87
-20 [392, 162, 2] 0 87
-20 [368, 32, 4] 0 29
-20 [362, 211, 1] 0 7
-20 [327, 179, 1] 0 7
-20 [421, 327, 1] 0 3
-20 [362, 151, 1] 0 7
-20 [324, 0, 18] 0 166
-20 [421, 94, 1] 0 3
-20 [282, 29, 1] 0 15
-20 [315, 290, 1] 0 35
-20 [369, 322, 1] 0 25
-20 [282, 253, 1] 0 15
-20 [369, 47, 1] 0 25
-20 [415, 190, 1] 0 7
-20 [381, 181, 1] 0 7
-20 [294, 17, 1] 0 75
-20 [404, 110, 2] 0 24
-20 [387, 34, 1] 0 15
-20 [294, 277, 1] 0 75
-20 [350, 15, 5] 0 73
-20 [282, 217, 1] 0 21
-20 [404, 92, 2] 0 24
-20 [282, 65, 1] 0 21
-20 [315, 25, 1] 0 35
-20 [315, 200, 1] 0 41
-20 [449, 273, 1] 0 3
-20 [294, 115, 1] 0 81
-20 [369, 88, 1] 0 22
-20 [387, 353, 1] 0 15
-20 [294, 179, 1] 0 81
-20 [415, 225, 1] 0 7
-20 [350, 55, 5] 0 73
-20 [449, 176, 1] 0 3
-20 [315, 115, 1] 0 41
-20 [387, 335, 1] 0 18
-20 [427, 347, 1] 0 7
-20 [412, 86, 2] 0 17
-20 [412, 120, 2] 0 17
-20 [427, 80, 1] 0 7
-20 [345, 245, 1] 0 23
-20 [427, 263, 1] 0 7
-20 [369, 281, 1] 0 22
-20 [381, 200, 1] 0 7
-20 [427, 164, 1] 0 7
-20 [384, 8, 8] 0 95
-20 [443, 305, 1] 0 3
-20 [381, 73, 1] 0 7
-20 [345, 215, 1] 0 21
-20 [322, 199, 1] 0 22
-20 [463, 250, 1] 0 3
-20 [392, 14, 14] 0 100
-20 [322, 291, 1] 0 18
-20 [443, 138, 1] 0 3
-20 [322, 31, 1] 0 18
-20 [348, 26, 2] 0 28
-20 [381, 308, 1] 0 7
-20 [405, 385, 1] 0 61
-20 [384, 40, 8] 0 95
-20 [345, 100, 1] 0 23
-20 [252, 24, 6] 0 80
-20 [467, 205, 1] 0 3
-20 [345, 130, 1] 0 21
-20 [405, 20, 1] 0 61
-20 [322, 123, 1] 0 22
-20 [467, 262, 1] 0 3
-20 [461, 220, 1] 0 3
-20 [441, 115, 1] 0 67
-20 [463, 213, 1] 0 3
-20 [270, 155, 1] 0 69
-20 [348, 32, 2] 0 27
-20 [348, 142, 2] 0 27
-20 [252, 18, 6] 0 80
-20 [461, 241, 1] 0 3
-20 [270, 115, 1] 0 69
-20 [441, 277, 1] 0 71
-20 [387, 52, 1] 0 18
-20 [423, 394, 1] 0 15
-20 [441, 326, 1] 0 67
-20 [441, 164, 1] 0 71
-20 [436, 140, 2] 0 11
-20 [348, 148, 2] 0 28
-20 [445, 155, 1] 0 12
-20 [487, 143, 1] 0 3
-20 [469, 53, 1] 0 7
-20 [336, 68, 4] 0 75
-20 [436, 78, 2] 0 11
-20 [445, 290, 1] 0 12
-20 [423, 29, 1] 0 15
-20 [336, 16, 4] 0 75
-20 [487, 344, 1] 0 3
-20 [484, 0, 22] 0 58
-20 [324, 42, 6] 0 106
-20 [336, 44, 4] 0 91
-20 [469, 81, 1] 0 7
-20 [336, 40, 4] 0 91
-20 [423, 358, 1] 0 21
-20 [464, 52, 4] 0 33
-20 [423, 65, 1] 0 21
-20 [428, 80, 2] 0 11
-20 [464, 64, 4] 0 33
-20 [428, 134, 2] 0 11
-20 [324, 12, 6] 0 106
-20 [512, 16, 16] 0 122
-20 [469, 388, 1] 0 7
-20 [448, 24, 8] 0 83
-20 [448, 32, 8] 0 83
-20 [446, 21, 1] 0 7
-20 [529, 360, 1] 0 47
-20 [529, 169, 1] 0 47
-20 [469, 416, 1] 0 7
-20 [509, 153, 1] 0 4
-20 [405, 0, 9] 0 110
-20 [503, 178, 1] 0 3
-20 [360, 50, 2] 0 106
-20 [458, 37, 1] 0 11
-20 [446, 425, 1] 0 7
-20 [360, 30, 6] 0 140
-20 [360, 130, 2] 0 106
-20 [432, 80, 4] 0 89
-20 [500, 0, 10] 0 108
-20 [454, 201, 1] 0 7
-20 [458, 421, 1] 0 11
-20 [503, 325, 1] 0 3
-20 [505, 55, 1] 0 18
-20 [505, 450, 1] 0 18
-20 [529, 0, 23] 0 28
-20 [523, 97, 1] 0 3
-20 [432, 28, 4] 0 89
-20 [523, 426, 1] 0 3
-20 [521, 125, 1] 0 3
-20 [454, 253, 1] 0 7
-20 [488, 38, 2] 0 17
-20 [406, 361, 1] 0 18
-20 [315, 75, 3] 0 46
-20 [515, 455, 1] 0 7
-20 [406, 277, 1] 0 17
-20 [509, 356, 1] 0 4
-20 [515, 60, 1] 0 7
-20 [447, 137, 1] 0 9
-20 [488, 206, 2] 0 17
-20 [447, 310, 1] 0 9
-20 [541, 454, 1] 0 3
-20 [541, 87, 1] 0 3
-20 [315, 30, 3] 0 46
-20 [447, 286, 1] 0 9
-20 [410, 375, 1] 0 31
-20 [482, 85, 1] 0 15
-20 [508, 146, 2] 0 11
-20 [521, 396, 1] 0 3
-20 [406, 45, 1] 0 18
-20 [369, 18, 3] 0 28
-20 [410, 35, 1] 0 31
-20 [447, 161, 1] 0 9
-20 [406, 129, 1] 0 17
-20 [508, 108, 2] 0 11
-20 [482, 397, 1] 0 15
-20 [369, 105, 3] 0 28
-20 [430, 95, 1] 0 15
-20 [507, 26, 13] 0 29
-20 [435, 190, 1] 0 24
-20 [387, 27, 3] 0 22
-20 [435, 335, 1] 0 23
-20 [547, 514, 1] 0 3
-20 [430, 335, 1] 0 15
-20 [387, 102, 3] 0 22
-20 [435, 100, 1] 0 23
-20 [435, 245, 1] 0 24
-20 [536, 162, 2] 0 17
-20 [547, 33, 1] 0 3
-20 [535, 495, 1] 0 7
-20 [507, 13, 13] 0 29
-20 [536, 106, 2] 0 17
-20 [366, 263, 1] 0 15
-20 [545, 475, 1] 0 11
-20 [501, 217, 1] 0 7
-20 [535, 40, 1] 0 7
-20 [366, 19, 1] 0 15
-20 [366, 347, 1] 0 15
-20 [489, 467, 1] 0 7
-20 [405, 75, 3] 0 80
-20 [405, 60, 3] 0 80
-20 [441, 49, 7] 0 51
-20 [489, 185, 1] 0 8
-20 [432, 24, 12] 0 200
-20 [432, 12, 12] 0 200
-20 [489, 22, 1] 0 7
-20 [563, 488, 1] 0 3
-20 [294, 7, 7] 0 74
-20 [294, 35, 7] 0 74
-20 [270, 75, 3] 0 100
-20 [460, 200, 2] 0 25
-20 [545, 70, 1] 0 11
-20 [402, 349, 1] 0 15
-20 [460, 30, 2] 0 25
-20 [489, 304, 1] 0 8
-20 [366, 103, 1] 0 15
-20 [270, 15, 3] 0 100
-20 [563, 75, 1] 0 3
-20 [501, 50, 1] 0 7
-20 [441, 14, 7] 0 51
-20 [501, 451, 1] 0 7
-20 [402, 53, 1] 0 15
-20 [575, 40, 5] 0 31
-20 [575, 75, 5] 0 31
-20 [501, 284, 1] 0 7
-20 [450, 35, 5] 0 139
-20 [569, 160, 1] 0 3
-20 [402, 215, 1] 0 16
-20 [450, 55, 5] 0 139
-20 [569, 409, 1] 0 3
-20 [423, 54, 3] 0 21
-20 [587, 430, 1] 0 3
-20 [423, 87, 3] 0 21
-20 [601, 469, 1] 0 3
-20 [605, 0, 11] 0 38
-20 [538, 159, 1] 0 7
-20 [526, 291, 1] 0 7
-20 [587, 157, 1] 0 3
-20 [402, 187, 1] 0 16
-20 [441, 51, 3] 0 69
-20 [625, 0, 25] 0 103
-20 [526, 235, 1] 0 7
-20 [470, 405, 1] 0 15
-20 [538, 379, 1] 0 7
-20 [601, 132, 1] 0 3
-20 [607, 479, 1] 0 3
-20 [581, 59, 1] 0 7
-20 [581, 24, 1] 0 7
-20 [581, 522, 1] 0 7
-20 [480, 20, 4] 0 126
-20 [441, 96, 3] 0 69
-20 [470, 65, 1] 0 15
-20 [543, 392, 1] 0 7
-20 [607, 128, 1] 0 3
-20 [414, 353, 1] 0 48
-20 [581, 557, 1] 0 7
-20 [480, 100, 4] 0 126
-20 [543, 151, 1] 0 7
-20 [596, 274, 2] 0 14
-20 [596, 24, 2] 0 14
-20 [543, 211, 1] 0 7
-20 [483, 38, 1] 0 19
-20 [414, 61, 1] 0 48
-20 [549, 164, 1] 0 17
-20 [543, 332, 1] 0 7
-20 [549, 385, 1] 0 17
-20 [483, 31, 1] 0 15
-20 [486, 385, 1] 0 73
-20 [483, 130, 1] 0 24
-20 [483, 445, 1] 0 19
-20 [378, 263, 1] 0 71
-20 [525, 20, 5] 0 63
-20 [640, 40, 8] 0 136
-20 [578, 17, 17] 0 50
-20 [562, 41, 1] 0 8
-20 [414, 245, 1] 0 31
-20 [483, 353, 1] 0 24
-20 [490, 375, 1] 0 77
-20 [483, 284, 1] 0 23
-20 [486, 101, 1] 0 73
-20 [483, 452, 1] 0 15
-20 [549, 263, 1] 0 15
-20 [492, 152, 2] 0 43
-20 [492, 94, 2] 0 43
-20 [562, 521, 1] 0 8
-20 [492, 70, 2] 0 39
-20 [566, 457, 1] 0 7
-20 [525, 50, 5] 0 73
-20 [516, 68, 2] 0 35
-20 [483, 199, 1] 0 23
-20 [378, 277, 1] 0 61
-20 [525, 85, 5] 0 63
-20 [566, 109, 1] 0 7
-20 [516, 104, 2] 0 31
-20 [516, 190, 2] 0 35
-20 [490, 115, 1] 0 77
-20 [414, 169, 1] 0 31
-20 [516, 154, 2] 0 31
-20 [378, 115, 1] 0 71
-20 [492, 176, 2] 0 39
-20 [549, 286, 1] 0 15
-20 [576, 56, 8] 0 137
-20 [420, 160, 2] 0 66
-20 [378, 101, 1] 0 61
-20 [576, 16, 8] 0 137
-20 [420, 50, 2] 0 66
-20 [567, 101, 1] 0 53
-20 [525, 55, 5] 0 73
-20 [567, 466, 1] 0 53
-20 [420, 190, 2] 0 81
-20 [635, 435, 1] 0 7
-20 [504, 22, 2] 0 111
-20 [623, 66, 1] 0 12
-20 [635, 200, 1] 0 7
-20 [623, 290, 1] 0 11
-20 [643, 150, 1] 0 3
-20 [580, 200, 2] 0 50
-20 [641, 525, 1] 0 4
-20 [504, 230, 2] 0 111
-20 [641, 116, 1] 0 4
-20 [623, 557, 1] 0 12
-20 [560, 40, 4] 0 93
-20 [623, 333, 1] 0 11
-20 [420, 20, 2] 0 81
-20 [643, 493, 1] 0 3
-20 [647, 603, 1] 0 3
-20 [504, 202, 2] 0 87
-20 [580, 90, 2] 0 50
-20 [560, 100, 4] 0 93
-20 [567, 304, 1] 0 51
-20 [567, 263, 1] 0 51
-20 [647, 44, 1] 0 3
-20 [504, 50, 2] 0 87
-20 [661, 292, 1] 0 4
-20 [661, 369, 1] 0 4
-20 [576, 0, 24] 0 204
-20 [667, 422, 1] 0 7
-20 [441, 0, 21] 0 70
-20 [603, 254, 1] 0 15
-20 [603, 416, 1] 0 15
-20 [564, 224, 2] 0 23
-20 [564, 58, 2] 0 23
-20 [564, 130, 2] 0 33
-20 [614, 223, 1] 0 8
-20 [667, 567, 1] 0 7
-20 [614, 391, 1] 0 8
-20 [564, 152, 2] 0 33
-20 [603, 187, 1] 0 15
-20 [667, 100, 1] 0 7
-20 [600, 50, 10] 0 192
-20 [652, 282, 2] 0 11
-20 [600, 10, 10] 0 192
-20 [498, 439, 1] 0 15
-20 [652, 44, 2] 0 11
-20 [450, 15, 15] 0 180
-20 [667, 245, 1] 0 7
-20 [567, 27, 9] 0 85
-20 [603, 349, 1] 0 15
-20 [656, 140, 4] 0 35
-20 [656, 24, 4] 0 35
-20 [676, 0, 26] 0 66
-20 [498, 391, 1] 0 17
-20 [567, 36, 9] 0 85
-20 [574, 129, 1] 0 23
-20 [552, 154, 2] 0 50
-20 [552, 214, 2] 0 35
-20 [621, 560, 1] 0 33
-20 [664, 118, 2] 0 17
-20 [683, 376, 1] 0 3
-20 [668, 234, 2] 0 11
-20 [664, 214, 2] 0 17
-20 [574, 445, 1] 0 23
-20 [621, 61, 1] 0 33
-20 [683, 307, 1] 0 3
-20 [621, 452, 1] 0 23
-20 [549, 57, 3] 0 18
-20 [549, 126, 3] 0 18
-20 [574, 375, 1] 0 28
-20 [668, 100, 2] 0 11
-20 [552, 122, 2] 0 50
-20 [574, 199, 1] 0 28
-20 [498, 107, 1] 0 17
-20 [621, 169, 1] 0 23
-20 [588, 64, 2] 0 131
-20 [675, 35, 5] 0 113
-20 [522, 335, 1] 0 36
-20 [540, 230, 2] 0 127
-20 [534, 23, 1] 0 23
-20 [552, 62, 2] 0 35
-20 [490, 35, 7] 0 80
-20 [498, 59, 1] 0 15
-20 [588, 260, 2] 0 123
-20 [534, 511, 1] 0 23
-20 [588, 230, 2] 0 131
-20 [675, 100, 5] 0 113
-20 [588, 34, 2] 0 123
-20 [540, 40, 2] 0 127
-20 [602, 95, 1] 0 24
-20 [701, 145, 1] 0 3
-20 [701, 556, 1] 0 3
-20 [486, 9, 9] 0 148
-20 [602, 353, 1] 0 19
-20 [615, 580, 1] 0 33
-20 [534, 155, 1] 0 23
-20 [709, 587, 1] 0 3
-20 [486, 45, 9] 0 148
-20 [534, 379, 1] 0 23
-20 [522, 245, 1] 0 36
-20 [522, 277, 1] 0 36
-20 [709, 122, 1] 0 3
-20 [602, 507, 1] 0 24
-20 [648, 18, 18] 0 288
-20 [688, 36, 4] 0 37
-20 [688, 136, 4] 0 37
-20 [522, 187, 1] 0 36
-20 [609, 277, 1] 0 17
-20 [602, 249, 1] 0 19
-20 [725, 80, 5] 0 43
-20 [648, 202, 2] 0 111
-20 [615, 35, 1] 0 33
-20 [609, 451, 1] 0 16
-20 [615, 170, 1] 0 37
-20 [725, 65, 5] 0 43
-20 [609, 248, 1] 0 15
-20 [729, 628, 1] 0 71
-20 [729, 101, 1] 0 71
-20 [648, 122, 2] 0 111
-20 [610, 225, 1] 0 29
-20 [615, 445, 1] 0 37
-20 [609, 361, 1] 0 15
-20 [727, 513, 1] 0 3
-20 [609, 332, 1] 0 17
-20 [669, 202, 1] 0 9
-20 [669, 244, 1] 0 7
-20 [669, 425, 1] 0 7
-20 [707, 459, 1] 0 15
-20 [681, 655, 1] 0 7
-20 [727, 214, 1] 0 3
-20 [378, 33, 3] 0 106
-20 [645, 95, 1] 0 17
-20 [721, 60, 1] 0 9
-20 [609, 74, 1] 0 19
-20 [712, 310, 2] 0 27
-20 [378, 93, 3] 0 106
-20 [712, 46, 2] 0 27
-20 [378, 51, 3] 0 102
-20 [707, 248, 1] 0 15
-20 [609, 158, 1] 0 16
-20 [721, 249, 1] 0 7
-20 [721, 472, 1] 0 7
-20 [609, 535, 1] 0 19
-20 [645, 550, 1] 0 17
-20 [707, 46, 1] 0 15
-20 [378, 75, 3] 0 102
-20 [645, 335, 1] 0 20
-20 [694, 615, 1] 0 8
-20 [610, 385, 1] 0 29
-20 [721, 661, 1] 0 9
-20 [707, 661, 1] 0 15
-20 [669, 467, 1] 0 9
-20 [694, 79, 1] 0 8
-20 [724, 302, 2] 0 11
-20 [724, 60, 2] 0 11
-20 [681, 253, 1] 0 7
-20 [603, 159, 3] 0 19
-20 [644, 246, 2] 0 35
-20 [645, 310, 1] 0 20
-20 [743, 395, 1] 0 3
-20 [681, 26, 1] 0 7
-20 [603, 42, 3] 0 19
-20 [414, 93, 3] 0 52
-20 [687, 266, 1] 0 11
-20 [700, 40, 10] 0 132
-20 [414, 45, 3] 0 52
-20 [687, 650, 1] 0 11
-20 [700, 30, 10] 0 132
-20 [687, 421, 1] 0 11
-20 [644, 76, 2] 0 35
-20 [681, 428, 1] 0 7
-20 [743, 348, 1] 0 3
-20 [722, 19, 19] 0 48
-20 [567, 156, 3] 0 63
-20 [687, 37, 1] 0 11
-20 [644, 62, 2] 0 30
-20 [698, 293, 1] 0 13
-20 [698, 405, 1] 0 13
-20 [745, 310, 1] 0 14
-20 [567, 114, 3] 0 61
-20 [800, 20, 20] 0 220
-20 [686, 311, 1] 0 64
-20 [745, 435, 1] 0 14
-20 [761, 473, 1] 0 3
-20 [729, 63, 9] 0 132
-20 [644, 260, 2] 0 30
-20 [761, 288, 1] 0 3
-20 [749, 67, 1] 0 8
-20 [567, 75, 3] 0 61
-20 [567, 33, 3] 0 63
-20 [675, 30, 15] 0 200
-20 [686, 375, 1] 0 64
-20 [729, 18, 9] 0 132
-20 [486, 141, 3] 0 124
-20 [769, 448, 1] 0 6
-20 [749, 682, 1] 0 8
-20 [486, 21, 3] 0 124
-20 [675, 15, 15] 0 200
-20 [769, 321, 1] 0 6
-20 [670, 455, 1] 0 18
-20 [670, 215, 1] 0 18
-20 [763, 39, 1] 0 7
-20 [749, 361, 1] 0 7
-20 [734, 27, 1] 0 7
-20 [736, 124, 4] 0 41
-20 [723, 326, 1] 0 15
-20 [658, 347, 1] 0 18
-20 [749, 388, 1] 0 7
-20 [658, 123, 1] 0 20
-20 [658, 311, 1] 0 18
-20 [658, 535, 1] 0 20
-20 [734, 707, 1] 0 7
-20 [621, 114, 3] 0 50
-20 [621, 183, 3] 0 52
-20 [787, 668, 1] 0 3
-20 [787, 119, 1] 0 3
-20 [736, 60, 4] 0 41
-20 [621, 24, 3] 0 52
-20 [723, 397, 1] 0 15
-20 [752, 72, 4] 0 29
-20 [752, 116, 4] 0 29
-20 [763, 724, 1] 0 7
-20 [723, 638, 1] 0 17
-20 [606, 551, 1] 0 33
-20 [606, 55, 1] 0 33
-20 [763, 584, 1] 0 7
-20 [723, 85, 1] 0 17
-20 [729, 0, 27] 0 130
-20 [606, 349, 1] 0 34
-20 [621, 93, 3] 0 50
-20 [747, 142, 1] 0 15
-20 [763, 179, 1] 0 7
-20 [784, 128, 4] 0 147
-20 [504, 66, 6] 0 137
-20 [809, 209, 1] 0 3
-20 [841, 770, 1] 0 61
-20 [809, 600, 1] 0 3
-20 [841, 71, 1] 0 61
-20 [504, 18, 6] 0 137
-20 [747, 605, 1] 0 15
-20 [747, 439, 1] 0 15
-20 [784, 68, 4] 0 147
-20 [841, 0, 29] 0 34
-20 [696, 206, 2] 0 42
-20 [823, 486, 1] 0 3
-20 [823, 337, 1] 0 3
-20 [821, 238, 1] 0 4
-20 [821, 583, 1] 0 4
-20 [705, 535, 1] 0 15
-20 [808, 294, 2] 0 37
-20 [747, 308, 1] 0 15
-20 [808, 110, 2] 0 37
-20 [705, 640, 1] 0 19
-20 [696, 322, 2] 0 45
-20 [784, 0, 28] 0 180
-20 [766, 83, 1] 0 7
-20 [654, 257, 1] 0 15
-20 [827, 608, 1] 0 3
-20 [606, 257, 1] 0 34
-20 [827, 219, 1] 0 3
-20 [696, 26, 2] 0 45
-20 [654, 179, 1] 0 19
-20 [618, 455, 1] 0 30
-20 [705, 170, 1] 0 15
-20 [829, 562, 1] 0 3
-20 [588, 28, 14] 0 131
-20 [588, 14, 14] 0 131
-20 [618, 163, 1] 0 30
-20 [829, 267, 1] 0 3
-20 [648, 42, 6] 0 176
-20 [835, 50, 1] 0 7
-20 [835, 785, 1] 0 7
-20 [729, 60, 3] 0 86
-20 [845, 0, 13] 0 36
-20 [778, 165, 1] 0 7
-20 [686, 21, 7] 0 124
-20 [778, 613, 1] 0 7
-20 [824, 86, 2] 0 26
-20 [648, 66, 6] 0 176
-20 [540, 60, 6] 0 196
-20 [824, 326, 2] 0 26
-20 [672, 124, 4] 0 133
-20 [654, 475, 1] 0 19
-20 [847, 44, 11] 0 29
-20 [847, 33, 11] 0 29
-20 [729, 183, 3] 0 86
-20 [672, 44, 4] 0 133
-20 [735, 605, 1] 0 67
-20 [540, 30, 6] 0 196
-20 [802, 49, 1] 0 7
-20 [686, 77, 7] 0 124
-20 [768, 32, 16] 0 151
-20 [768, 16, 16] 0 151
-20 [802, 753, 1] 0 7
-20 [672, 68, 4] 0 107
-20 [672, 100, 4] 0 107
-20 [735, 115, 1] 0 73
-20 [735, 620, 1] 0 73
-20 [735, 130, 1] 0 67
-20 [789, 761, 1] 0 7
-20 [783, 709, 1] 0 23
-20 [789, 28, 1] 0 7
-20 [801, 511, 1] 0 23
-20 [805, 445, 1] 0 20
-20 [805, 130, 1] 0 15
-20 [783, 74, 1] 0 23
-20 [801, 290, 1] 0 23
-20 [732, 328, 2] 0 23
-20 [783, 506, 1] 0 27
-20 [805, 360, 1] 0 20
-20 [805, 675, 1] 0 15
-20 [789, 235, 1] 0 7
-20 [732, 38, 2] 0 23
-20 [801, 646, 1] 0 23
-20 [783, 277, 1] 0 27
-20 [789, 554, 1] 0 7
-20 [642, 575, 1] 0 15
-20 [818, 591, 1] 0 7
-20 [807, 110, 1] 0 7
-20 [818, 227, 1] 0 7
-20 [807, 379, 1] 0 7
-20 [807, 428, 1] 0 7
-20 [732, 206, 2] 0 23
-20 [720, 80, 4] 0 192
-20 [3, 2, 1] 1 5
-20 [3, 1, 1] 1 5
-20 [7, 3, 1] 1 6
-20 [2, 1, 1] 1 6
-20 [5, 0, 1] 1 8
-20 [4, 0, 2] 1 11
-20 [7, 4, 1] 1 6
-20 [6, 5, 1] 1 12
-20 [8, 2, 2] 1 16
-20 [6, 1, 1] 1 12
-20 [9, 2, 1] 1 11
-20 [9, 0, 3] 1 16
-20 [25, 0, 5] 1 30
-20 [23, 8, 1] 1 5
-20 [23, 15, 1] 1 5
-20 [40, 10, 2] 1 44
-20 [29, 16, 1] 1 6
-20 [27, 20, 1] 1 15
-20 [27, 7, 1] 1 15
-20 [20, 0, 2] 1 30
-20 [32, 4, 4] 1 38
-20 [9, 7, 1] 1 11
-20 [36, 14, 2] 1 43
-20 [24, 10, 2] 1 32
-20 [21, 4, 1] 1 12
-20 [36, 4, 2] 1 43
-20 [12, 2, 2] 1 21
-20 [24, 2, 2] 1 32
-20 [21, 17, 1] 1 12
-20 [21, 10, 1] 1 12
-20 [10, 5, 1] 1 16
-20 [21, 11, 1] 1 12
-20 [28, 6, 2] 1 24
-20 [29, 13, 1] 1 6
-20 [28, 8, 2] 1 24
-20 [41, 35, 1] 1 6
-20 [27, 3, 3] 1 38
-20 [27, 6, 3] 1 38
-20 [12, 4, 2] 1 21
-20 [41, 6, 1] 1 6
-20 [15, 5, 1] 1 14
-20 [15, 10, 1] 1 14
-20 [14, 11, 1] 1 14
-20 [35, 25, 1] 1 16
-20 [35, 10, 1] 1 16
-20 [14, 3, 1] 1 14
-20 [18, 11, 1] 1 24
-20 [18, 7, 1] 1 24
-20 [18, 3, 3] 1 36
-20 [64, 0, 8] 1 64
-20 [36, 0, 6] 1 64
-20 [30, 25, 1] 1 32
-20 [30, 5, 1] 1 32
-20 [61, 42, 1] 1 6
-20 [61, 19, 1] 1 6
-20 [56, 6, 2] 1 36
-20 [56, 22, 2] 1 36
-20 [80, 0, 4] 1 76
-20 [67, 14, 1] 1 5
-20 [67, 53, 1] 1 5
-20 [42, 11, 1] 1 28
-20 [63, 25, 1] 1 24
-20 [58, 45, 1] 1 12
-20 [58, 13, 1] 1 12
-20 [83, 24, 1] 1 5
-20 [81, 0, 9] 1 106
-20 [63, 38, 1] 1 24
-20 [63, 11, 1] 1 24
-20 [54, 47, 1] 1 36
-20 [63, 52, 1] 1 24
-20 [75, 5, 5] 1 56
-20 [83, 59, 1] 1 5
-20 [72, 22, 2] 1 64
-20 [54, 7, 1] 1 36
-20 [81, 61, 1] 1 29
-20 [81, 20, 1] 1 29
-20 [69, 31, 1] 1 10
-20 [69, 61, 1] 1 10
-20 [16, 0, 4] 1 28
-20 [69, 8, 1] 1 10
-20 [69, 38, 1] 1 10
-20 [75, 10, 5] 1 56
-20 [60, 10, 2] 1 58
-20 [60, 20, 2] 1 58
-20 [43, 9, 1] 1 5
-20 [72, 14, 2] 1 64
-20 [82, 47, 1] 1 12
-20 [63, 9, 3] 1 36
-20 [43, 34, 1] 1 5
-20 [63, 12, 3] 1 36
-20 [49, 17, 1] 1 22
-20 [49, 32, 1] 1 22
-20 [45, 25, 1] 1 30
-20 [45, 20, 1] 1 30
-20 [82, 35, 1] 1 12
-20 [47, 29, 1] 1 5
-20 [89, 66, 1] 1 6
-20 [50, 5, 5] 1 62
-20 [47, 18, 1] 1 5
-20 [49, 0, 7] 1 32
-20 [48, 8, 4] 1 54
-20 [86, 9, 1] 1 12
-20 [54, 3, 3] 1 84
-20 [72, 6, 6] 1 98
-20 [46, 31, 1] 1 12
-20 [89, 23, 1] 1 6
-20 [54, 15, 3] 1 84
-20 [86, 77, 1] 1 12
-20 [46, 15, 1] 1 12
-20 [48, 4, 4] 1 54
-20 [70, 25, 1] 1 36
-20 [45, 0, 3] 1 46
-20 [42, 17, 1] 1 28
-20 [81, 21, 3] 1 60
-20 [81, 6, 3] 1 60
-20 [70, 45, 1] 1 36
-20 [42, 25, 1] 1 28
-20 [42, 31, 1] 1 28
-20 [100, 0, 10] 1 114
-20 [84, 34, 2] 1 48
-20 [84, 20, 2] 1 48
-20 [84, 8, 2] 1 48
-20 [92, 16, 2] 1 21
-20 [84, 22, 2] 1 48
-20 [92, 30, 2] 1 21
-20 [96, 4, 4] 1 76
-20 [96, 20, 4] 1 76
-20 [87, 16, 1] 1 10
-20 [87, 13, 1] 1 10
-20 [87, 71, 1] 1 10
-20 [87, 74, 1] 1 10
-20 [94, 29, 1] 1 12
-20 [94, 65, 1] 1 12
-20 [98, 7, 7] 1 70
-20 [98, 81, 1] 1 46
-20 [103, 43, 1] 1 5
-20 [101, 55, 1] 1 6
-20 [145, 100, 1] 1 16
-20 [145, 45, 1] 1 16
-20 [90, 65, 1] 1 64
-20 [103, 60, 1] 1 5
-20 [144, 8, 4] 1 110
-20 [101, 46, 1] 1 6
-20 [90, 25, 1] 1 64
-20 [141, 76, 1] 1 10
-20 [109, 70, 1] 1 6
-20 [140, 50, 2] 1 64
-20 [98, 17, 1] 1 46
-20 [109, 39, 1] 1 6
-20 [121, 0, 11] 1 36
-20 [140, 20, 2] 1 64
-20 [144, 28, 4] 1 110
-20 [107, 40, 1] 1 5
-20 [107, 67, 1] 1 5
-20 [149, 12, 1] 1 6
-20 [125, 0, 5] 1 52
-20 [115, 15, 1] 1 14
-20 [116, 32, 2] 1 22
-20 [115, 100, 1] 1 14
-20 [160, 20, 4] 1 104
-20 [116, 26, 2] 1 22
-20 [149, 137, 1] 1 6
-20 [112, 12, 4] 1 60
-20 [112, 16, 4] 1 60
-20 [128, 8, 8] 1 88
-20 [141, 65, 1] 1 10
-20 [127, 54, 1] 1 5
-20 [105, 10, 1] 1 32
-20 [169, 0, 13] 1 42
-20 [141, 29, 1] 1 10
-20 [144, 0, 12] 1 166
-20 [147, 130, 1] 1 48
-20 [147, 115, 1] 1 42
-20 [127, 73, 1] 1 5
-20 [108, 40, 2] 1 63
-20 [90, 15, 3] 1 100
-20 [141, 112, 1] 1 10
-20 [108, 14, 2] 1 63
-20 [147, 17, 1] 1 48
-20 [122, 103, 1] 1 12
-20 [147, 7, 7] 1 64
-20 [167, 117, 1] 1 5
-20 [122, 19, 1] 1 12
-20 [163, 22, 1] 1 5
-20 [147, 32, 1] 1 42
-20 [105, 95, 1] 1 32
-20 [163, 141, 1] 1 5
-20 [105, 80, 1] 1 32
-20 [167, 50, 1] 1 5
-20 [123, 76, 1] 1 10
-20 [105, 25, 1] 1 32
-20 [161, 130, 1] 1 12
-20 [147, 14, 7] 1 64
-20 [161, 38, 1] 1 12
-20 [123, 47, 1] 1 10
-20 [129, 77, 1] 1 10
-20 [108, 12, 6] 1 152
-20 [123, 88, 1] 1 10
-20 [108, 6, 6] 1 152
-20 [161, 123, 1] 1 12
-20 [161, 31, 1] 1 12
-20 [129, 34, 1] 1 10
-20 [123, 35, 1] 1 10
-20 [135, 115, 1] 1 42
-20 [129, 95, 1] 1 10
-20 [175, 15, 5] 1 60
-20 [138, 107, 1] 1 24
-20 [135, 20, 1] 1 42
-20 [129, 52, 1] 1 10
-20 [134, 81, 1] 1 12
-20 [120, 50, 2] 1 88
-20 [164, 12, 2] 1 22
-20 [164, 70, 2] 1 22
-20 [120, 10, 2] 1 88
-20 [134, 53, 1] 1 12
-20 [175, 20, 5] 1 60
-20 [172, 68, 2] 1 21
-20 [172, 18, 2] 1 21
-20 [138, 77, 1] 1 24
-20 [181, 30, 1] 1 6
-20 [200, 10, 10] 1 176
-20 [181, 151, 1] 1 6
-20 [135, 30, 3] 1 110
-20 [135, 15, 3] 1 110
-20 [166, 59, 1] 1 12
-20 [166, 107, 1] 1 12
-20 [192, 16, 8] 1 126
-20 [196, 34, 2] 1 76
-20 [188, 58, 2] 1 21
-20 [196, 64, 2] 1 76
-20 [184, 30, 2] 1 32
-20 [192, 8, 8] 1 126
-20 [205, 35, 1] 1 16
-20 [188, 36, 2] 1 21
-20 [205, 170, 1] 1 16
-20 [184, 62, 2] 1 32
-20 [150, 25, 5] 1 124
-20 [126, 25, 1] 1 56
-20 [162, 101, 1] 1 66
-20 [126, 101, 1] 1 56
-20 [150, 5, 5] 1 124
-20 [138, 61, 1] 1 24
-20 [126, 115, 1] 1 56
-20 [126, 11, 1] 1 56
-20 [138, 31, 1] 1 24
-20 [162, 61, 1] 1 66
-20 [203, 74, 1] 1 12
-20 [183, 164, 1] 1 10
-20 [178, 155, 1] 1 12
-20 [183, 103, 1] 1 10
-20 [203, 129, 1] 1 12
-20 [196, 0, 14] 1 122
-20 [183, 19, 1] 1 10
-20 [203, 158, 1] 1 12
-20 [203, 45, 1] 1 12
-20 [178, 23, 1] 1 12
-20 [183, 80, 1] 1 10
-20 [168, 50, 2] 1 72
-20 [168, 62, 2] 1 72
-20 [201, 14, 1] 1 10
-20 [168, 34, 2] 1 72
-20 [223, 202, 1] 1 5
-20 [168, 22, 2] 1 72
-20 [207, 169, 1] 1 20
-20 [201, 187, 1] 1 10
-20 [223, 21, 1] 1 5
-20 [202, 147, 1] 1 12
-20 [201, 148, 1] 1 10
-20 [227, 201, 1] 1 5
-20 [207, 146, 1] 1 20
-20 [227, 26, 1] 1 5
-20 [201, 53, 1] 1 10
-20 [207, 61, 1] 1 20
-20 [202, 55, 1] 1 12
-20 [189, 74, 1] 1 36
-20 [215, 95, 1] 1 14
-20 [189, 101, 1] 1 36
-20 [206, 163, 1] 1 12
-20 [189, 88, 1] 1 36
-20 [207, 38, 1] 1 20
-20 [241, 85, 1] 1 6
-20 [229, 192, 1] 1 6
-20 [206, 43, 1] 1 12
-20 [256, 0, 16] 1 140
-20 [189, 115, 1] 1 36
-20 [215, 120, 1] 1 14
-20 [225, 10, 5] 1 116
-20 [241, 156, 1] 1 6
-20 [225, 35, 5] 1 116
-20 [174, 161, 1] 1 24
-20 [229, 37, 1] 1 6
-20 [174, 103, 1] 1 24
-20 [180, 50, 2] 1 118
-20 [180, 40, 2] 1 118
-20 [242, 11, 11] 1 76
-20 [245, 115, 1] 1 52
-20 [224, 12, 4] 1 84
-20 [245, 130, 1] 1 52
-20 [232, 26, 2] 1 32
-20 [174, 13, 1] 1 24
-20 [232, 90, 2] 1 32
-20 [235, 170, 1] 1 14
-20 [244, 38, 2] 1 22
-20 [224, 44, 4] 1 84
-20 [235, 65, 1] 1 14
-20 [244, 84, 2] 1 22
-20 [289, 0, 17] 1 54
-20 [214, 67, 1] 1 12
-20 [214, 147, 1] 1 12
-20 [245, 0, 7] 1 88
-20 [218, 179, 1] 1 12
-20 [243, 142, 1] 1 43
-20 [218, 39, 1] 1 12
-20 [243, 101, 1] 1 43
-20 [268, 106, 2] 1 21
-20 [281, 240, 1] 1 6
-20 [361, 0, 19] 1 60
-20 [263, 235, 1] 1 5
-20 [2, 1, 1] 2 7
-20 [4, 0, 2] 2 13
-20 [3, 1, 1] 2 6
-20 [3, 2, 1] 2 6
-20 [5, 0, 1] 2 7
-20 [8, 2, 2] 2 22
-20 [7, 3, 1] 2 6
-20 [7, 4, 1] 2 6
-20 [6, 5, 1] 2 14
-20 [6, 1, 1] 2 14
-20 [9, 2, 1] 2 12
-20 [9, 7, 1] 2 12
-20 [10, 5, 1] 2 19
-20 [9, 0, 3] 2 18
-20 [12, 2, 2] 2 26
-20 [20, 0, 2] 2 36
-20 [12, 4, 2] 2 26
-20 [25, 0, 5] 2 39
-20 [32, 4, 4] 2 58
-20 [15, 5, 1] 2 15
-20 [23, 15, 1] 2 6
-20 [23, 8, 1] 2 6
-20 [14, 11, 1] 2 15
-20 [15, 10, 1] 2 15
-20 [21, 17, 1] 2 12
-20 [21, 4, 1] 2 12
-20 [24, 10, 2] 2 44
-20 [14, 3, 1] 2 15
-20 [24, 2, 2] 2 44
-20 [28, 8, 2] 2 29
-20 [28, 6, 2] 2 29
-20 [29, 16, 1] 2 6
-20 [29, 13, 1] 2 6
-20 [21, 11, 1] 2 13
-20 [21, 10, 1] 2 13
-20 [18, 7, 1] 2 28
-20 [18, 11, 1] 2 28
-20 [40, 10, 2] 2 62
-20 [27, 20, 1] 2 18
-20 [27, 7, 1] 2 18
-20 [27, 3, 3] 2 42
-20 [35, 25, 1] 2 14
-20 [41, 35, 1] 2 6
-20 [18, 3, 3] 2 42
-20 [41, 6, 1] 2 6
-20 [36, 14, 2] 2 52
-20 [27, 6, 3] 2 42
-20 [64, 0, 8] 2 96
-20 [36, 4, 2] 2 52
-20 [35, 10, 1] 2 14
-20 [30, 5, 1] 2 40
-20 [61, 42, 1] 2 6
-20 [30, 25, 1] 2 40
-20 [36, 0, 6] 2 78
-20 [61, 19, 1] 2 6
-20 [16, 0, 4] 2 40
-20 [56, 22, 2] 2 49
-20 [56, 6, 2] 2 49
-20 [80, 0, 4] 2 114
-20 [67, 14, 1] 2 6
-20 [67, 53, 1] 2 6
-20 [43, 9, 1] 2 6
-20 [58, 45, 1] 2 16
-20 [58, 13, 1] 2 16
-20 [63, 25, 1] 2 24
-20 [83, 24, 1] 2 6
-20 [43, 34, 1] 2 6
-20 [49, 17, 1] 2 20
-20 [42, 11, 1] 2 37
-20 [54, 47, 1] 2 42
-20 [63, 38, 1] 2 24
-20 [83, 59, 1] 2 6
-20 [72, 22, 2] 2 88
-20 [49, 32, 1] 2 20
-20 [75, 5, 5] 2 79
-20 [54, 7, 1] 2 42
-20 [63, 11, 1] 2 27
-20 [47, 29, 1] 2 6
-20 [45, 25, 1] 2 31
-20 [50, 5, 5] 2 91
-20 [49, 0, 7] 2 30
-20 [81, 20, 1] 2 32
-20 [63, 52, 1] 2 27
-20 [47, 18, 1] 2 6
-20 [48, 8, 4] 2 80
-20 [45, 20, 1] 2 31
-20 [60, 10, 2] 2 76
-20 [48, 4, 4] 2 80
-20 [46, 31, 1] 2 14
-20 [72, 14, 2] 2 88
-20 [60, 20, 2] 2 76
-20 [75, 10, 5] 2 79
-20 [69, 31, 1] 2 12
-20 [46, 15, 1] 2 14
-20 [69, 8, 1] 2 12
-20 [69, 61, 1] 2 12
-20 [69, 38, 1] 2 12
-20 [81, 0, 9] 2 110
-20 [81, 61, 1] 2 32
-20 [45, 0, 3] 2 46
-20 [89, 66, 1] 2 6
-20 [42, 17, 1] 2 30
-20 [100, 0, 10] 2 168
-20 [42, 25, 1] 2 30
-20 [89, 23, 1] 2 6
-20 [42, 31, 1] 2 37
-20 [92, 30, 2] 2 26
-20 [92, 16, 2] 2 26
-20 [82, 47, 1] 2 14
-20 [82, 35, 1] 2 14
-20 [86, 9, 1] 2 14
-20 [101, 46, 1] 2 6
-20 [121, 0, 11] 2 36
-20 [86, 77, 1] 2 14
-20 [70, 25, 1] 2 41
-20 [103, 43, 1] 2 6
-20 [70, 45, 1] 2 41
-20 [109, 70, 1] 2 6
-20 [103, 60, 1] 2 6
-20 [101, 55, 1] 2 6
-20 [109, 39, 1] 2 6
-20 [125, 0, 5] 2 71
-20 [128, 8, 8] 2 132
-20 [87, 16, 1] 2 12
-20 [107, 40, 1] 2 6
-20 [87, 13, 1] 2 12
-20 [107, 67, 1] 2 6
-20 [94, 29, 1] 2 14
-20 [94, 65, 1] 2 14
-20 [87, 71, 1] 2 12
-20 [115, 15, 1] 2 14
-20 [127, 54, 1] 2 6
-20 [2, 1, 1] 3 13
-20 [4, 0, 2] 3 25
-20 [3, 1, 1] 3 11
-20 [3, 2, 1] 3 11
-20 [5, 0, 1] 3 18
-20 [8, 2, 2] 3 38
-20 [7, 4, 1] 3 11
-20 [7, 3, 1] 3 11
-20 [6, 1, 1] 3 26
-20 [6, 5, 1] 3 26
-20 [9, 2, 1] 3 23
-20 [9, 7, 1] 3 23
-20 [12, 2, 2] 3 50
-20 [12, 4, 2] 3 50
-20 [9, 0, 3] 3 34
-20 [20, 0, 2] 3 70
-20 [14, 3, 1] 3 26
-20 [14, 11, 1] 3 26
-20 [15, 5, 1] 3 34
-20 [15, 10, 1] 3 34
-20 [25, 0, 5] 3 60
-20 [32, 4, 4] 3 92
-20 [21, 4, 1] 3 22
-20 [21, 17, 1] 3 22
-20 [23, 15, 1] 3 11
-20 [18, 7, 1] 3 52
-20 [28, 8, 2] 3 49
-20 [28, 6, 2] 3 49
-20 [16, 0, 4] 3 66
-20 [24, 2, 2] 3 78
-20 [24, 10, 2] 3 78
-20 [18, 11, 1] 3 52
-20 [21, 11, 1] 3 22
-20 [21, 10, 1] 3 22
-20 [29, 16, 1] 3 12
-20 [29, 13, 1] 3 12
-20 [27, 7, 1] 3 33
-20 [27, 20, 1] 3 33
-20 [18, 3, 3] 3 78
-20 [27, 3, 3] 3 80
-20 [40, 10, 2] 3 104
-20 [35, 25, 1] 3 34
-20 [27, 6, 3] 3 80
-20 [41, 35, 1] 3 12
-20 [36, 14, 2] 3 102
-20 [35, 10, 1] 3 34
-20 [36, 4, 2] 3 102
-20 [41, 6, 1] 3 12
-20 [49, 0, 7] 3 58
-20 [49, 17, 1] 3 31
-20 [49, 32, 1] 3 31
-20 [43, 9, 1] 3 11
-20 [43, 34, 1] 3 11
-20 [47, 18, 1] 3 11
-20 [47, 29, 1] 3 11
-20 [30, 5, 1] 3 76
-20 [30, 25, 1] 3 76
-20 [61, 42, 1] 3 12
-20 [2, 1, 1] 4 11
-20 [4, 0, 2] 4 21
-20 [3, 1, 1] 4 10
-20 [3, 2, 1] 4 10
-20 [5, 0, 1] 4 11
-20 [8, 2, 2] 4 36
-20 [7, 4, 1] 4 10
-20 [7, 3, 1] 4 10
-20 [6, 5, 1] 4 22
-20 [6, 1, 1] 4 22
-20 [16, 0, 4] 4 66
-20 [9, 7, 1] 4 20
-20 [9, 2, 1] 4 20
-20 [12, 2, 2] 4 42
-20 [12, 4, 2] 4 42
-20 [9, 0, 3] 4 30
-20 [20, 0, 2] 4 52
-20 [14, 3, 1] 4 22
-20 [15, 5, 1] 4 22
-20 [14, 11, 1] 4 22
-20 [15, 10, 1] 4 22
-20 [25, 0, 5] 4 63
-20 [32, 4, 4] 4 96
-20 [23, 15, 1] 4 10
-20 [21, 4, 1] 4 20
-20 [21, 17, 1] 4 20
-20 [29, 16, 1] 4 10
-20 [2, 1, 1] 5 18
-20 [4, 0, 2] 5 33
-20 [3, 2, 1] 5 17
-20 [3, 1, 1] 5 17
-20 [5, 0, 1] 5 26
-20 [8, 2, 2] 5 50
-20 [7, 4, 1] 5 17
-20 [7, 3, 1] 5 17
-20 [6, 5, 1] 5 36
-20 [6, 1, 1] 5 36
-20 [16, 0, 4] 5 86
-20 [9, 2, 1] 5 35
-20 [9, 7, 1] 5 35
-20 [12, 4, 2] 5 66
-20 [12, 2, 2] 5 66
-20 [9, 0, 3] 5 52
-20 [2, 1, 1] 6 17
-20 [4, 0, 2] 6 31
-20 [3, 1, 1] 6 14
-20 [3, 2, 1] 6 14
-20 [5, 0, 1] 6 17
-20 [8, 2, 2] 6 52
-20 [7, 4, 1] 6 14
-20 [7, 3, 1] 6 14
-20 [6, 5, 1] 6 34
-20 [6, 1, 1] 6 34
-20 [9, 2, 1] 6 28
-20 [2, 1, 1] 7 25
-20 [4, 0, 2] 7 45
-20 [3, 2, 1] 7 23
-20 [3, 1, 1] 7 23
-20 [5, 0, 1] 7 34
-20 [8, 2, 2] 7 68
-20 [7, 4, 1] 7 23
-20 [7, 3, 1] 7 23
-20 [2, 1, 1] 8 21
-20 [4, 0, 2] 8 39
-20 [3, 2, 1] 8 18
-20 [3, 1, 1] 8 18
-20 [5, 0, 1] 8 21
-20 [2, 1, 1] 9 30
-20 [3, 2, 1] 9 29
-20 [3, 1, 1] 9 29
-20 [2, 1, 1] 10 25
-20 [3, 2, 1] 10 22