advent-of-code

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

day_03_2.zig (47463B)


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