advent-of-code

Solutions for Advent of Code.
git clone git://git.amin.space/advent-of-code.git
Log | Files | Refs | LICENSE

day_03_1.zig (47305B)


      1 const std = @import("std");
      2 const debug = std.debug;
      3 const fmt = std.fmt;
      4 const mem = std.mem;
      5 
      6 pub fn main() !void {
      7     var result = try num_overlapped_squares(input_03);
      8     debug.assert(result == 118223);
      9     debug.warn("03-1: {}\n", result);
     10 }
     11 
     12 fn num_overlapped_squares(input: []const []const u8) !u64 {
     13     var allocator = std.heap.DirectAllocator.init().allocator;
     14 
     15     var rects = std.ArrayList(Rect).init(&allocator);
     16     defer rects.deinit();
     17 
     18     var max = V2 { .x = 0, .y = 0 };
     19     for (input) |claim_string| {
     20         var r = Rect.from_claim(try Claim.parse(claim_string));
     21         try rects.append(r);
     22 
     23         if (r.se.x > max.x) max.x = r.se.x;
     24         if (r.se.y > max.y) max.y = r.se.y;
     25     }
     26 
     27     //V2.print(max);
     28 
     29     var squares = try allocator.alloc(u32, ((max.x + 1) * (max.y + 1)));
     30     defer allocator.free(squares);
     31     for (squares) |*s| {
     32         s.* = 0;
     33     }
     34 
     35     var rect_it = rects.iterator();
     36     while (rect_it.next()) |next| {
     37         const rect_squares = try Rect.covered_squares(next, &allocator);
     38         for (rect_squares) |s| {
     39             squares[(s.x + ((max.x) * s.y))] += 1;
     40         }
     41     }
     42 
     43     //buf_print_2d(squares, max.x + 1);
     44 
     45     var total_count: u64 = 0;
     46     for (squares) |count| {
     47         if (count > 1) {
     48             total_count += 1;
     49         }
     50     }
     51     return total_count;
     52 }
     53 
     54 test "num_overlapped_squares" {
     55     const test_input = []const []const u8 {
     56         "#1 @ 1,3: 4x4",
     57         "#2 @ 3,1: 4x4",
     58         "#3 @ 5,5: 2x2",
     59     };
     60     debug.assert(4 == try num_overlapped_squares(test_input));
     61 }
     62 
     63 fn buf_print_2d(buf: []u32, stride: u32) void {
     64     for (buf) |val, i| {
     65         if (i % stride == 0) {
     66             debug.warn("\n");
     67         }
     68         debug.warn("{} ", val);
     69     }
     70     debug.warn("\n");
     71 }
     72 
     73 const Claim = struct {
     74     id: u32,
     75     offset_left: u32,
     76     offset_top: u32,
     77     width: u32,
     78     height: u32,
     79 
     80     pub fn print(c: Claim) void {
     81         debug.warn("id: {}\n", c.id);
     82         debug.warn("offset_left: {}\n", c.offset_left);
     83         debug.warn("offset_top: {}\n", c.offset_top);
     84         debug.warn("width: {}\n", c.width);
     85         debug.warn("height: {}\n", c.height);
     86     }
     87 
     88     pub fn parse(s: []const u8) !Claim {
     89         var c = Claim {
     90             .id = 0,
     91             .offset_left = 0,
     92             .offset_top = 0,
     93             .width = 0,
     94             .height = 0,
     95         };
     96 
     97         // Harrowing tale: I did these in the wrong order at first and it took
     98         // me forever to track down! Yes, my tests were also wrong.
     99         var pos: usize = 0;
    100         consume(s, &pos, "#");
    101         c.id = try get_int(s, &pos);
    102         consume(s, &pos, " @ ");
    103         c.offset_left = try get_int(s, &pos);
    104         consume(s, &pos, ",");
    105         c.offset_top = try get_int(s, &pos);
    106         consume(s, &pos, ": ");
    107         c.width = try get_int(s, &pos);
    108         consume(s, &pos, "x");
    109         c.height = try get_int(s, &pos);
    110 
    111         return c;
    112     }
    113 
    114     fn consume(s: []const u8, pos: *usize, consume_me: []const u8) void {
    115         for (consume_me) |c| {
    116             debug.assert(s[pos.*] == c);
    117             pos.* += 1;
    118         }
    119     }
    120 
    121     fn get_int(s: []const u8, pos: *usize) !u32 {
    122         var initial_pos = pos.*;
    123         debug.assert(is_digit(s[initial_pos]));
    124 
    125         var encountered_non_digit = false;
    126 
    127         for (s[initial_pos..]) |c, i| {
    128             if (!is_digit(c)) {
    129                 encountered_non_digit = true;
    130                 pos.* += i;
    131                 break;
    132             }
    133         }
    134 
    135         if (encountered_non_digit) {
    136             return try fmt.parseInt(u32, s[initial_pos..pos.*], 10);
    137         } else {
    138             return try fmt.parseInt(u32, s[initial_pos..], 10);
    139         }
    140     }
    141 
    142     fn is_digit(char: u8) bool {
    143         if (char >= '0' and char <= '9') {
    144             return true;
    145         }
    146         return false;
    147     }
    148 };
    149 
    150 test "parse claim" {
    151     const claim1 = try Claim.parse("#1 @ 1,3: 4x4");
    152     debug.assert(claim1.id == 1);
    153     debug.assert(claim1.offset_left == 1);
    154     debug.assert(claim1.offset_top == 3);
    155     debug.assert(claim1.width == 4);
    156     debug.assert(claim1.height == 4);
    157 
    158     const claim2 = try Claim.parse("#2 @ 3,1: 4x4");
    159     debug.assert(claim2.id == 2);
    160     debug.assert(claim2.offset_left == 3);
    161     debug.assert(claim2.offset_top == 1);
    162     debug.assert(claim2.width == 4);
    163     debug.assert(claim2.height == 4);
    164 
    165     const claim3 = try Claim.parse("#3 @ 5,5: 2x2");
    166     debug.assert(claim3.id == 3);
    167     debug.assert(claim3.offset_left == 5);
    168     debug.assert(claim3.offset_top == 5);
    169     debug.assert(claim3.width == 2);
    170     debug.assert(claim3.height == 2);
    171 
    172     const claim4 = try Claim.parse("#1391 @ 256,801: 23x10");
    173     debug.assert(claim4.id == 1391);
    174     debug.assert(claim4.offset_left == 256);
    175     debug.assert(claim4.offset_top == 801);
    176     debug.assert(claim4.width == 23);
    177     debug.assert(claim4.height == 10);
    178 }
    179 
    180 const V2 = struct {
    181     x: u32,
    182     y: u32,
    183 
    184     pub fn init(_x: u32, _y: u32) V2 {
    185         return V2 {
    186             .x = _x,
    187             .y = _y,
    188         };
    189     }
    190 
    191     pub fn equal(self: V2, other: V2) bool {
    192         return (self.x == other.x and self.y == other.y);
    193     }
    194 
    195     pub fn print(v: V2) void {
    196         debug.warn("({}, {})\n", v.x, v.y);
    197     }
    198 };
    199 
    200 const Rect = struct {
    201     nw: V2,
    202     se: V2,
    203 
    204     pub fn init(nwx: u32, nwy: u32, sex: u32, sey: u32) Rect {
    205         debug.assert(nwx <= sex);
    206         debug.assert(nwy <= sey);
    207         return Rect {
    208             .nw = V2.init(nwx, nwy),
    209             .se = V2.init(sex, sey),
    210         };
    211     }
    212 
    213     pub fn from_claim(c: Claim) Rect {
    214         return Rect {
    215             .nw = V2 { .x = c.offset_left, .y = c.offset_top },
    216             .se = V2 { .x = c.offset_left + c.width - 1, .y = c.offset_top + c.height - 1},
    217         };
    218     }
    219 
    220     pub fn print(r: Rect) void {
    221         debug.warn("({}, {}), ({}, {})\n", r.nw.x, r.nw.y, r.se.x, r.se.y);
    222     }
    223 
    224     pub fn covered_squares(r: Rect, a: *mem.Allocator) ![]V2 {
    225         //Rect.print(r);
    226         var squares = try a.alloc(V2, (((r.se.x - r.nw.x) + 1) * ((r.se.y - r.nw.y) + 1)));
    227         var x = r.nw.x;
    228         var z: usize = 0;
    229         while (x <= r.se.x) {
    230             var y = r.nw.y;
    231             while (y <= r.se.y) {
    232                 debug.assert(z < squares.len);
    233                 squares[z] = V2.init(x, y);
    234                 //V2.print(squares[z]);
    235                 y += 1;
    236                 z += 1;
    237             }
    238             x += 1;
    239         }
    240         return squares;
    241     }
    242 };
    243 
    244 test "rect from claim" {
    245     const c = Claim {
    246         .id = 123,
    247         .offset_left = 3,
    248         .offset_top = 2,
    249         .width = 5,
    250         .height = 4,
    251     };
    252 
    253     const r = Rect.from_claim(c);
    254     debug.assert(V2.equal(r.nw, V2 { .x = 3, .y = 2}));
    255     debug.assert(V2.equal(r.se, V2 { .x = 7, .y = 5}));
    256 }
    257 
    258 const input_03 = []const []const u8 {
    259     "#1 @ 669,271: 17x11",
    260     "#2 @ 153,186: 20x26",
    261     "#3 @ 186,838: 28x11",
    262     "#4 @ 119,248: 18x13",
    263     "#5 @ 57,843: 14x11",
    264     "#6 @ 868,833: 18x20",
    265     "#7 @ 225,38: 26x20",
    266     "#8 @ 208,673: 29x22",
    267     "#9 @ 25,877: 23x13",
    268     "#10 @ 406,555: 11x25",
    269     "#11 @ 567,243: 29x14",
    270     "#12 @ 369,930: 21x14",
    271     "#13 @ 692,175: 21x12",
    272     "#14 @ 662,511: 24x10",
    273     "#15 @ 860,645: 27x26",
    274     "#16 @ 959,534: 28x12",
    275     "#17 @ 453,236: 27x25",
    276     "#18 @ 299,300: 16x19",
    277     "#19 @ 233,190: 12x14",
    278     "#20 @ 306,190: 29x16",
    279     "#21 @ 896,206: 13x24",
    280     "#22 @ 96,944: 23x25",
    281     "#23 @ 194,475: 22x21",
    282     "#24 @ 712,414: 20x12",
    283     "#25 @ 146,332: 22x22",
    284     "#26 @ 407,579: 15x12",
    285     "#27 @ 790,662: 20x21",
    286     "#28 @ 372,130: 10x23",
    287     "#29 @ 871,601: 22x25",
    288     "#30 @ 546,853: 28x29",
    289     "#31 @ 921,667: 24x23",
    290     "#32 @ 117,257: 21x26",
    291     "#33 @ 72,855: 13x29",
    292     "#34 @ 370,67: 18x19",
    293     "#35 @ 860,777: 15x21",
    294     "#36 @ 450,249: 17x14",
    295     "#37 @ 764,208: 7x3",
    296     "#38 @ 127,910: 13x15",
    297     "#39 @ 447,467: 25x27",
    298     "#40 @ 386,294: 19x11",
    299     "#41 @ 504,771: 28x10",
    300     "#42 @ 237,783: 27x19",
    301     "#43 @ 98,544: 25x28",
    302     "#44 @ 456,777: 12x20",
    303     "#45 @ 252,488: 28x21",
    304     "#46 @ 859,864: 22x12",
    305     "#47 @ 581,5: 18x10",
    306     "#48 @ 716,165: 19x28",
    307     "#49 @ 408,803: 23x24",
    308     "#50 @ 438,954: 18x16",
    309     "#51 @ 746,834: 10x27",
    310     "#52 @ 791,699: 18x13",
    311     "#53 @ 323,392: 27x18",
    312     "#54 @ 131,384: 28x15",
    313     "#55 @ 233,697: 11x28",
    314     "#56 @ 265,31: 15x23",
    315     "#57 @ 954,467: 19x27",
    316     "#58 @ 195,471: 23x15",
    317     "#59 @ 625,769: 7x6",
    318     "#60 @ 440,701: 11x13",
    319     "#61 @ 243,406: 13x25",
    320     "#62 @ 500,928: 21x18",
    321     "#63 @ 444,246: 28x28",
    322     "#64 @ 668,568: 10x18",
    323     "#65 @ 27,456: 29x13",
    324     "#66 @ 182,673: 26x21",
    325     "#67 @ 213,661: 24x26",
    326     "#68 @ 409,0: 23x12",
    327     "#69 @ 688,177: 27x19",
    328     "#70 @ 935,912: 22x17",
    329     "#71 @ 444,739: 20x29",
    330     "#72 @ 781,367: 15x13",
    331     "#73 @ 890,432: 29x21",
    332     "#74 @ 668,611: 21x13",
    333     "#75 @ 39,144: 19x25",
    334     "#76 @ 524,774: 21x11",
    335     "#77 @ 905,957: 21x17",
    336     "#78 @ 936,359: 10x24",
    337     "#79 @ 922,315: 26x28",
    338     "#80 @ 107,355: 11x28",
    339     "#81 @ 519,641: 12x25",
    340     "#82 @ 760,337: 18x21",
    341     "#83 @ 357,329: 27x18",
    342     "#84 @ 847,317: 14x12",
    343     "#85 @ 902,505: 15x23",
    344     "#86 @ 964,559: 10x21",
    345     "#87 @ 126,257: 19x12",
    346     "#88 @ 883,780: 12x28",
    347     "#89 @ 621,934: 10x4",
    348     "#90 @ 861,874: 24x11",
    349     "#91 @ 409,111: 21x22",
    350     "#92 @ 784,929: 17x26",
    351     "#93 @ 133,387: 3x7",
    352     "#94 @ 609,545: 14x14",
    353     "#95 @ 383,93: 11x26",
    354     "#96 @ 878,383: 22x15",
    355     "#97 @ 555,423: 23x17",
    356     "#98 @ 580,900: 29x25",
    357     "#99 @ 440,496: 22x16",
    358     "#100 @ 973,526: 16x10",
    359     "#101 @ 675,245: 19x14",
    360     "#102 @ 588,216: 22x14",
    361     "#103 @ 687,775: 12x11",
    362     "#104 @ 973,762: 12x7",
    363     "#105 @ 653,948: 16x21",
    364     "#106 @ 464,973: 15x16",
    365     "#107 @ 832,289: 27x16",
    366     "#108 @ 194,224: 26x11",
    367     "#109 @ 46,327: 18x23",
    368     "#110 @ 635,662: 19x17",
    369     "#111 @ 41,853: 19x21",
    370     "#112 @ 351,298: 14x29",
    371     "#113 @ 57,34: 21x14",
    372     "#114 @ 549,958: 23x17",
    373     "#115 @ 136,515: 15x20",
    374     "#116 @ 365,965: 10x29",
    375     "#117 @ 52,58: 16x28",
    376     "#118 @ 622,25: 19x17",
    377     "#119 @ 716,284: 17x29",
    378     "#120 @ 131,111: 26x12",
    379     "#121 @ 576,919: 19x21",
    380     "#122 @ 963,748: 11x29",
    381     "#123 @ 742,842: 22x18",
    382     "#124 @ 654,124: 3x6",
    383     "#125 @ 174,913: 22x13",
    384     "#126 @ 433,680: 10x24",
    385     "#127 @ 206,547: 11x14",
    386     "#128 @ 876,908: 26x15",
    387     "#129 @ 285,775: 4x6",
    388     "#130 @ 203,478: 22x20",
    389     "#131 @ 732,394: 11x26",
    390     "#132 @ 315,757: 10x27",
    391     "#133 @ 17,520: 25x18",
    392     "#134 @ 277,445: 14x13",
    393     "#135 @ 638,648: 16x18",
    394     "#136 @ 542,34: 27x13",
    395     "#137 @ 175,547: 10x25",
    396     "#138 @ 78,159: 20x16",
    397     "#139 @ 456,312: 25x16",
    398     "#140 @ 886,385: 21x16",
    399     "#141 @ 39,91: 13x22",
    400     "#142 @ 150,517: 12x13",
    401     "#143 @ 730,185: 17x18",
    402     "#144 @ 770,76: 13x16",
    403     "#145 @ 769,367: 13x17",
    404     "#146 @ 548,82: 22x18",
    405     "#147 @ 669,813: 15x16",
    406     "#148 @ 523,718: 27x10",
    407     "#149 @ 786,361: 14x25",
    408     "#150 @ 168,641: 24x22",
    409     "#151 @ 274,324: 24x22",
    410     "#152 @ 88,729: 24x21",
    411     "#153 @ 4,579: 20x22",
    412     "#154 @ 494,942: 23x17",
    413     "#155 @ 215,527: 28x14",
    414     "#156 @ 117,536: 24x18",
    415     "#157 @ 916,64: 28x28",
    416     "#158 @ 502,106: 13x23",
    417     "#159 @ 244,713: 13x23",
    418     "#160 @ 628,438: 20x23",
    419     "#161 @ 978,893: 19x16",
    420     "#162 @ 646,750: 25x10",
    421     "#163 @ 628,596: 22x17",
    422     "#164 @ 280,808: 29x13",
    423     "#165 @ 487,906: 11x21",
    424     "#166 @ 880,283: 11x27",
    425     "#167 @ 644,921: 21x23",
    426     "#168 @ 488,925: 29x15",
    427     "#169 @ 409,804: 10x10",
    428     "#170 @ 656,787: 27x29",
    429     "#171 @ 132,498: 18x28",
    430     "#172 @ 658,213: 17x24",
    431     "#173 @ 607,917: 13x20",
    432     "#174 @ 646,962: 10x14",
    433     "#175 @ 536,277: 22x10",
    434     "#176 @ 335,634: 16x16",
    435     "#177 @ 176,535: 20x22",
    436     "#178 @ 76,843: 14x25",
    437     "#179 @ 759,869: 27x20",
    438     "#180 @ 589,729: 17x29",
    439     "#181 @ 348,514: 18x16",
    440     "#182 @ 900,747: 13x26",
    441     "#183 @ 149,958: 3x6",
    442     "#184 @ 316,77: 20x26",
    443     "#185 @ 464,544: 24x22",
    444     "#186 @ 44,515: 29x24",
    445     "#187 @ 948,659: 15x17",
    446     "#188 @ 505,83: 28x26",
    447     "#189 @ 340,480: 21x14",
    448     "#190 @ 491,950: 19x18",
    449     "#191 @ 62,245: 26x23",
    450     "#192 @ 384,657: 18x22",
    451     "#193 @ 787,954: 18x18",
    452     "#194 @ 934,581: 22x14",
    453     "#195 @ 48,236: 22x22",
    454     "#196 @ 822,675: 11x26",
    455     "#197 @ 817,821: 15x16",
    456     "#198 @ 823,700: 11x20",
    457     "#199 @ 665,390: 20x25",
    458     "#200 @ 252,972: 28x21",
    459     "#201 @ 224,541: 21x19",
    460     "#202 @ 159,326: 10x27",
    461     "#203 @ 27,386: 10x28",
    462     "#204 @ 587,119: 25x18",
    463     "#205 @ 969,628: 23x27",
    464     "#206 @ 940,34: 18x21",
    465     "#207 @ 153,5: 25x12",
    466     "#208 @ 784,55: 17x13",
    467     "#209 @ 816,806: 17x18",
    468     "#210 @ 228,231: 12x24",
    469     "#211 @ 124,379: 14x20",
    470     "#212 @ 894,961: 25x24",
    471     "#213 @ 125,425: 15x29",
    472     "#214 @ 759,155: 20x22",
    473     "#215 @ 606,966: 16x20",
    474     "#216 @ 417,18: 12x19",
    475     "#217 @ 901,455: 20x22",
    476     "#218 @ 369,304: 28x13",
    477     "#219 @ 939,56: 24x20",
    478     "#220 @ 542,288: 27x29",
    479     "#221 @ 213,279: 16x22",
    480     "#222 @ 927,150: 13x27",
    481     "#223 @ 571,964: 22x19",
    482     "#224 @ 230,644: 25x21",
    483     "#225 @ 338,411: 20x14",
    484     "#226 @ 348,3: 19x11",
    485     "#227 @ 498,914: 29x26",
    486     "#228 @ 641,974: 27x13",
    487     "#229 @ 463,258: 26x26",
    488     "#230 @ 926,281: 11x26",
    489     "#231 @ 573,449: 11x29",
    490     "#232 @ 606,861: 19x20",
    491     "#233 @ 394,871: 17x18",
    492     "#234 @ 407,785: 27x20",
    493     "#235 @ 681,447: 21x16",
    494     "#236 @ 471,808: 19x27",
    495     "#237 @ 794,294: 17x23",
    496     "#238 @ 446,935: 16x15",
    497     "#239 @ 156,589: 17x24",
    498     "#240 @ 353,489: 19x17",
    499     "#241 @ 291,171: 28x25",
    500     "#242 @ 935,484: 27x17",
    501     "#243 @ 230,116: 14x27",
    502     "#244 @ 946,740: 26x16",
    503     "#245 @ 894,245: 13x29",
    504     "#246 @ 13,414: 12x18",
    505     "#247 @ 282,667: 28x16",
    506     "#248 @ 84,245: 28x29",
    507     "#249 @ 6,77: 21x15",
    508     "#250 @ 68,23: 19x19",
    509     "#251 @ 216,542: 22x13",
    510     "#252 @ 19,448: 19x19",
    511     "#253 @ 50,870: 12x27",
    512     "#254 @ 133,607: 14x19",
    513     "#255 @ 658,927: 18x13",
    514     "#256 @ 253,447: 23x23",
    515     "#257 @ 938,137: 12x21",
    516     "#258 @ 74,347: 19x16",
    517     "#259 @ 789,87: 11x11",
    518     "#260 @ 116,168: 10x20",
    519     "#261 @ 351,34: 23x17",
    520     "#262 @ 312,171: 22x10",
    521     "#263 @ 419,176: 27x13",
    522     "#264 @ 340,616: 14x23",
    523     "#265 @ 316,195: 11x22",
    524     "#266 @ 152,381: 12x11",
    525     "#267 @ 950,599: 18x19",
    526     "#268 @ 648,954: 27x16",
    527     "#269 @ 215,319: 11x10",
    528     "#270 @ 630,382: 26x20",
    529     "#271 @ 594,513: 20x25",
    530     "#272 @ 174,311: 11x28",
    531     "#273 @ 391,183: 22x10",
    532     "#274 @ 195,824: 21x27",
    533     "#275 @ 675,426: 23x23",
    534     "#276 @ 739,219: 24x18",
    535     "#277 @ 619,932: 15x12",
    536     "#278 @ 433,583: 16x26",
    537     "#279 @ 35,192: 23x19",
    538     "#280 @ 930,177: 28x28",
    539     "#281 @ 825,327: 17x23",
    540     "#282 @ 807,145: 25x14",
    541     "#283 @ 529,796: 10x21",
    542     "#284 @ 289,265: 15x29",
    543     "#285 @ 647,974: 17x19",
    544     "#286 @ 901,313: 22x18",
    545     "#287 @ 135,499: 10x29",
    546     "#288 @ 826,38: 10x27",
    547     "#289 @ 335,205: 13x28",
    548     "#290 @ 72,541: 19x22",
    549     "#291 @ 762,546: 14x10",
    550     "#292 @ 183,32: 28x27",
    551     "#293 @ 194,158: 17x23",
    552     "#294 @ 855,66: 25x26",
    553     "#295 @ 937,460: 11x9",
    554     "#296 @ 332,524: 28x26",
    555     "#297 @ 629,760: 24x15",
    556     "#298 @ 183,836: 24x12",
    557     "#299 @ 373,121: 21x12",
    558     "#300 @ 859,53: 27x28",
    559     "#301 @ 735,903: 27x21",
    560     "#302 @ 666,397: 16x28",
    561     "#303 @ 586,105: 24x20",
    562     "#304 @ 246,298: 19x11",
    563     "#305 @ 578,882: 18x22",
    564     "#306 @ 180,450: 26x19",
    565     "#307 @ 228,292: 23x18",
    566     "#308 @ 350,492: 17x10",
    567     "#309 @ 894,358: 20x26",
    568     "#310 @ 864,147: 27x16",
    569     "#311 @ 193,399: 18x29",
    570     "#312 @ 685,443: 16x24",
    571     "#313 @ 56,690: 29x18",
    572     "#314 @ 540,502: 16x14",
    573     "#315 @ 292,249: 28x28",
    574     "#316 @ 25,612: 20x15",
    575     "#317 @ 640,451: 12x17",
    576     "#318 @ 466,981: 27x11",
    577     "#319 @ 874,876: 17x29",
    578     "#320 @ 870,532: 11x16",
    579     "#321 @ 866,870: 22x23",
    580     "#322 @ 946,2: 23x15",
    581     "#323 @ 538,553: 11x29",
    582     "#324 @ 937,963: 24x12",
    583     "#325 @ 745,818: 21x24",
    584     "#326 @ 851,574: 20x16",
    585     "#327 @ 333,852: 12x19",
    586     "#328 @ 448,585: 13x28",
    587     "#329 @ 155,822: 12x29",
    588     "#330 @ 948,586: 12x24",
    589     "#331 @ 286,665: 29x10",
    590     "#332 @ 965,4: 16x13",
    591     "#333 @ 283,847: 3x7",
    592     "#334 @ 967,350: 17x12",
    593     "#335 @ 801,863: 11x19",
    594     "#336 @ 928,63: 20x22",
    595     "#337 @ 66,274: 14x22",
    596     "#338 @ 849,572: 25x27",
    597     "#339 @ 279,381: 23x25",
    598     "#340 @ 603,741: 24x21",
    599     "#341 @ 637,357: 17x29",
    600     "#342 @ 422,200: 14x19",
    601     "#343 @ 728,306: 15x14",
    602     "#344 @ 232,312: 14x18",
    603     "#345 @ 539,490: 27x25",
    604     "#346 @ 841,664: 26x24",
    605     "#347 @ 711,527: 12x24",
    606     "#348 @ 269,189: 23x16",
    607     "#349 @ 42,276: 11x12",
    608     "#350 @ 245,784: 22x25",
    609     "#351 @ 732,899: 27x17",
    610     "#352 @ 820,295: 22x26",
    611     "#353 @ 200,842: 12x16",
    612     "#354 @ 22,140: 24x24",
    613     "#355 @ 573,849: 25x25",
    614     "#356 @ 653,58: 23x25",
    615     "#357 @ 590,224: 10x27",
    616     "#358 @ 535,577: 10x11",
    617     "#359 @ 856,203: 18x22",
    618     "#360 @ 344,901: 14x21",
    619     "#361 @ 308,921: 25x13",
    620     "#362 @ 74,452: 17x15",
    621     "#363 @ 878,645: 26x19",
    622     "#364 @ 518,321: 13x13",
    623     "#365 @ 531,25: 10x21",
    624     "#366 @ 751,321: 29x14",
    625     "#367 @ 120,430: 10x16",
    626     "#368 @ 88,457: 16x11",
    627     "#369 @ 679,882: 21x14",
    628     "#370 @ 650,227: 28x26",
    629     "#371 @ 578,688: 11x14",
    630     "#372 @ 342,643: 12x20",
    631     "#373 @ 41,151: 10x12",
    632     "#374 @ 842,283: 27x24",
    633     "#375 @ 718,224: 25x23",
    634     "#376 @ 23,472: 17x22",
    635     "#377 @ 930,358: 19x27",
    636     "#378 @ 274,438: 21x11",
    637     "#379 @ 329,25: 26x10",
    638     "#380 @ 716,417: 18x12",
    639     "#381 @ 158,693: 13x24",
    640     "#382 @ 345,398: 13x13",
    641     "#383 @ 861,793: 28x25",
    642     "#384 @ 176,940: 14x28",
    643     "#385 @ 536,664: 27x16",
    644     "#386 @ 884,932: 21x29",
    645     "#387 @ 942,567: 24x13",
    646     "#388 @ 568,869: 12x12",
    647     "#389 @ 451,307: 10x15",
    648     "#390 @ 883,876: 13x11",
    649     "#391 @ 198,509: 12x18",
    650     "#392 @ 695,961: 17x18",
    651     "#393 @ 245,809: 20x23",
    652     "#394 @ 587,495: 16x23",
    653     "#395 @ 902,947: 17x15",
    654     "#396 @ 822,551: 22x26",
    655     "#397 @ 645,540: 22x15",
    656     "#398 @ 955,93: 27x16",
    657     "#399 @ 940,155: 29x12",
    658     "#400 @ 841,570: 25x10",
    659     "#401 @ 326,524: 14x13",
    660     "#402 @ 395,114: 25x15",
    661     "#403 @ 498,490: 13x21",
    662     "#404 @ 823,217: 20x25",
    663     "#405 @ 720,139: 27x27",
    664     "#406 @ 526,788: 13x10",
    665     "#407 @ 394,509: 12x21",
    666     "#408 @ 923,814: 15x19",
    667     "#409 @ 819,525: 12x28",
    668     "#410 @ 755,659: 27x27",
    669     "#411 @ 84,668: 18x25",
    670     "#412 @ 789,497: 23x21",
    671     "#413 @ 959,589: 10x15",
    672     "#414 @ 146,362: 15x12",
    673     "#415 @ 378,679: 27x19",
    674     "#416 @ 718,489: 19x10",
    675     "#417 @ 264,339: 19x10",
    676     "#418 @ 61,758: 27x17",
    677     "#419 @ 191,691: 22x28",
    678     "#420 @ 159,280: 18x25",
    679     "#421 @ 805,288: 11x28",
    680     "#422 @ 43,54: 16x17",
    681     "#423 @ 146,954: 20x15",
    682     "#424 @ 917,607: 19x12",
    683     "#425 @ 551,962: 16x22",
    684     "#426 @ 125,44: 27x22",
    685     "#427 @ 330,225: 29x11",
    686     "#428 @ 602,527: 12x26",
    687     "#429 @ 733,209: 10x20",
    688     "#430 @ 557,860: 20x28",
    689     "#431 @ 804,345: 18x12",
    690     "#432 @ 731,157: 17x29",
    691     "#433 @ 617,641: 19x14",
    692     "#434 @ 714,490: 11x25",
    693     "#435 @ 821,519: 14x11",
    694     "#436 @ 864,135: 16x13",
    695     "#437 @ 619,898: 27x29",
    696     "#438 @ 16,969: 24x23",
    697     "#439 @ 521,727: 12x13",
    698     "#440 @ 247,829: 12x25",
    699     "#441 @ 569,205: 26x29",
    700     "#442 @ 322,139: 15x26",
    701     "#443 @ 722,402: 23x11",
    702     "#444 @ 955,194: 25x14",
    703     "#445 @ 924,875: 16x19",
    704     "#446 @ 447,349: 16x24",
    705     "#447 @ 877,87: 17x24",
    706     "#448 @ 129,40: 26x23",
    707     "#449 @ 172,262: 21x25",
    708     "#450 @ 563,476: 16x18",
    709     "#451 @ 693,377: 24x18",
    710     "#452 @ 595,813: 23x13",
    711     "#453 @ 111,421: 25x12",
    712     "#454 @ 275,254: 23x23",
    713     "#455 @ 170,72: 26x21",
    714     "#456 @ 16,680: 23x15",
    715     "#457 @ 720,172: 17x20",
    716     "#458 @ 734,414: 21x16",
    717     "#459 @ 888,157: 23x27",
    718     "#460 @ 674,225: 21x12",
    719     "#461 @ 485,30: 25x16",
    720     "#462 @ 177,542: 20x23",
    721     "#463 @ 394,524: 18x17",
    722     "#464 @ 225,55: 17x23",
    723     "#465 @ 848,258: 6x24",
    724     "#466 @ 868,840: 20x10",
    725     "#467 @ 914,613: 25x10",
    726     "#468 @ 961,71: 24x27",
    727     "#469 @ 41,144: 12x22",
    728     "#470 @ 949,913: 18x14",
    729     "#471 @ 808,772: 14x10",
    730     "#472 @ 844,665: 24x27",
    731     "#473 @ 128,378: 27x13",
    732     "#474 @ 761,382: 11x13",
    733     "#475 @ 19,431: 14x24",
    734     "#476 @ 623,766: 13x16",
    735     "#477 @ 244,703: 10x19",
    736     "#478 @ 464,613: 21x12",
    737     "#479 @ 731,344: 12x14",
    738     "#480 @ 216,31: 21x13",
    739     "#481 @ 332,84: 10x14",
    740     "#482 @ 378,37: 25x14",
    741     "#483 @ 615,521: 22x10",
    742     "#484 @ 464,427: 10x22",
    743     "#485 @ 287,320: 23x13",
    744     "#486 @ 736,123: 10x22",
    745     "#487 @ 779,652: 16x23",
    746     "#488 @ 371,973: 25x14",
    747     "#489 @ 213,503: 20x27",
    748     "#490 @ 231,912: 17x25",
    749     "#491 @ 487,62: 14x19",
    750     "#492 @ 128,539: 18x22",
    751     "#493 @ 246,972: 21x10",
    752     "#494 @ 889,385: 21x10",
    753     "#495 @ 827,697: 16x12",
    754     "#496 @ 760,65: 15x12",
    755     "#497 @ 630,622: 19x21",
    756     "#498 @ 503,416: 11x28",
    757     "#499 @ 268,241: 23x18",
    758     "#500 @ 25,457: 19x27",
    759     "#501 @ 81,828: 19x25",
    760     "#502 @ 797,25: 10x19",
    761     "#503 @ 717,69: 22x27",
    762     "#504 @ 701,606: 12x28",
    763     "#505 @ 227,544: 29x23",
    764     "#506 @ 65,150: 25x16",
    765     "#507 @ 728,174: 16x25",
    766     "#508 @ 49,287: 21x14",
    767     "#509 @ 222,256: 10x23",
    768     "#510 @ 870,736: 11x13",
    769     "#511 @ 448,256: 23x22",
    770     "#512 @ 499,950: 14x25",
    771     "#513 @ 591,674: 17x15",
    772     "#514 @ 977,915: 14x23",
    773     "#515 @ 948,463: 19x18",
    774     "#516 @ 847,398: 18x18",
    775     "#517 @ 136,539: 20x11",
    776     "#518 @ 129,377: 11x25",
    777     "#519 @ 416,621: 22x10",
    778     "#520 @ 651,744: 10x26",
    779     "#521 @ 12,413: 11x18",
    780     "#522 @ 966,164: 21x19",
    781     "#523 @ 508,313: 29x24",
    782     "#524 @ 938,915: 16x11",
    783     "#525 @ 768,902: 29x16",
    784     "#526 @ 225,297: 21x18",
    785     "#527 @ 224,24: 17x15",
    786     "#528 @ 598,169: 13x22",
    787     "#529 @ 832,544: 18x16",
    788     "#530 @ 187,602: 22x14",
    789     "#531 @ 734,409: 15x25",
    790     "#532 @ 838,29: 29x18",
    791     "#533 @ 186,499: 18x12",
    792     "#534 @ 780,104: 26x18",
    793     "#535 @ 769,39: 12x28",
    794     "#536 @ 347,640: 15x19",
    795     "#537 @ 30,605: 28x13",
    796     "#538 @ 670,492: 16x21",
    797     "#539 @ 398,778: 15x9",
    798     "#540 @ 226,484: 18x26",
    799     "#541 @ 743,616: 21x15",
    800     "#542 @ 123,810: 15x21",
    801     "#543 @ 863,969: 29x29",
    802     "#544 @ 316,56: 22x22",
    803     "#545 @ 771,383: 10x16",
    804     "#546 @ 786,161: 11x10",
    805     "#547 @ 925,11: 20x24",
    806     "#548 @ 848,586: 22x25",
    807     "#549 @ 251,638: 14x17",
    808     "#550 @ 51,688: 17x10",
    809     "#551 @ 366,32: 27x29",
    810     "#552 @ 571,533: 20x15",
    811     "#553 @ 27,613: 17x16",
    812     "#554 @ 387,664: 11x23",
    813     "#555 @ 358,837: 17x15",
    814     "#556 @ 309,305: 20x20",
    815     "#557 @ 136,62: 13x29",
    816     "#558 @ 373,921: 25x12",
    817     "#559 @ 228,262: 24x24",
    818     "#560 @ 951,141: 10x23",
    819     "#561 @ 281,776: 13x20",
    820     "#562 @ 94,715: 19x15",
    821     "#563 @ 485,624: 25x25",
    822     "#564 @ 724,126: 17x29",
    823     "#565 @ 668,870: 16x16",
    824     "#566 @ 30,677: 20x29",
    825     "#567 @ 63,203: 22x11",
    826     "#568 @ 608,794: 22x29",
    827     "#569 @ 322,289: 18x12",
    828     "#570 @ 69,640: 24x10",
    829     "#571 @ 61,228: 28x20",
    830     "#572 @ 613,779: 20x19",
    831     "#573 @ 711,540: 12x11",
    832     "#574 @ 295,590: 14x29",
    833     "#575 @ 383,199: 28x13",
    834     "#576 @ 171,152: 11x13",
    835     "#577 @ 18,35: 21x16",
    836     "#578 @ 742,314: 28x25",
    837     "#579 @ 942,703: 28x29",
    838     "#580 @ 348,407: 23x17",
    839     "#581 @ 580,914: 20x18",
    840     "#582 @ 570,911: 18x16",
    841     "#583 @ 935,589: 23x14",
    842     "#584 @ 966,904: 21x13",
    843     "#585 @ 70,712: 11x13",
    844     "#586 @ 58,686: 13x18",
    845     "#587 @ 954,516: 24x24",
    846     "#588 @ 339,136: 22x29",
    847     "#589 @ 757,367: 11x23",
    848     "#590 @ 103,138: 20x13",
    849     "#591 @ 498,159: 14x18",
    850     "#592 @ 191,414: 11x29",
    851     "#593 @ 754,780: 26x18",
    852     "#594 @ 962,296: 29x23",
    853     "#595 @ 815,100: 24x29",
    854     "#596 @ 949,147: 19x18",
    855     "#597 @ 949,158: 13x4",
    856     "#598 @ 31,550: 26x27",
    857     "#599 @ 810,658: 19x23",
    858     "#600 @ 222,933: 17x21",
    859     "#601 @ 704,115: 10x27",
    860     "#602 @ 927,457: 26x18",
    861     "#603 @ 751,345: 10x20",
    862     "#604 @ 306,601: 24x11",
    863     "#605 @ 641,759: 21x24",
    864     "#606 @ 233,485: 15x11",
    865     "#607 @ 18,90: 24x16",
    866     "#608 @ 77,355: 11x12",
    867     "#609 @ 792,343: 18x26",
    868     "#610 @ 482,622: 13x19",
    869     "#611 @ 69,844: 16x15",
    870     "#612 @ 639,953: 15x23",
    871     "#613 @ 848,567: 12x28",
    872     "#614 @ 791,87: 27x29",
    873     "#615 @ 261,261: 23x12",
    874     "#616 @ 745,813: 13x24",
    875     "#617 @ 518,45: 16x28",
    876     "#618 @ 483,266: 27x24",
    877     "#619 @ 971,353: 26x20",
    878     "#620 @ 835,59: 12x29",
    879     "#621 @ 679,439: 10x14",
    880     "#622 @ 36,378: 21x20",
    881     "#623 @ 408,781: 28x28",
    882     "#624 @ 305,165: 26x22",
    883     "#625 @ 788,648: 14x10",
    884     "#626 @ 875,304: 26x16",
    885     "#627 @ 122,817: 21x20",
    886     "#628 @ 134,834: 23x27",
    887     "#629 @ 494,489: 13x18",
    888     "#630 @ 695,383: 18x3",
    889     "#631 @ 540,460: 22x25",
    890     "#632 @ 5,613: 25x29",
    891     "#633 @ 405,950: 19x22",
    892     "#634 @ 261,494: 20x19",
    893     "#635 @ 26,733: 20x10",
    894     "#636 @ 664,916: 23x10",
    895     "#637 @ 963,622: 19x14",
    896     "#638 @ 434,627: 10x18",
    897     "#639 @ 246,800: 21x27",
    898     "#640 @ 794,776: 13x13",
    899     "#641 @ 715,119: 27x12",
    900     "#642 @ 680,100: 19x23",
    901     "#643 @ 277,766: 19x15",
    902     "#644 @ 803,812: 15x14",
    903     "#645 @ 636,537: 29x29",
    904     "#646 @ 398,128: 13x18",
    905     "#647 @ 299,170: 25x28",
    906     "#648 @ 461,515: 14x10",
    907     "#649 @ 386,233: 24x10",
    908     "#650 @ 251,100: 11x18",
    909     "#651 @ 37,975: 23x24",
    910     "#652 @ 538,310: 25x18",
    911     "#653 @ 596,682: 19x28",
    912     "#654 @ 746,338: 20x12",
    913     "#655 @ 917,703: 25x22",
    914     "#656 @ 895,749: 16x16",
    915     "#657 @ 38,396: 26x28",
    916     "#658 @ 518,278: 19x22",
    917     "#659 @ 463,620: 15x25",
    918     "#660 @ 691,923: 14x17",
    919     "#661 @ 53,798: 21x22",
    920     "#662 @ 566,968: 13x24",
    921     "#663 @ 905,620: 23x11",
    922     "#664 @ 359,526: 19x23",
    923     "#665 @ 672,236: 19x13",
    924     "#666 @ 189,602: 29x17",
    925     "#667 @ 740,830: 28x17",
    926     "#668 @ 902,221: 13x13",
    927     "#669 @ 68,418: 24x17",
    928     "#670 @ 109,137: 23x14",
    929     "#671 @ 950,484: 11x22",
    930     "#672 @ 957,797: 22x24",
    931     "#673 @ 2,403: 12x25",
    932     "#674 @ 382,76: 11x14",
    933     "#675 @ 171,728: 13x14",
    934     "#676 @ 180,533: 18x26",
    935     "#677 @ 756,891: 20x27",
    936     "#678 @ 805,277: 17x22",
    937     "#679 @ 41,737: 12x15",
    938     "#680 @ 552,772: 22x22",
    939     "#681 @ 863,488: 25x13",
    940     "#682 @ 139,906: 28x13",
    941     "#683 @ 864,865: 22x16",
    942     "#684 @ 863,465: 16x23",
    943     "#685 @ 468,11: 13x14",
    944     "#686 @ 414,252: 29x21",
    945     "#687 @ 433,238: 12x23",
    946     "#688 @ 664,520: 16x22",
    947     "#689 @ 415,229: 21x23",
    948     "#690 @ 11,781: 19x27",
    949     "#691 @ 598,823: 10x27",
    950     "#692 @ 188,940: 17x15",
    951     "#693 @ 984,678: 11x23",
    952     "#694 @ 539,972: 15x14",
    953     "#695 @ 660,763: 17x29",
    954     "#696 @ 969,204: 23x13",
    955     "#697 @ 118,686: 22x13",
    956     "#698 @ 810,679: 12x16",
    957     "#699 @ 275,42: 14x22",
    958     "#700 @ 568,309: 16x16",
    959     "#701 @ 777,892: 28x20",
    960     "#702 @ 411,197: 16x15",
    961     "#703 @ 894,479: 10x23",
    962     "#704 @ 823,691: 23x26",
    963     "#705 @ 494,838: 23x27",
    964     "#706 @ 663,909: 26x24",
    965     "#707 @ 159,51: 21x29",
    966     "#708 @ 913,253: 22x23",
    967     "#709 @ 320,606: 11x14",
    968     "#710 @ 678,594: 21x19",
    969     "#711 @ 816,812: 22x10",
    970     "#712 @ 562,32: 26x14",
    971     "#713 @ 281,221: 10x28",
    972     "#714 @ 562,467: 27x11",
    973     "#715 @ 876,745: 18x14",
    974     "#716 @ 326,185: 15x28",
    975     "#717 @ 567,632: 15x26",
    976     "#718 @ 929,280: 20x22",
    977     "#719 @ 375,275: 29x15",
    978     "#720 @ 877,976: 15x16",
    979     "#721 @ 9,552: 24x10",
    980     "#722 @ 673,821: 18x25",
    981     "#723 @ 877,374: 23x10",
    982     "#724 @ 319,941: 27x11",
    983     "#725 @ 667,274: 17x28",
    984     "#726 @ 102,430: 28x14",
    985     "#727 @ 960,174: 26x16",
    986     "#728 @ 628,22: 14x21",
    987     "#729 @ 346,747: 13x24",
    988     "#730 @ 329,154: 15x24",
    989     "#731 @ 209,74: 26x18",
    990     "#732 @ 602,621: 20x29",
    991     "#733 @ 927,251: 20x18",
    992     "#734 @ 213,864: 21x22",
    993     "#735 @ 876,485: 25x29",
    994     "#736 @ 383,455: 25x12",
    995     "#737 @ 487,100: 17x13",
    996     "#738 @ 878,479: 16x17",
    997     "#739 @ 317,49: 29x20",
    998     "#740 @ 945,388: 22x12",
    999     "#741 @ 149,89: 18x10",
   1000     "#742 @ 181,658: 15x10",
   1001     "#743 @ 667,225: 12x14",
   1002     "#744 @ 249,542: 18x17",
   1003     "#745 @ 18,571: 12x17",
   1004     "#746 @ 49,412: 17x17",
   1005     "#747 @ 405,28: 18x14",
   1006     "#748 @ 121,263: 18x17",
   1007     "#749 @ 415,2: 16x12",
   1008     "#750 @ 189,51: 11x12",
   1009     "#751 @ 836,371: 26x29",
   1010     "#752 @ 700,44: 14x11",
   1011     "#753 @ 443,713: 28x10",
   1012     "#754 @ 570,544: 15x13",
   1013     "#755 @ 652,397: 21x23",
   1014     "#756 @ 767,88: 24x24",
   1015     "#757 @ 396,774: 21x22",
   1016     "#758 @ 515,452: 26x13",
   1017     "#759 @ 920,590: 27x23",
   1018     "#760 @ 180,490: 18x19",
   1019     "#761 @ 875,637: 10x28",
   1020     "#762 @ 966,498: 20x22",
   1021     "#763 @ 486,428: 12x20",
   1022     "#764 @ 445,317: 17x19",
   1023     "#765 @ 400,779: 26x28",
   1024     "#766 @ 455,932: 22x10",
   1025     "#767 @ 218,861: 18x28",
   1026     "#768 @ 419,329: 16x27",
   1027     "#769 @ 728,220: 23x10",
   1028     "#770 @ 597,221: 17x14",
   1029     "#771 @ 317,764: 14x18",
   1030     "#772 @ 182,627: 12x17",
   1031     "#773 @ 842,285: 22x19",
   1032     "#774 @ 805,673: 16x25",
   1033     "#775 @ 651,122: 10x12",
   1034     "#776 @ 243,264: 20x26",
   1035     "#777 @ 572,628: 14x21",
   1036     "#778 @ 942,558: 15x13",
   1037     "#779 @ 187,13: 12x23",
   1038     "#780 @ 316,45: 16x24",
   1039     "#781 @ 29,144: 18x23",
   1040     "#782 @ 568,674: 24x19",
   1041     "#783 @ 480,2: 24x13",
   1042     "#784 @ 789,895: 25x22",
   1043     "#785 @ 494,537: 13x23",
   1044     "#786 @ 159,659: 10x10",
   1045     "#787 @ 323,63: 22x22",
   1046     "#788 @ 655,472: 10x22",
   1047     "#789 @ 781,39: 15x18",
   1048     "#790 @ 621,602: 22x21",
   1049     "#791 @ 957,169: 12x25",
   1050     "#792 @ 203,699: 23x11",
   1051     "#793 @ 908,815: 27x25",
   1052     "#794 @ 420,803: 27x29",
   1053     "#795 @ 966,281: 25x28",
   1054     "#796 @ 423,266: 11x23",
   1055     "#797 @ 168,460: 28x16",
   1056     "#798 @ 522,951: 20x26",
   1057     "#799 @ 272,490: 16x15",
   1058     "#800 @ 359,271: 22x13",
   1059     "#801 @ 193,581: 12x16",
   1060     "#802 @ 978,532: 21x25",
   1061     "#803 @ 585,355: 3x7",
   1062     "#804 @ 449,225: 10x26",
   1063     "#805 @ 831,411: 12x23",
   1064     "#806 @ 280,452: 27x25",
   1065     "#807 @ 963,771: 18x26",
   1066     "#808 @ 681,121: 24x16",
   1067     "#809 @ 440,770: 20x20",
   1068     "#810 @ 984,898: 13x24",
   1069     "#811 @ 333,928: 27x28",
   1070     "#812 @ 179,140: 14x29",
   1071     "#813 @ 933,476: 16x23",
   1072     "#814 @ 5,967: 11x11",
   1073     "#815 @ 277,794: 11x26",
   1074     "#816 @ 925,445: 16x27",
   1075     "#817 @ 582,212: 22x18",
   1076     "#818 @ 451,98: 15x4",
   1077     "#819 @ 451,429: 21x17",
   1078     "#820 @ 670,217: 11x29",
   1079     "#821 @ 847,209: 17x21",
   1080     "#822 @ 3,432: 25x29",
   1081     "#823 @ 659,462: 24x23",
   1082     "#824 @ 590,884: 11x10",
   1083     "#825 @ 182,838: 28x20",
   1084     "#826 @ 39,615: 26x14",
   1085     "#827 @ 310,7: 23x23",
   1086     "#828 @ 394,678: 24x28",
   1087     "#829 @ 740,859: 19x11",
   1088     "#830 @ 236,704: 21x16",
   1089     "#831 @ 495,419: 16x12",
   1090     "#832 @ 271,489: 13x18",
   1091     "#833 @ 869,618: 21x15",
   1092     "#834 @ 437,248: 16x29",
   1093     "#835 @ 284,424: 10x29",
   1094     "#836 @ 203,224: 20x15",
   1095     "#837 @ 469,947: 29x21",
   1096     "#838 @ 971,751: 28x26",
   1097     "#839 @ 646,357: 19x27",
   1098     "#840 @ 767,885: 11x25",
   1099     "#841 @ 293,168: 13x18",
   1100     "#842 @ 745,53: 25x25",
   1101     "#843 @ 65,273: 10x13",
   1102     "#844 @ 883,380: 19x18",
   1103     "#845 @ 107,919: 25x24",
   1104     "#846 @ 923,447: 10x15",
   1105     "#847 @ 62,549: 24x19",
   1106     "#848 @ 574,795: 15x10",
   1107     "#849 @ 439,696: 13x20",
   1108     "#850 @ 329,497: 29x26",
   1109     "#851 @ 471,700: 14x28",
   1110     "#852 @ 908,253: 11x14",
   1111     "#853 @ 509,89: 16x8",
   1112     "#854 @ 483,548: 15x21",
   1113     "#855 @ 887,615: 21x13",
   1114     "#856 @ 177,909: 10x12",
   1115     "#857 @ 577,700: 25x27",
   1116     "#858 @ 144,31: 10x22",
   1117     "#859 @ 399,864: 18x10",
   1118     "#860 @ 33,157: 13x20",
   1119     "#861 @ 447,480: 16x24",
   1120     "#862 @ 239,528: 29x20",
   1121     "#863 @ 485,337: 17x10",
   1122     "#864 @ 180,480: 12x24",
   1123     "#865 @ 26,460: 21x15",
   1124     "#866 @ 31,865: 22x16",
   1125     "#867 @ 313,79: 25x17",
   1126     "#868 @ 647,386: 13x13",
   1127     "#869 @ 396,309: 18x16",
   1128     "#870 @ 696,196: 4x8",
   1129     "#871 @ 906,615: 10x25",
   1130     "#872 @ 658,53: 22x27",
   1131     "#873 @ 112,332: 15x23",
   1132     "#874 @ 704,404: 29x13",
   1133     "#875 @ 777,320: 15x11",
   1134     "#876 @ 36,729: 14x18",
   1135     "#877 @ 357,816: 26x27",
   1136     "#878 @ 694,184: 18x24",
   1137     "#879 @ 91,126: 14x17",
   1138     "#880 @ 333,121: 16x27",
   1139     "#881 @ 81,394: 21x16",
   1140     "#882 @ 174,1: 19x19",
   1141     "#883 @ 440,733: 17x13",
   1142     "#884 @ 98,960: 14x11",
   1143     "#885 @ 327,0: 19x12",
   1144     "#886 @ 907,354: 16x21",
   1145     "#887 @ 905,849: 24x10",
   1146     "#888 @ 544,971: 12x18",
   1147     "#889 @ 729,597: 21x29",
   1148     "#890 @ 228,138: 11x24",
   1149     "#891 @ 784,701: 25x12",
   1150     "#892 @ 596,219: 10x20",
   1151     "#893 @ 760,204: 18x11",
   1152     "#894 @ 902,150: 29x13",
   1153     "#895 @ 25,321: 17x10",
   1154     "#896 @ 904,959: 16x23",
   1155     "#897 @ 940,600: 10x18",
   1156     "#898 @ 24,81: 12x20",
   1157     "#899 @ 416,171: 25x16",
   1158     "#900 @ 681,235: 10x22",
   1159     "#901 @ 959,345: 16x28",
   1160     "#902 @ 776,871: 17x11",
   1161     "#903 @ 888,273: 15x17",
   1162     "#904 @ 746,797: 22x29",
   1163     "#905 @ 326,273: 28x29",
   1164     "#906 @ 111,71: 26x15",
   1165     "#907 @ 660,156: 10x14",
   1166     "#908 @ 23,280: 16x19",
   1167     "#909 @ 126,860: 11x13",
   1168     "#910 @ 134,521: 17x11",
   1169     "#911 @ 733,152: 15x26",
   1170     "#912 @ 955,623: 25x16",
   1171     "#913 @ 802,815: 25x23",
   1172     "#914 @ 577,464: 14x15",
   1173     "#915 @ 503,824: 14x20",
   1174     "#916 @ 648,756: 19x29",
   1175     "#917 @ 923,966: 24x17",
   1176     "#918 @ 524,72: 15x19",
   1177     "#919 @ 403,89: 14x26",
   1178     "#920 @ 605,459: 13x10",
   1179     "#921 @ 96,453: 27x13",
   1180     "#922 @ 869,776: 25x18",
   1181     "#923 @ 921,528: 22x22",
   1182     "#924 @ 682,896: 16x28",
   1183     "#925 @ 858,224: 15x18",
   1184     "#926 @ 121,615: 17x16",
   1185     "#927 @ 848,303: 10x21",
   1186     "#928 @ 17,513: 19x10",
   1187     "#929 @ 83,256: 22x15",
   1188     "#930 @ 793,750: 24x21",
   1189     "#931 @ 924,196: 17x27",
   1190     "#932 @ 605,482: 27x23",
   1191     "#933 @ 532,785: 22x11",
   1192     "#934 @ 522,972: 11x26",
   1193     "#935 @ 706,972: 12x26",
   1194     "#936 @ 160,367: 16x27",
   1195     "#937 @ 304,664: 12x15",
   1196     "#938 @ 407,273: 19x10",
   1197     "#939 @ 9,180: 14x14",
   1198     "#940 @ 181,685: 23x14",
   1199     "#941 @ 26,812: 14x10",
   1200     "#942 @ 412,252: 10x18",
   1201     "#943 @ 50,339: 23x11",
   1202     "#944 @ 336,909: 28x18",
   1203     "#945 @ 829,277: 16x22",
   1204     "#946 @ 607,22: 12x19",
   1205     "#947 @ 412,871: 27x21",
   1206     "#948 @ 865,28: 12x18",
   1207     "#949 @ 104,449: 22x27",
   1208     "#950 @ 714,78: 11x22",
   1209     "#951 @ 550,492: 27x20",
   1210     "#952 @ 5,972: 24x18",
   1211     "#953 @ 491,907: 13x21",
   1212     "#954 @ 75,19: 24x29",
   1213     "#955 @ 114,550: 26x19",
   1214     "#956 @ 608,527: 25x21",
   1215     "#957 @ 714,551: 20x25",
   1216     "#958 @ 593,545: 22x20",
   1217     "#959 @ 603,1: 16x29",
   1218     "#960 @ 621,155: 27x19",
   1219     "#961 @ 353,330: 18x14",
   1220     "#962 @ 911,103: 24x14",
   1221     "#963 @ 695,42: 22x16",
   1222     "#964 @ 416,247: 28x14",
   1223     "#965 @ 911,266: 21x12",
   1224     "#966 @ 632,523: 21x20",
   1225     "#967 @ 840,256: 25x29",
   1226     "#968 @ 542,34: 11x10",
   1227     "#969 @ 721,807: 17x17",
   1228     "#970 @ 559,226: 27x16",
   1229     "#971 @ 510,661: 27x12",
   1230     "#972 @ 645,734: 14x18",
   1231     "#973 @ 755,665: 16x17",
   1232     "#974 @ 229,484: 22x17",
   1233     "#975 @ 654,80: 29x15",
   1234     "#976 @ 946,395: 23x20",
   1235     "#977 @ 274,771: 23x23",
   1236     "#978 @ 954,510: 24x13",
   1237     "#979 @ 162,259: 28x29",
   1238     "#980 @ 822,624: 19x13",
   1239     "#981 @ 182,503: 28x17",
   1240     "#982 @ 427,774: 11x11",
   1241     "#983 @ 486,271: 14x27",
   1242     "#984 @ 126,553: 14x12",
   1243     "#985 @ 406,262: 27x16",
   1244     "#986 @ 926,955: 15x10",
   1245     "#987 @ 670,262: 18x12",
   1246     "#988 @ 45,49: 23x29",
   1247     "#989 @ 533,311: 15x14",
   1248     "#990 @ 504,33: 12x24",
   1249     "#991 @ 346,299: 13x25",
   1250     "#992 @ 565,478: 17x18",
   1251     "#993 @ 840,391: 14x24",
   1252     "#994 @ 416,950: 13x23",
   1253     "#995 @ 212,668: 14x16",
   1254     "#996 @ 515,958: 13x15",
   1255     "#997 @ 397,583: 29x24",
   1256     "#998 @ 404,606: 24x21",
   1257     "#999 @ 438,983: 27x16",
   1258     "#1000 @ 0,159: 28x15",
   1259     "#1001 @ 860,823: 21x28",
   1260     "#1002 @ 411,818: 21x21",
   1261     "#1003 @ 958,36: 19x14",
   1262     "#1004 @ 918,443: 22x23",
   1263     "#1005 @ 972,79: 19x25",
   1264     "#1006 @ 825,314: 28x14",
   1265     "#1007 @ 239,478: 14x27",
   1266     "#1008 @ 411,261: 13x27",
   1267     "#1009 @ 34,48: 26x16",
   1268     "#1010 @ 258,373: 19x11",
   1269     "#1011 @ 862,222: 28x11",
   1270     "#1012 @ 718,224: 23x26",
   1271     "#1013 @ 908,962: 27x27",
   1272     "#1014 @ 554,479: 29x24",
   1273     "#1015 @ 570,785: 13x27",
   1274     "#1016 @ 752,172: 18x29",
   1275     "#1017 @ 276,346: 15x15",
   1276     "#1018 @ 744,134: 25x23",
   1277     "#1019 @ 653,424: 25x14",
   1278     "#1020 @ 177,168: 24x18",
   1279     "#1021 @ 958,558: 11x11",
   1280     "#1022 @ 819,49: 23x15",
   1281     "#1023 @ 356,611: 22x21",
   1282     "#1024 @ 318,90: 16x11",
   1283     "#1025 @ 486,421: 13x22",
   1284     "#1026 @ 152,685: 27x22",
   1285     "#1027 @ 925,527: 23x10",
   1286     "#1028 @ 601,696: 17x20",
   1287     "#1029 @ 106,265: 29x20",
   1288     "#1030 @ 955,925: 19x26",
   1289     "#1031 @ 957,165: 22x28",
   1290     "#1032 @ 549,977: 26x19",
   1291     "#1033 @ 415,182: 29x11",
   1292     "#1034 @ 134,587: 29x16",
   1293     "#1035 @ 456,975: 14x13",
   1294     "#1036 @ 143,493: 22x25",
   1295     "#1037 @ 250,800: 19x12",
   1296     "#1038 @ 179,553: 10x14",
   1297     "#1039 @ 721,965: 12x23",
   1298     "#1040 @ 52,639: 27x21",
   1299     "#1041 @ 668,233: 15x19",
   1300     "#1042 @ 859,801: 11x26",
   1301     "#1043 @ 873,599: 29x22",
   1302     "#1044 @ 62,504: 13x14",
   1303     "#1045 @ 140,609: 28x22",
   1304     "#1046 @ 534,301: 19x20",
   1305     "#1047 @ 426,949: 14x21",
   1306     "#1048 @ 18,146: 23x18",
   1307     "#1049 @ 659,550: 19x19",
   1308     "#1050 @ 755,817: 12x21",
   1309     "#1051 @ 182,322: 12x18",
   1310     "#1052 @ 194,591: 18x12",
   1311     "#1053 @ 807,306: 28x21",
   1312     "#1054 @ 521,780: 17x27",
   1313     "#1055 @ 97,938: 18x26",
   1314     "#1056 @ 946,40: 29x28",
   1315     "#1057 @ 639,169: 24x23",
   1316     "#1058 @ 142,573: 11x22",
   1317     "#1059 @ 89,45: 13x25",
   1318     "#1060 @ 655,35: 10x28",
   1319     "#1061 @ 392,274: 28x24",
   1320     "#1062 @ 382,325: 11x26",
   1321     "#1063 @ 521,744: 21x28",
   1322     "#1064 @ 499,780: 29x14",
   1323     "#1065 @ 162,819: 28x22",
   1324     "#1066 @ 17,93: 19x21",
   1325     "#1067 @ 506,931: 13x18",
   1326     "#1068 @ 283,495: 21x11",
   1327     "#1069 @ 400,459: 10x15",
   1328     "#1070 @ 574,640: 28x19",
   1329     "#1071 @ 236,233: 23x10",
   1330     "#1072 @ 513,632: 16x29",
   1331     "#1073 @ 816,147: 14x25",
   1332     "#1074 @ 870,221: 10x24",
   1333     "#1075 @ 918,323: 15x22",
   1334     "#1076 @ 158,894: 11x15",
   1335     "#1077 @ 854,144: 15x15",
   1336     "#1078 @ 336,901: 19x25",
   1337     "#1079 @ 580,497: 26x29",
   1338     "#1080 @ 523,81: 18x10",
   1339     "#1081 @ 54,685: 22x20",
   1340     "#1082 @ 318,232: 11x19",
   1341     "#1083 @ 363,319: 29x20",
   1342     "#1084 @ 335,1: 19x26",
   1343     "#1085 @ 888,455: 21x12",
   1344     "#1086 @ 700,164: 28x25",
   1345     "#1087 @ 959,786: 20x16",
   1346     "#1088 @ 764,545: 21x14",
   1347     "#1089 @ 927,599: 13x22",
   1348     "#1090 @ 122,505: 26x20",
   1349     "#1091 @ 595,227: 11x17",
   1350     "#1092 @ 802,43: 10x20",
   1351     "#1093 @ 97,250: 29x23",
   1352     "#1094 @ 536,506: 17x26",
   1353     "#1095 @ 951,713: 11x14",
   1354     "#1096 @ 577,651: 12x12",
   1355     "#1097 @ 409,266: 13x22",
   1356     "#1098 @ 945,504: 11x24",
   1357     "#1099 @ 806,810: 20x14",
   1358     "#1100 @ 896,560: 19x12",
   1359     "#1101 @ 76,251: 22x27",
   1360     "#1102 @ 118,430: 25x16",
   1361     "#1103 @ 873,114: 21x14",
   1362     "#1104 @ 920,956: 22x29",
   1363     "#1105 @ 723,397: 25x26",
   1364     "#1106 @ 183,572: 26x19",
   1365     "#1107 @ 705,96: 29x21",
   1366     "#1108 @ 413,287: 17x23",
   1367     "#1109 @ 405,625: 23x20",
   1368     "#1110 @ 622,870: 13x11",
   1369     "#1111 @ 575,628: 27x28",
   1370     "#1112 @ 492,54: 17x12",
   1371     "#1113 @ 64,418: 27x19",
   1372     "#1114 @ 551,423: 15x24",
   1373     "#1115 @ 589,198: 15x23",
   1374     "#1116 @ 828,570: 24x23",
   1375     "#1117 @ 863,189: 22x15",
   1376     "#1118 @ 190,588: 11x10",
   1377     "#1119 @ 309,617: 13x28",
   1378     "#1120 @ 916,856: 12x25",
   1379     "#1121 @ 333,760: 23x17",
   1380     "#1122 @ 68,751: 27x10",
   1381     "#1123 @ 763,394: 17x23",
   1382     "#1124 @ 39,613: 26x15",
   1383     "#1125 @ 404,397: 25x12",
   1384     "#1126 @ 393,313: 16x22",
   1385     "#1127 @ 615,467: 16x23",
   1386     "#1128 @ 78,142: 20x29",
   1387     "#1129 @ 259,86: 25x18",
   1388     "#1130 @ 444,938: 28x23",
   1389     "#1131 @ 934,167: 27x14",
   1390     "#1132 @ 145,183: 13x28",
   1391     "#1133 @ 557,871: 20x12",
   1392     "#1134 @ 106,414: 20x11",
   1393     "#1135 @ 101,923: 10x18",
   1394     "#1136 @ 579,10: 25x21",
   1395     "#1137 @ 146,111: 26x14",
   1396     "#1138 @ 2,178: 26x26",
   1397     "#1139 @ 810,628: 13x24",
   1398     "#1140 @ 860,516: 20x15",
   1399     "#1141 @ 218,692: 12x21",
   1400     "#1142 @ 850,671: 26x10",
   1401     "#1143 @ 766,152: 21x21",
   1402     "#1144 @ 147,463: 26x26",
   1403     "#1145 @ 328,159: 17x21",
   1404     "#1146 @ 853,207: 21x17",
   1405     "#1147 @ 583,396: 24x26",
   1406     "#1148 @ 191,621: 14x22",
   1407     "#1149 @ 527,300: 17x16",
   1408     "#1150 @ 390,113: 23x18",
   1409     "#1151 @ 103,83: 13x17",
   1410     "#1152 @ 747,225: 20x23",
   1411     "#1153 @ 574,652: 25x13",
   1412     "#1154 @ 509,91: 15x11",
   1413     "#1155 @ 200,715: 14x21",
   1414     "#1156 @ 479,176: 22x12",
   1415     "#1157 @ 761,298: 22x26",
   1416     "#1158 @ 50,879: 25x25",
   1417     "#1159 @ 34,806: 23x10",
   1418     "#1160 @ 901,634: 25x22",
   1419     "#1161 @ 488,52: 28x17",
   1420     "#1162 @ 220,651: 14x23",
   1421     "#1163 @ 311,243: 26x20",
   1422     "#1164 @ 866,219: 23x29",
   1423     "#1165 @ 223,316: 19x26",
   1424     "#1166 @ 322,915: 13x21",
   1425     "#1167 @ 881,640: 14x29",
   1426     "#1168 @ 685,164: 22x22",
   1427     "#1169 @ 824,36: 18x18",
   1428     "#1170 @ 468,939: 13x20",
   1429     "#1171 @ 208,495: 22x24",
   1430     "#1172 @ 629,152: 18x10",
   1431     "#1173 @ 804,129: 26x28",
   1432     "#1174 @ 283,232: 17x24",
   1433     "#1175 @ 217,765: 19x13",
   1434     "#1176 @ 638,225: 20x21",
   1435     "#1177 @ 598,585: 27x26",
   1436     "#1178 @ 920,698: 10x18",
   1437     "#1179 @ 798,772: 16x23",
   1438     "#1180 @ 130,101: 16x24",
   1439     "#1181 @ 852,42: 14x26",
   1440     "#1182 @ 400,200: 13x18",
   1441     "#1183 @ 346,894: 18x11",
   1442     "#1184 @ 555,86: 21x23",
   1443     "#1185 @ 789,116: 13x25",
   1444     "#1186 @ 357,39: 5x8",
   1445     "#1187 @ 95,378: 22x29",
   1446     "#1188 @ 271,312: 20x21",
   1447     "#1189 @ 448,95: 22x12",
   1448     "#1190 @ 797,879: 14x18",
   1449     "#1191 @ 261,373: 19x28",
   1450     "#1192 @ 881,192: 29x13",
   1451     "#1193 @ 863,23: 17x26",
   1452     "#1194 @ 421,114: 10x26",
   1453     "#1195 @ 971,793: 20x27",
   1454     "#1196 @ 45,788: 12x29",
   1455     "#1197 @ 947,583: 29x18",
   1456     "#1198 @ 594,565: 22x29",
   1457     "#1199 @ 642,272: 28x13",
   1458     "#1200 @ 759,65: 27x26",
   1459     "#1201 @ 957,77: 26x27",
   1460     "#1202 @ 24,801: 22x21",
   1461     "#1203 @ 432,317: 11x20",
   1462     "#1204 @ 644,238: 17x20",
   1463     "#1205 @ 753,351: 4x7",
   1464     "#1206 @ 849,217: 14x18",
   1465     "#1207 @ 942,657: 12x26",
   1466     "#1208 @ 454,723: 18x24",
   1467     "#1209 @ 81,461: 18x11",
   1468     "#1210 @ 851,869: 11x10",
   1469     "#1211 @ 66,591: 14x17",
   1470     "#1212 @ 740,174: 15x19",
   1471     "#1213 @ 394,286: 14x28",
   1472     "#1214 @ 466,464: 20x19",
   1473     "#1215 @ 858,372: 24x16",
   1474     "#1216 @ 340,4: 12x18",
   1475     "#1217 @ 607,154: 12x29",
   1476     "#1218 @ 589,474: 23x28",
   1477     "#1219 @ 583,27: 19x23",
   1478     "#1220 @ 831,223: 20x25",
   1479     "#1221 @ 259,850: 14x26",
   1480     "#1222 @ 116,172: 27x26",
   1481     "#1223 @ 963,342: 26x17",
   1482     "#1224 @ 367,333: 11x11",
   1483     "#1225 @ 637,887: 16x17",
   1484     "#1226 @ 262,258: 27x11",
   1485     "#1227 @ 493,568: 17x29",
   1486     "#1228 @ 675,524: 17x16",
   1487     "#1229 @ 740,834: 25x14",
   1488     "#1230 @ 866,525: 14x13",
   1489     "#1231 @ 593,736: 16x25",
   1490     "#1232 @ 618,153: 15x18",
   1491     "#1233 @ 286,296: 26x24",
   1492     "#1234 @ 923,849: 27x14",
   1493     "#1235 @ 839,66: 20x25",
   1494     "#1236 @ 584,488: 14x15",
   1495     "#1237 @ 414,168: 26x18",
   1496     "#1238 @ 42,27: 20x26",
   1497     "#1239 @ 943,740: 15x19",
   1498     "#1240 @ 108,336: 28x29",
   1499     "#1241 @ 677,222: 19x16",
   1500     "#1242 @ 912,816: 19x13",
   1501     "#1243 @ 40,371: 11x13",
   1502     "#1244 @ 595,895: 26x26",
   1503     "#1245 @ 232,418: 24x17",
   1504     "#1246 @ 902,609: 26x18",
   1505     "#1247 @ 67,25: 21x17",
   1506     "#1248 @ 737,354: 13x25",
   1507     "#1249 @ 843,355: 28x19",
   1508     "#1250 @ 59,665: 22x29",
   1509     "#1251 @ 369,255: 14x17",
   1510     "#1252 @ 775,750: 23x23",
   1511     "#1253 @ 329,838: 14x16",
   1512     "#1254 @ 591,983: 24x15",
   1513     "#1255 @ 918,380: 12x19",
   1514     "#1256 @ 499,94: 13x18",
   1515     "#1257 @ 269,224: 22x29",
   1516     "#1258 @ 918,324: 21x15",
   1517     "#1259 @ 213,201: 21x22",
   1518     "#1260 @ 411,634: 26x14",
   1519     "#1261 @ 875,547: 27x16",
   1520     "#1262 @ 706,973: 23x23",
   1521     "#1263 @ 568,846: 15x15",
   1522     "#1264 @ 64,620: 15x21",
   1523     "#1265 @ 612,143: 10x17",
   1524     "#1266 @ 446,537: 24x17",
   1525     "#1267 @ 472,742: 24x12",
   1526     "#1268 @ 76,715: 25x15",
   1527     "#1269 @ 666,603: 20x23",
   1528     "#1270 @ 708,808: 14x16",
   1529     "#1271 @ 228,828: 23x17",
   1530     "#1272 @ 159,664: 20x24",
   1531     "#1273 @ 508,616: 28x13",
   1532     "#1274 @ 971,175: 15x19",
   1533     "#1275 @ 914,494: 22x23",
   1534     "#1276 @ 145,105: 15x11",
   1535     "#1277 @ 292,661: 13x21",
   1536     "#1278 @ 805,777: 18x22",
   1537     "#1279 @ 14,403: 23x23",
   1538     "#1280 @ 451,252: 26x22",
   1539     "#1281 @ 931,155: 23x15",
   1540     "#1282 @ 851,873: 18x16",
   1541     "#1283 @ 141,259: 24x13",
   1542     "#1284 @ 489,604: 22x19",
   1543     "#1285 @ 672,613: 21x28",
   1544     "#1286 @ 677,761: 15x25",
   1545     "#1287 @ 25,740: 23x11",
   1546     "#1288 @ 383,181: 20x22",
   1547     "#1289 @ 55,213: 10x19",
   1548     "#1290 @ 468,799: 17x24",
   1549     "#1291 @ 265,865: 25x12",
   1550     "#1292 @ 200,507: 11x17",
   1551     "#1293 @ 718,774: 13x15",
   1552     "#1294 @ 869,93: 13x27",
   1553     "#1295 @ 1,296: 21x22",
   1554     "#1296 @ 903,570: 12x28",
   1555     "#1297 @ 386,233: 27x22",
   1556     "#1298 @ 427,233: 23x18",
   1557     "#1299 @ 902,452: 17x15",
   1558     "#1300 @ 893,625: 21x19",
   1559     "#1301 @ 620,734: 17x13",
   1560     "#1302 @ 372,298: 28x19",
   1561     "#1303 @ 794,115: 27x15",
   1562     "#1304 @ 845,467: 28x10",
   1563     "#1305 @ 474,31: 23x10",
   1564     "#1306 @ 47,32: 12x18",
   1565     "#1307 @ 671,564: 14x28",
   1566     "#1308 @ 146,495: 26x24",
   1567     "#1309 @ 795,808: 23x28",
   1568     "#1310 @ 740,118: 13x11",
   1569     "#1311 @ 209,22: 19x19",
   1570     "#1312 @ 215,762: 16x11",
   1571     "#1313 @ 121,449: 29x27",
   1572     "#1314 @ 233,313: 28x25",
   1573     "#1315 @ 197,41: 29x16",
   1574     "#1316 @ 492,590: 24x29",
   1575     "#1317 @ 246,467: 26x23",
   1576     "#1318 @ 608,550: 12x25",
   1577     "#1319 @ 869,860: 19x21",
   1578     "#1320 @ 274,834: 22x27",
   1579     "#1321 @ 833,61: 28x22",
   1580     "#1322 @ 904,91: 27x18",
   1581     "#1323 @ 921,373: 14x17",
   1582     "#1324 @ 868,218: 18x19",
   1583     "#1325 @ 646,51: 14x22",
   1584     "#1326 @ 930,825: 20x11",
   1585     "#1327 @ 336,292: 14x13",
   1586     "#1328 @ 164,438: 16x29",
   1587     "#1329 @ 351,585: 23x28",
   1588     "#1330 @ 788,141: 18x27",
   1589     "#1331 @ 739,386: 28x22",
   1590     "#1332 @ 460,504: 16x16",
   1591     "#1333 @ 956,176: 18x24",
   1592     "#1334 @ 418,876: 11x5",
   1593     "#1335 @ 92,36: 26x14",
   1594     "#1336 @ 810,826: 12x5",
   1595     "#1337 @ 958,729: 15x20",
   1596     "#1338 @ 643,609: 26x10",
   1597     "#1339 @ 486,324: 10x18",
   1598     "#1340 @ 884,869: 11x26",
   1599     "#1341 @ 1,297: 28x24",
   1600     "#1342 @ 939,522: 11x27",
   1601     "#1343 @ 401,385: 10x23",
   1602     "#1344 @ 582,351: 10x17",
   1603     "#1345 @ 109,566: 16x14",
   1604     "#1346 @ 135,840: 29x17",
   1605     "#1347 @ 30,34: 17x17",
   1606     "#1348 @ 730,782: 24x23",
   1607     "#1349 @ 977,696: 11x18",
   1608     "#1350 @ 967,632: 27x20",
   1609     "#1351 @ 854,61: 21x25",
   1610     "#1352 @ 946,175: 14x26",
   1611     "#1353 @ 6,99: 20x16",
   1612     "#1354 @ 898,59: 26x11",
   1613     "#1355 @ 107,424: 18x29",
   1614     "#1356 @ 166,740: 27x10",
   1615     "#1357 @ 654,70: 10x28",
   1616     "#1358 @ 787,281: 10x18",
   1617     "#1359 @ 102,354: 13x23",
   1618     "#1360 @ 489,731: 10x12",
   1619     "#1361 @ 918,682: 24x24",
   1620     "#1362 @ 632,529: 25x14",
   1621     "#1363 @ 877,236: 17x23",
   1622     "#1364 @ 383,119: 20x26",
   1623     "#1365 @ 866,918: 23x26",
   1624     "#1366 @ 909,723: 11x22",
   1625     "#1367 @ 598,502: 14x29",
   1626     "#1368 @ 70,579: 24x23",
   1627     "#1369 @ 176,456: 19x14",
   1628     "#1370 @ 311,280: 28x21",
   1629     "#1371 @ 588,401: 14x26",
   1630     "#1372 @ 148,77: 12x13",
   1631     "#1373 @ 194,527: 22x21",
   1632     "#1374 @ 552,234: 22x11",
   1633     "#1375 @ 367,324: 16x13",
   1634     "#1376 @ 450,358: 25x15",
   1635     "#1377 @ 71,615: 17x21",
   1636     "#1378 @ 793,87: 26x17",
   1637     "#1379 @ 894,450: 17x16",
   1638     "#1380 @ 708,629: 17x14",
   1639     "#1381 @ 919,335: 14x29",
   1640     "#1382 @ 563,243: 22x10",
   1641     "#1383 @ 504,783: 22x18",
   1642     "#1384 @ 726,515: 13x18",
   1643     "#1385 @ 909,722: 17x11",
   1644     "#1386 @ 276,490: 18x18",
   1645     "#1387 @ 98,560: 14x28",
   1646     "#1388 @ 23,274: 10x24",
   1647     "#1389 @ 32,323: 15x20",
   1648     "#1390 @ 778,886: 26x18",
   1649     "#1391 @ 256,801: 23x10",
   1650     "#1392 @ 916,500: 10x13",
   1651     "#1393 @ 856,667: 7x18",
   1652     "#1394 @ 103,682: 24x17",
   1653     "#1395 @ 727,567: 17x25",
   1654     "#1396 @ 52,176: 19x21",
   1655     "#1397 @ 453,308: 19x24",
   1656     "#1398 @ 238,370: 21x18",
   1657     "#1399 @ 724,519: 23x10",
   1658 };