[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 432, 174 ] =
PL(ATD[54,6]#DCyc[4]).
(I) Following is a form readable by MAGMA:
g:=Graph<432|{ {205, 220}, {206, 217}, {194, 226}, {195, 227}, {203, 234}, {202,
232}, {196, 227}, {193, 232}, {196, 237}, {214, 249}, {194, 242}, {216, 233},
{215, 225}, {206, 247}, {192, 253}, {199, 250}, {215, 233}, {180, 242}, {185,
255}, {177, 246}, {185, 254}, {149, 221}, {174, 229}, {145, 221}, {187, 235},
{188, 236}, {163, 242}, {173, 252}, {166, 247}, {164, 247}, {180, 231}, {176,
229}, {139, 220}, {129, 218}, {164, 248}, {187, 228}, {156, 254}, {156, 255},
{133, 224}, {135, 224}, {135, 238}, {136, 225}, {183, 221}, {153, 242}, {150,
250}, {130, 239}, {149, 248}, {177, 222}, {175, 220}, {146, 230}, {171, 222},
{143, 249}, {154, 236}, {149, 227}, {152, 239}, {141, 245}, {161, 217}, {164,
221}, {146, 237}, {103, 230}, {123, 249}, {100, 231}, {113, 244}, {114, 247},
{95, 217}, {123, 253}, {103, 238}, {107, 226}, {127, 246}, {80, 218}, {84, 222},
{110, 227}, {117, 251}, {127, 240}, {78, 223}, {112, 226}, {125, 229}, {115,
232}, {110, 243}, {117, 232}, {119, 234}, {66, 220}, {70, 230}, {81, 240}, {72,
234}, {84, 246}, {121, 219}, {65, 226}, {88, 252}, {123, 222}, {83, 244}, {92,
240}, {86, 248}, {84, 251}, {77, 253}, {94, 238}, {68, 245}, {94, 236}, {106,
217}, {77, 249}, {93, 233}, {81, 228}, {66, 244}, {89, 239}, {93, 234}, {81,
235}, {70, 251}, {102, 219}, {94, 224}, {97, 223}, {75, 244}, {37, 229}, {27,
218}, {33, 224}, {44, 239}, {59, 248}, {57, 253}, {63, 251}, {44, 228}, {59,
241}, {36, 245}, {39, 246}, {32, 243}, {42, 254}, {12, 218}, {49, 233}, {35,
250}, {55, 238}, {54, 237}, {49, 236}, {51, 237}, {63, 225}, {19, 241}, {16,
243}, {1, 228}, {26, 255}, {13, 235}, {25, 241}, {14, 231}, {19, 250}, {52,
223}, {54, 219}, {16, 254}, {29, 243}, {48, 223}, {8, 252}, {21, 225}, {11,
255}, {28, 235}, {35, 219}, {5, 252}, {10, 240}, {29, 231}, {10, 241}, {8, 245},
{27, 230}, {135, 390}, {159, 414}, {138, 395}, {149, 404}, {46, 300}, {159,
413}, {88, 346}, {73, 331}, {71, 325}, {136, 394}, {2, 257}, {89, 346}, {145,
402}, {100, 352}, {157, 409}, {13, 264}, {76, 330}, {81, 343}, {42, 301}, {48,
311}, {126, 377}, {56, 304}, {96, 360}, {76, 324}, {109, 357}, {15, 262}, {168,
417}, {156, 405}, {153, 400}, {46, 295}, {22, 284}, {62, 308}, {58, 304}, {105,
355}, {113, 379}, {22, 285}, {172, 423}, {162, 425}, {157, 406}, {104, 355},
{83, 344}, {47, 291}, {73, 325}, {58, 310}, {121, 373}, {123, 375}, {53, 312},
{121, 372}, {141, 384}, {22, 280}, {64, 334}, {52, 314}, {36, 299}, {91, 340},
{76, 323}, {107, 356}, {4, 276}, {79, 351}, {18, 259}, {152, 393}, {86, 327},
{137, 408}, {148, 389}, {28, 270}, {108, 382}, {146, 384}, {7, 276}, {49, 290},
{12, 287}, {10, 281}, {82, 326}, {189, 425}, {3, 278}, {78, 347}, {19, 262},
{109, 376}, {17, 263}, {186, 428}, {101, 371}, {134, 400}, {144, 390}, {113,
358}, {187, 428}, {24, 256}, {185, 417}, {116, 364}, {63, 294}, {152, 385}, {11,
273}, {115, 361}, {113, 362}, {135, 412}, {38, 314}, {184, 420}, {93, 321}, {87,
331}, {1, 284}, {186, 423}, {99, 382}, {97, 380}, {2, 284}, {17, 271}, {142,
401}, {130, 418}, {175, 399}, {111, 334}, {182, 407}, {49, 275}, {168, 394},
{61, 287}, {125, 351}, {50, 273}, {127, 348}, {131, 416}, {43, 271}, {177, 405},
{89, 381}, {136, 428}, {11, 302}, {33, 263}, {189, 411}, {188, 410}, {60, 283},
{124, 347}, {40, 256}, {66, 362}, {127, 343}, {20, 317}, {80, 377}, {69, 364},
{128, 425}, {55, 285}, {190, 404}, {189, 407}, {179, 409}, {170, 384}, {166,
396}, {107, 321}, {103, 332}, {138, 417}, {90, 374}, {94, 370}, {110, 322}, {4,
297}, {182, 411}, {68, 361}, {54, 283}, {12, 289}, {116, 345}, {7, 297}, {91,
373}, {88, 374}, {45, 259}, {42, 260}, {138, 420}, {24, 311}, {172, 387}, {102,
329}, {41, 262}, {68, 372}, {175, 415}, {169, 409}, {173, 412}, {177, 387}, {64,
371}, {26, 302}, {181, 385}, {57, 269}, {124, 328}, {47, 282}, {158, 427}, {144,
421}, {53, 259}, {88, 366}, {150, 416}, {31, 296}, {119, 320}, {3, 315}, {146,
426}, {9, 304}, {172, 405}, {72, 369}, {29, 292}, {122, 323}, {137, 432}, {183,
397}, {6, 317}, {102, 349}, {60, 263}, {38, 285}, {120, 323}, {98, 350}, {145,
429}, {6, 315}, {59, 262}, {40, 277}, {16, 301}, {3, 317}, {160, 414}, {95,
353}, {38, 280}, {26, 292}, {122, 324}, {20, 299}, {182, 393}, {74, 373}, {61,
258}, {16, 336}, {85, 277}, {56, 376}, {47, 367}, {199, 390}, {205, 396}, {18,
336}, {76, 270}, {112, 306}, {122, 312}, {56, 379}, {87, 276}, {112, 307}, {11,
335}, {126, 314}, {34, 359}, {92, 281}, {119, 306}, {32, 358}, {47, 360}, {2,
330}, {87, 287}, {69, 269}, {14, 326}, {85, 284}, {109, 292}, {28, 342}, {110,
292}, {1, 330}, {36, 367}, {117, 318}, {106, 294}, {195, 399}, {35, 366}, {207,
386}, {45, 352}, {108, 289}, {93, 275}, {211, 413}, {37, 362}, {211, 412}, {46,
353}, {196, 404}, {198, 406}, {82, 259}, {90, 264}, {205, 415}, {101, 311}, {69,
278}, {216, 395}, {98, 305}, {111, 316}, {124, 303}, {1, 341}, {48, 356}, {118,
290}, {8, 349}, {211, 390}, {197, 400}, {66, 279}, {62, 363}, {41, 383}, {203,
413}, {97, 311}, {35, 372}, {91, 268}, {77, 282}, {39, 368}, {82, 266}, {104,
304}, {23, 333}, {210, 392}, {57, 355}, {111, 309}, {121, 291}, {13, 342}, {210,
393}, {32, 379}, {29, 326}, {85, 265}, {215, 395}, {7, 346}, {101, 312}, {100,
314}, {126, 288}, {80, 271}, {214, 393}, {118, 297}, {43, 331}, {92, 316}, {120,
280}, {78, 303}, {95, 318}, {79, 302}, {79, 301}, {83, 305}, {30, 381}, {111,
268}, {45, 329}, {202, 430}, {105, 269}, {8, 365}, {77, 296}, {31, 378}, {116,
273}, {62, 344}, {71, 289}, {67, 293}, {14, 361}, {83, 308}, {75, 300}, {23,
368}, {105, 270}, {5, 365}, {74, 291}, {104, 257}, {39, 333}, {15, 356}, {54,
349}, {24, 371}, {50, 350}, {23, 378}, {86, 315}, {106, 263}, {2, 364}, {71,
297}, {60, 338}, {43, 325}, {31, 369}, {32, 336}, {91, 299}, {80, 288}, {33,
337}, {117, 261}, {7, 374}, {74, 315}, {18, 352}, {84, 294}, {34, 336}, {112,
258}, {42, 345}, {97, 274}, {95, 300}, {65, 306}, {55, 324}, {53, 326}, {108,
287}, {21, 353}, {57, 333}, {64, 309}, {209, 420}, {124, 265}, {61, 331}, {213,
418}, {70, 318}, {212, 428}, {82, 298}, {115, 267}, {36, 349}, {44, 341}, {114,
267}, {116, 269}, {72, 306}, {96, 282}, {75, 305}, {20, 367}, {55, 332}, {39,
348}, {31, 356}, {59, 327}, {67, 319}, {19, 366}, {50, 335}, {119, 266}, {15,
369}, {41, 343}, {21, 362}, {23, 360}, {4, 388}, {18, 403}, {195, 322}, {169,
296}, {40, 425}, {14, 396}, {176, 307}, {204, 335}, {194, 321}, {186, 313}, {9,
397}, {176, 308}, {168, 300}, {41, 429}, {30, 410}, {186, 319}, {45, 427}, {193,
327}, {144, 278}, {129, 265}, {154, 274}, {4, 397}, {201, 320}, {191, 310},
{158, 279}, {26, 403}, {17, 411}, {203, 321}, {183, 317}, {179, 313}, {128,
266}, {25, 402}, {207, 324}, {33, 426}, {27, 407}, {9, 388}, {192, 333}, {129,
271}, {143, 257}, {144, 286}, {139, 260}, {21, 389}, {169, 313}, {190, 303},
{197, 340}, {131, 273}, {193, 339}, {48, 419}, {172, 319}, {51, 423}, {129,
277}, {27, 398}, {128, 277}, {200, 350}, {5, 402}, {24, 399}, {140, 283}, {9,
401}, {195, 347}, {10, 402}, {142, 278}, {20, 397}, {198, 351}, {174, 308},
{184, 290}, {12, 407}, {174, 309}, {173, 310}, {6, 410}, {187, 295}, {139, 279},
{56, 421}, {133, 280}, {161, 318}, {37, 389}, {61, 413}, {147, 307}, {38, 391},
{191, 286}, {165, 260}, {164, 261}, {15, 429}, {166, 261}, {209, 370}, {205,
361}, {51, 406}, {134, 291}, {148, 305}, {3, 421}, {214, 368}, {182, 272}, {58,
412}, {40, 399}, {5, 429}, {188, 276}, {6, 431}, {203, 354}, {25, 432}, {140,
293}, {128, 298}, {199, 365}, {185, 275}, {163, 265}, {58, 401}, {178, 281},
{167, 268}, {62, 405}, {52, 408}, {213, 377}, {162, 270}, {132, 296}, {44, 385},
{209, 380}, {198, 363}, {50, 415}, {212, 378}, {13, 418}, {204, 355}, {132,
299}, {43, 411}, {30, 431}, {207, 382}, {34, 403}, {136, 313}, {53, 391}, {208,
354}, {176, 258}, {171, 281}, {160, 274}, {60, 398}, {147, 289}, {51, 384},
{169, 282}, {153, 298}, {140, 319}, {28, 424}, {202, 382}, {63, 394}, {34, 404},
{215, 353}, {46, 409}, {152, 288}, {157, 293}, {154, 290}, {192, 377}, {197,
380}, {25, 419}, {157, 295}, {134, 316}, {17, 426}, {168, 275}, {37, 414}, {52,
392}, {212, 360}, {181, 264}, {22, 424}, {190, 256}, {30, 416}, {158, 350}, {67,
386}, {75, 394}, {105, 424}, {145, 339}, {210, 272}, {96, 419}, {201, 266},
{173, 366}, {99, 423}, {201, 268}, {213, 272}, {206, 267}, {133, 323}, {159,
344}, {107, 419}, {204, 260}, {200, 256}, {155, 339}, {151, 351}, {65, 395},
{193, 267}, {151, 348}, {79, 387}, {92, 400}, {87, 410}, {204, 257}, {178, 383},
{170, 359}, {153, 340}, {104, 421}, {99, 430}, {74, 388}, {208, 286}, {188,
370}, {202, 261}, {96, 432}, {192, 272}, {181, 357}, {211, 258}, {86, 388},
{207, 285}, {174, 380}, {118, 420}, {139, 345}, {181, 358}, {69, 401}, {180,
352}, {171, 383}, {154, 334}, {114, 422}, {133, 337}, {78, 408}, {161, 375},
{120, 430}, {147, 325}, {158, 329}, {197, 274}, {64, 408}, {167, 383}, {165,
381}, {115, 427}, {118, 431}, {199, 286}, {190, 359}, {155, 322}, {131, 345},
{90, 385}, {155, 327}, {171, 375}, {213, 264}, {120, 422}, {140, 338}, {141,
338}, {200, 279}, {196, 283}, {65, 417}, {151, 375}, {101, 391}, {125, 414},
{208, 307}, {198, 293}, {163, 320}, {143, 364}, {106, 398}, {209, 309}, {183,
339}, {178, 342}, {67, 422}, {179, 342}, {179, 341}, {208, 310}, {73, 430},
{200, 303}, {178, 341}, {98, 389}, {71, 431}, {206, 294}, {194, 298}, {170,
322}, {162, 330}, {142, 358}, {103, 398}, {184, 337}, {134, 367}, {102, 396},
{210, 312}, {165, 335}, {162, 328}, {142, 357}, {163, 328}, {150, 381}, {70,
426}, {100, 392}, {148, 376}, {108, 386}, {191, 337}, {160, 334}, {68, 427},
{166, 329}, {73, 422}, {114, 386}, {167, 343}, {132, 373}, {147, 354}, {148,
357}, {122, 392}, {167, 340}, {212, 295}, {191, 332}, {175, 347}, {184, 332},
{180, 320}, {99, 406}, {216, 301}, {201, 316}, {189, 328}, {131, 374}, {214,
288}, {216, 302}, {156, 363}, {72, 432}, {170, 338}, {160, 344}, {137, 369},
{138, 370}, {126, 391}, {130, 379}, {141, 372}, {90, 416}, {130, 376}, {137,
371}, {89, 418}, {150, 365}, {151, 363}, {155, 359}, {85, 424}, {161, 348},
{159, 354}, {98, 415}, {109, 403}, {125, 387}, {132, 378}, {143, 368}, {165,
346} }>;
(II) A more general form is to represent the graph as the orbit of {205, 220}
under the group generated by the following permutations:
a: (21, 75)(37, 83)(62, 125)(79, 156)(168, 215)(185, 216)(225, 394)(229,
308)(233, 275)(244, 362)(254, 301)(255, 302)(300, 353)(305, 389)(344, 414)(351,
363)(387, 405)(395, 417) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (24, 78)(40, 124)(48, 137)(52, 101)(53, 100)(64, 97)(72, 107)(82, 180)(111,
197)(119, 194)(128, 163)(153, 201)(223, 371)(226, 306)(231, 326)(234, 321)(242,
266)(256, 303)(259, 352)(265, 277)(268, 340)(274, 334)(298, 320)(309, 380)(311,
408)(312, 392)(314, 391)(316, 400)(328, 425)(347, 399)(356, 369)(419, 432)
c: (61, 147)(71, 87)(94, 184)(118, 188)(135, 191)(208, 211)(224, 337)(236,
290)(238, 332)(258, 307)(276, 297)(286, 390)(287, 289)(310, 412)(325, 331)(354,
413)(370, 420)(410, 431)
d: (46, 136)(51, 140)(60, 146)(63, 95)(67, 99)(70, 106)(84, 161)(114, 202)(117,
206)(151, 177)(157, 186)(172, 198)(217, 251)(222, 375)(225, 353)(230, 398)(232,
267)(237, 283)(246, 348)(247, 261)(263, 426)(293, 423)(294, 318)(295, 428)(300,
394)(313, 409)(319, 406)(338, 384)(351, 387)(363, 405)(382, 386)(422, 430)
e: (2, 44)(3, 7)(4, 6)(5, 191)(8, 208)(9, 30)(10, 55)(11, 109)(12, 47)(13,
105)(14, 62)(15, 33)(17, 31)(18, 79)(19, 135)(20, 71)(21, 200)(22, 81)(23,
80)(24, 63)(25, 103)(27, 96)(29, 156)(32, 42)(34, 216)(35, 211)(36, 147)(37,
158)(38, 127)(39, 126)(40, 136)(41, 133)(43, 132)(45, 125)(46, 124)(48, 106)(49,
155)(50, 148)(51, 119)(52, 161)(53, 177)(54, 112)(56, 131)(57, 213)(58, 150)(59,
94)(60, 107)(61, 121)(64, 117)(65, 196)(67, 153)(68, 159)(69, 89)(70, 137)(72,
146)(73, 91)(74, 87)(75, 175)(76, 178)(77, 182)(78, 95)(82, 172)(83, 205)(84,
101)(85, 187)(86, 188)(88, 144)(90, 104)(92, 207)(93, 170)(97, 206)(99,
201)(100, 151)(102, 176)(108, 134)(110, 185)(111, 202)(113, 139)(114, 197)(115,
160)(116, 130)(118, 183)(120, 167)(122, 171)(123, 210)(128, 186)(129, 212)(138,
149)(140, 194)(141, 203)(142, 165)(143, 152)(145, 184)(154, 193)(157, 163)(162,
179)(164, 209)(166, 174)(168, 195)(169, 189)(173, 199)(180, 198)(181, 204)(190,
215)(217, 223)(218, 360)(219, 258)(220, 244)(221, 420)(222, 312)(224, 262)(225,
256)(226, 283)(227, 417)(228, 284)(229, 329)(230, 432)(231, 363)(232, 334)(233,
359)(234, 384)(235, 424)(236, 327)(237, 306)(238, 241)(239, 364)(240, 285)(242,
293)(243, 254)(245, 354)(246, 391)(247, 380)(248, 370)(249, 393)(250, 412)(251,
371)(252, 286)(253, 272)(255, 292)(257, 385)(259, 387)(260, 358)(261, 309)(263,
356)(264, 355)(265, 295)(266, 423)(267, 274)(268, 430)(269, 418)(270, 342)(271,
378)(273, 376)(275, 322)(276, 315)(277, 428)(278, 346)(279, 362)(280, 343)(281,
324)(282, 407)(287, 291)(288, 368)(289, 367)(290, 339)(294, 311)(296, 411)(297,
317)(298, 319)(299, 325)(300, 347)(301, 336)(302, 403)(303, 353)(304, 416)(305,
415)(307, 349)(308, 396)(310, 365)(313, 425)(314, 348)(316, 382)(318, 408)(320,
406)(321, 338)(323, 383)(326, 405)(328, 409)(330, 341)(331, 373)(332, 402)(333,
377)(335, 357)(337, 429)(340, 422)(344, 361)(345, 379)(350, 389)(351, 352)(366,
390)(369, 426)(372, 413)(374, 421)(375, 392)(381, 401)(386, 400)(388, 410)(394,
399)(395, 404)(397, 431)(398, 419)(414, 427)
f: (24, 78)(40, 124)(52, 101)(53, 100)(82, 180)(128, 163)(223, 311)(231,
326)(242, 298)(256, 303)(259, 352)(265, 277)(266, 320)(312, 392)(314, 391)(328,
425)(347, 399)(371, 408)
g: (1, 3, 112, 151, 54, 78)(2, 144, 176, 198, 196, 124)(4, 93, 84, 68, 101,
13)(5, 111, 169, 59, 153, 23)(6, 65, 161, 102, 52, 44)(7, 49, 63, 115, 53,
213)(8, 64, 179, 86, 194, 39)(9, 203, 177, 141, 24, 28)(10, 91, 96, 41, 134,
31)(11, 33, 66, 207, 109, 43, 42, 103, 98, 120, 32, 12)(14, 126, 89, 118, 168,
117)(15, 92, 132, 25, 167, 47)(16, 27, 50, 133, 113, 108, 26, 17, 139, 55, 148,
73)(18, 182, 131, 94, 21, 114)(19, 197, 212, 145, 201, 77)(20, 72, 171, 121, 48,
81)(22, 56, 147, 156, 146, 175)(29, 80, 165, 184, 75, 202)(30, 138, 95, 166,
100, 152)(34, 189, 116, 135, 37, 67)(35, 97, 187, 183, 119, 123)(36, 137, 178,
74, 107, 127)(38, 130, 71, 185, 70, 205)(40, 105, 58, 159, 172, 170)(45, 210,
90, 188, 215, 206)(46, 164, 180, 214, 150, 209)(51, 195, 85, 104, 208, 62)(57,
173, 160, 186, 155, 128)(60, 200, 76, 142, 61, 79)(69, 211, 125, 140, 190,
162)(82, 192, 88, 154, 136, 193)(83, 99, 110, 129, 204, 191)(87, 216, 106, 158,
122, 181)(143, 199, 174, 157, 149, 163)(217, 329, 392, 385, 410, 395)(218, 335,
337, 244, 382, 292, 271, 260, 332, 305, 430, 243)(219, 223, 228, 317, 306,
375)(220, 285, 376, 325, 254, 230, 415, 280, 379, 289, 255, 426)(221, 320, 249,
250, 380, 295)(222, 372, 311, 235, 397, 234)(224, 362, 386, 403, 411, 345, 238,
389, 422, 336, 407, 273)(225, 267, 259, 272, 374, 236)(226, 348, 349, 408, 341,
315)(227, 265, 257, 286, 308, 406)(229, 293, 404, 328, 364, 390)(231, 288, 381,
420, 300, 261)(232, 326, 377, 346, 290, 394)(233, 294, 427, 312, 264, 276)(237,
347, 284, 421, 307, 363)(239, 431, 417, 318, 396, 314)(240, 299, 432, 383, 291,
356)(241, 340, 360, 429, 316, 296)(242, 368, 365, 309, 409, 248)(245, 371, 342,
388, 321, 246)(247, 352, 393, 416, 370, 353)(251, 361, 391, 418, 297, 275)(252,
334, 313, 327, 298, 333)(253, 366, 274, 428, 339, 266)(256, 270, 401, 413, 387,
338)(258, 351, 283, 303, 330, 278)(262, 400, 378, 402, 268, 282)(263, 279, 324,
357, 331, 301, 398, 350, 323, 358, 287, 302)(269, 412, 414, 319, 359, 425)(277,
355, 310, 344, 423, 322)(281, 373, 419, 343, 367, 369)(304, 354, 405, 384, 399,
424)
h: (21, 75)(37, 83)(49, 138)(62, 125)(65, 93)(79, 156)(112, 203)(154, 209)(159,
176)(160, 174)(168, 215)(185, 216)(225, 394)(226, 321)(229, 344)(233, 417)(234,
306)(236, 370)(244, 362)(254, 301)(255, 302)(258, 413)(274, 380)(275, 395)(290,
420)(300, 353)(305, 389)(307, 354)(308, 414)(309, 334)(351, 363)(387, 405)
m: (3, 11)(4, 16)(5, 75)(6, 26)(7, 32)(8, 83)(9, 42)(10, 46, 41, 136)(12,
100)(14, 61)(15, 63, 25, 95)(17, 101)(18, 71)(19, 21)(20, 156)(22, 85)(23,
39)(24, 33)(27, 52)(29, 87)(30, 109)(31, 84, 96, 161)(34, 118)(35, 37)(36,
62)(38, 129)(40, 133)(43, 53)(45, 147)(47, 151, 132, 177)(48, 70, 137, 106)(49,
155)(50, 144)(51, 111, 140, 197)(54, 174)(55, 124)(56, 165)(58, 139)(59,
215)(60, 97, 146, 64)(65, 164)(66, 173)(67, 153, 99, 201)(68, 159)(69, 116)(72,
206, 107, 117)(73, 82)(74, 79)(76, 162)(77, 123)(78, 103)(80, 126)(81, 187)(86,
216)(88, 113)(89, 130)(90, 181)(91, 172, 134, 198)(92, 157, 167, 186)(93,
193)(94, 195)(98, 199)(102, 176)(104, 204)(108, 180)(110, 188)(112, 166)(114,
194, 202, 119)(115, 203)(120, 128)(121, 125)(122, 189)(127, 212)(131, 142)(135,
175)(138, 149)(141, 160)(145, 168)(148, 150)(154, 170)(158, 208)(163, 207)(169,
171)(178, 179)(182, 210)(183, 185)(184, 190)(191, 200)(196, 209)(205, 211)(217,
356, 251, 432)(218, 314)(219, 229)(220, 412)(221, 417)(222, 282, 375, 296)(223,
230, 408, 398)(224, 399)(225, 241, 353, 262)(226, 261, 306, 247)(227, 370)(231,
287)(232, 234, 267, 321)(233, 327)(236, 322)(237, 309, 283, 380)(238, 347)(240,
295, 343, 428)(242, 382, 320, 386)(243, 276)(244, 252)(245, 344)(246, 360, 348,
378)(248, 395)(250, 389)(254, 397)(255, 317)(256, 337)(258, 396)(259, 325)(260,
304)(263, 311, 426, 371)(265, 285)(266, 422, 298, 430)(268, 319, 400, 406)(271,
391)(273, 278)(274, 384, 334, 338)(275, 339)(277, 280)(279, 310)(281, 409, 383,
313)(286, 350)(289, 352)(290, 359)(291, 351, 373, 387)(292, 410)(293, 340, 423,
316)(294, 419, 318, 369)(297, 336)(299, 405, 367, 363)(300, 429, 394, 402)(301,
388)(302, 315)(303, 332)(305, 365)(307, 329)(308, 349)(312, 411)(323, 425)(324,
328)(326, 331)(335, 421)(345, 401)(346, 379)(354, 427)(357, 416)(358, 374)(361,
413)(362, 366)(372, 414)(376, 381)(390, 415)(392, 407)(403, 431)(404, 420)
n1: (23, 77)(39, 123)(81, 178)(127, 171)(169, 212)(179, 187)(222, 246)(228,
341)(235, 342)(240, 281)(249, 368)(253, 333)(282, 360)(295, 409)(296, 378)(313,
428)(343, 383)(348, 375)
a1: (56, 142)(69, 104)(89, 90)(116, 204)(130, 181)(131, 165)(239, 385)(257,
364)(260, 345)(264, 418)(269, 355)(273, 335)(278, 421)(304, 401)(346, 374)(357,
376)(358, 379)(381, 416)
b1: (5, 19)(8, 35)(20, 74)(36, 121)(54, 141)(59, 145)(68, 102)(86, 183)(115,
166)(149, 155)(164, 193)(170, 196)(219, 245)(221, 327)(227, 322)(232, 261)(237,
384)(241, 402)(247, 267)(248, 339)(250, 365)(252, 366)(262, 429)(283, 338)(291,
367)(299, 373)(315, 317)(329, 427)(349, 372)(359, 404)(361, 396)(388, 397)
c1: (10, 41)(15, 25)(31, 96)(47, 132)(91, 134)(92, 167)(240, 343)(241, 262)(268,
316)(281, 383)(282, 296)(291, 373)(299, 367)(340, 400)(356, 419)(360, 378)(369,
432)(402, 429)
d1: (2, 44)(3, 7)(4, 6)(5, 191)(8, 208)(9, 30)(10, 55)(11, 32)(12, 47)(13,
105)(14, 62)(15, 33)(16, 26)(17, 31)(18, 79)(19, 135)(20, 71)(21, 200)(22,
81)(23, 80)(24, 63)(25, 103)(27, 96)(29, 156)(34, 216)(35, 211)(36, 147)(37,
158)(38, 127)(39, 126)(40, 136)(41, 133)(42, 109)(43, 132)(45, 125)(46, 124)(48,
106)(49, 155)(50, 113)(51, 119)(52, 161)(53, 177)(54, 112)(56, 131)(57, 213)(58,
150)(59, 94)(60, 107)(61, 121)(64, 117)(65, 196)(66, 98)(67, 153)(68, 159)(69,
89)(70, 137)(72, 146)(73, 91)(74, 87)(75, 175)(76, 178)(77, 182)(78, 95)(82,
172)(83, 205)(84, 101)(85, 187)(86, 188)(88, 144)(90, 104)(92, 207)(93, 170)(97,
206)(99, 201)(100, 151)(102, 176)(108, 134)(110, 185)(111, 202)(114, 197)(115,
160)(116, 130)(118, 183)(120, 167)(122, 171)(123, 210)(128, 186)(129, 212)(138,
149)(139, 148)(140, 194)(141, 203)(142, 165)(143, 152)(145, 184)(154, 193)(157,
163)(162, 179)(164, 209)(166, 174)(168, 195)(169, 189)(173, 199)(180, 198)(181,
204)(190, 215)(217, 223)(218, 360)(219, 258)(220, 305)(221, 420)(222, 312)(224,
262)(225, 256)(226, 283)(227, 417)(228, 284)(229, 329)(230, 432)(231, 363)(232,
334)(233, 359)(234, 384)(235, 424)(236, 327)(237, 306)(238, 241)(239, 364)(240,
285)(242, 293)(243, 255)(244, 415)(245, 354)(246, 391)(247, 380)(248, 370)(249,
393)(250, 412)(251, 371)(252, 286)(253, 272)(254, 292)(257, 385)(259, 387)(260,
357)(261, 309)(263, 356)(264, 355)(265, 295)(266, 423)(267, 274)(268, 430)(269,
418)(270, 342)(271, 378)(273, 379)(275, 322)(276, 315)(277, 428)(278, 346)(279,
389)(280, 343)(281, 324)(282, 407)(287, 291)(288, 368)(289, 367)(290, 339)(294,
311)(296, 411)(297, 317)(298, 319)(299, 325)(300, 347)(301, 403)(302, 336)(303,
353)(304, 416)(307, 349)(308, 396)(310, 365)(313, 425)(314, 348)(316, 382)(318,
408)(320, 406)(321, 338)(323, 383)(326, 405)(328, 409)(330, 341)(331, 373)(332,
402)(333, 377)(335, 358)(337, 429)(340, 422)(344, 361)(345, 376)(350, 362)(351,
352)(366, 390)(369, 426)(372, 413)(374, 421)(375, 392)(381, 401)(386, 400)(388,
410)(394, 399)(395, 404)(397, 431)(398, 419)(414, 427)
e1: (3, 9)(4, 6)(7, 30)(58, 144)(88, 150)(173, 199)(250, 366)(252, 365)(276,
410)(278, 401)(286, 310)(297, 431)(304, 421)(315, 388)(317, 397)(346, 381)(374,
416)(390, 412)
f1: (22, 76)(38, 122)(80, 182)(85, 162)(126, 210)(129, 189)(218, 407)(265,
328)(270, 424)(271, 411)(272, 377)(277, 425)(280, 323)(284, 330)(285, 324)(288,
393)(312, 391)(314, 392)
g1: (1, 2)(3, 10)(4, 15)(5, 20)(6, 25)(7, 31)(8, 36)(9, 41)(11, 136)(12, 52)(13,
57)(14, 60)(16, 95)(17, 53)(18, 70)(19, 74)(21, 79)(22, 85)(23, 89)(24, 73)(26,
63)(27, 100)(28, 105)(29, 106)(30, 96)(32, 161)(33, 82)(34, 117)(35, 121)(37,
125)(38, 129)(39, 130)(40, 120)(42, 46)(43, 101)(44, 143)(45, 146)(47, 150)(48,
87)(49, 93)(50, 186)(51, 158)(54, 102)(55, 163)(56, 127)(58, 167)(59, 86)(61,
97)(62, 83)(64, 147)(65, 138)(66, 198)(67, 175)(68, 141)(69, 178)(71, 137)(72,
118)(75, 156)(76, 162)(77, 90)(78, 108)(80, 126)(81, 104)(84, 109)(88, 132)(91,
173)(92, 144)(94, 194)(98, 172)(99, 200)(103, 180)(107, 188)(110, 206)(111,
208)(112, 209)(113, 151)(114, 195)(115, 170)(116, 179)(119, 184)(122, 189)(123,
181)(124, 207)(128, 133)(131, 169)(134, 199)(135, 153)(139, 157)(140, 205)(142,
171)(145, 183)(148, 177)(149, 164)(152, 214)(154, 203)(155, 193)(159, 160)(165,
212)(166, 196)(168, 185)(174, 176)(182, 210)(187, 204)(190, 202)(191, 201)(192,
213)(197, 211)(215, 216)(217, 243)(218, 314)(220, 293)(222, 357)(223, 287)(224,
298)(225, 302)(226, 370)(227, 247)(228, 257)(230, 352)(231, 398)(232, 359)(234,
290)(235, 355)(236, 321)(237, 329)(238, 242)(239, 368)(240, 421)(241, 315)(244,
363)(246, 376)(249, 385)(250, 291)(251, 403)(252, 299)(253, 264)(254, 300)(255,
394)(256, 430)(258, 380)(259, 426)(260, 295)(261, 404)(262, 388)(263, 326)(265,
285)(266, 337)(267, 322)(268, 310)(269, 342)(271, 391)(273, 313)(274, 413)(276,
356)(277, 280)(278, 281)(279, 406)(282, 416)(283, 396)(286, 316)(289, 408)(292,
294)(296, 374)(297, 369)(301, 353)(303, 382)(304, 343)(305, 405)(306, 420)(307,
309)(311, 331)(312, 411)(317, 402)(318, 336)(319, 415)(320, 332)(323, 425)(324,
328)(325, 371)(333, 418)(334, 354)(335, 428)(338, 361)(340, 412)(341, 364)(345,
409)(346, 378)(347, 386)(348, 379)(350, 423)(351, 362)(358, 375)(360, 381)(365,
367)(366, 373)(383, 401)(384, 427)(387, 389)(390, 400)(392, 407)(397, 429)(399,
422)(410, 419)(431, 432)
h1: (12, 43)(17, 27)(33, 103)(55, 133)(73, 108)(120, 207)(218, 271)(224,
238)(230, 426)(263, 398)(280, 285)(287, 331)(289, 325)(323, 324)(332, 337)(382,
430)(386, 422)(407, 411)
m1: (46, 136)(63, 95)(84, 161)(151, 177)(157, 186)(172, 198)(217, 294)(222,
375)(225, 353)(246, 348)(251, 318)(293, 319)(295, 428)(300, 394)(313, 409)(351,
387)(363, 405)(406, 423)
n2: (1, 5, 33, 39, 9, 114)(2, 145, 133, 127, 58, 206)(3, 202, 28, 19, 103,
123)(4, 67, 44, 8, 17, 23)(6, 99, 13, 35, 27, 77)(7, 140, 152, 36, 43, 212)(10,
191, 84, 69, 164, 22, 41, 135, 161, 104, 193, 76)(11, 34, 53, 201, 112, 168)(12,
169, 30, 51, 213, 121)(14, 163, 107, 49, 79, 32)(15, 94, 151, 56, 115, 162, 25,
184, 177, 142, 166, 85)(16, 29, 180, 194, 93, 216)(18, 82, 119, 65, 185, 26)(20,
73, 187, 88, 60, 214)(21, 139, 195, 52, 197, 159)(24, 64, 174, 83, 98, 200)(31,
188, 198, 130, 68, 189, 96, 118, 172, 181, 102, 129)(37, 66, 175, 78, 97,
160)(38, 167, 211, 95, 204, 155, 122, 92, 208, 63, 116, 149)(40, 137, 209, 62,
148, 158)(42, 110, 100, 153, 203, 215)(45, 128, 72, 138, 156, 109)(46, 165, 170,
210, 134, 147, 136, 131, 196, 126, 91, 61)(47, 71, 186, 90, 54, 80, 132, 87,
157, 89, 141, 182)(48, 154, 125, 113, 205, 124)(50, 190, 101, 111, 176, 75)(55,
171, 144, 117, 105, 59)(57, 86, 207, 178, 199, 70)(74, 108, 179, 150, 146,
192)(81, 173, 106, 143, 183, 120)(217, 257, 339, 323, 240, 310, 294, 364, 221,
280, 343, 412)(218, 296, 410, 406, 418, 372, 407, 282, 431, 423, 264, 219)(220,
347, 223, 274, 414, 362)(222, 278, 261, 424, 262, 238, 375, 421, 232, 270, 241,
332)(224, 348, 304, 267, 330, 402, 337, 246, 401, 247, 284, 429)(225, 345, 227,
314, 340, 413, 353, 260, 322, 392, 400, 354)(226, 275, 302, 336, 326, 320)(228,
252, 263, 368, 397, 422)(229, 244, 415, 303, 311, 334)(230, 253, 315, 382, 342,
250)(231, 242, 321, 233, 301, 243)(234, 395, 254, 292, 352, 298)(235, 366, 398,
249, 317, 430)(236, 351, 379, 361, 328, 419, 290, 387, 358, 396, 265, 356)(237,
377, 373, 287, 409, 381, 384, 272, 291, 289, 313, 416)(239, 245, 411, 360, 297,
319, 385, 349, 271, 378, 276, 293)(248, 285, 383, 390, 318, 355, 327, 324, 281,
286, 251, 269)(255, 403, 259, 266, 306, 417)(256, 371, 309, 308, 305, 350)(258,
300, 335, 359, 312, 316, 307, 394, 273, 404, 391, 268)(277, 369, 370, 363, 376,
427, 425, 432, 420, 405, 357, 329)(279, 399, 408, 380, 344, 389)(283, 288, 299,
331, 295, 346, 338, 393, 367, 325, 428, 374)(333, 388, 386, 341, 365, 426)
a2: (5, 19)(8, 35)(20, 74)(36, 121)(59, 145)(86, 183)(219, 349)(221, 248)(241,
402)(245, 372)(250, 365)(252, 366)(262, 429)(291, 367)(299, 373)(315, 317)(327,
339)(388, 397)
C4[ 432, 174 ]
432
-1 330 341 228 284
-2 330 364 257 284
-3 278 421 315 317
-4 297 276 397 388
-5 429 365 402 252
-6 431 410 315 317
-7 297 374 276 346
-8 365 245 349 252
-9 397 388 401 304
-10 281 402 240 241
-11 255 302 335 273
-12 407 287 289 218
-13 264 418 342 235
-14 231 396 326 361
-15 429 356 369 262
-16 243 254 301 336
-17 411 271 426 263
-18 352 259 336 403
-19 366 250 262 241
-20 397 299 367 317
-21 353 389 225 362
-22 280 424 284 285
-23 333 378 368 360
-24 256 311 399 371
-25 419 432 402 241
-26 255 302 292 403
-27 407 398 218 230
-28 342 235 270 424
-29 231 243 292 326
-30 431 410 381 416
-31 356 378 369 296
-32 243 379 336 358
-33 224 337 426 263
-34 336 359 403 404
-35 366 250 372 219
-36 299 245 367 349
-37 389 414 229 362
-38 280 314 391 285
-39 333 246 368 348
-40 277 256 399 425
-41 429 343 262 383
-42 254 301 345 260
-43 331 411 325 271
-44 341 385 228 239
-45 352 259 427 329
-46 353 409 300 295
-47 367 291 282 360
-48 419 223 311 356
-49 275 233 290 236
-50 335 415 273 350
-51 423 237 384 406
-52 408 223 314 392
-53 312 259 391 326
-54 237 283 349 219
-55 332 324 238 285
-56 376 421 379 304
-57 253 333 355 269
-58 310 401 412 304
-59 248 327 262 241
-60 398 283 338 263
-61 287 331 258 413
-62 308 363 344 405
-63 225 294 251 394
-64 309 408 334 371
-65 226 306 395 417
-66 220 244 279 362
-67 319 386 422 293
-68 245 361 372 427
-69 364 278 269 401
-70 426 251 230 318
-71 297 431 289 325
-72 234 432 369 306
-73 331 430 422 325
-74 388 291 315 373
-75 244 300 305 394
-76 330 323 324 270
-77 253 249 282 296
-78 408 223 303 347
-79 387 301 302 351
-80 288 377 271 218
-81 343 235 228 240
-82 298 266 259 326
-83 308 244 344 305
-84 222 246 294 251
-85 265 277 424 284
-86 388 248 315 327
-87 276 287 331 410
-88 374 366 346 252
-89 418 346 381 239
-90 264 374 385 416
-91 299 268 340 373
-92 400 281 316 240
-93 275 233 321 234
-94 224 236 238 370
-95 353 300 217 318
-96 419 432 282 360
-97 223 311 380 274
-98 389 305 415 350
-99 430 423 382 406
-100 231 352 314 392
-101 311 312 391 371
-102 396 349 219 329
-103 332 398 238 230
-104 355 421 257 304
-105 355 269 270 424
-106 398 217 294 263
-107 419 321 356 226
-108 287 386 289 382
-109 376 357 292 403
-110 243 322 292 227
-111 309 268 334 316
-112 258 226 306 307
-113 244 379 358 362
-114 386 267 422 247
-115 232 267 361 427
-116 364 345 269 273
-117 232 261 251 318
-118 297 420 431 290
-119 320 266 234 306
-120 430 323 422 280
-121 291 372 219 373
-122 312 323 324 392
-123 253 375 222 249
-124 265 303 347 328
-125 387 414 229 351
-126 288 377 314 391
-127 343 246 348 240
-128 298 266 277 425
-129 265 277 271 218
-130 418 376 379 239
-131 374 345 273 416
-132 299 378 296 373
-133 224 323 280 337
-134 367 400 291 316
-135 224 390 412 238
-136 225 313 394 428
-137 408 432 369 371
-138 420 370 395 417
-139 220 279 345 260
-140 319 293 283 338
-141 245 338 372 384
-142 278 357 401 358
-143 364 257 368 249
-144 286 278 421 390
-145 429 221 402 339
-146 237 426 230 384
-147 354 289 325 307
-148 376 389 357 305
-149 221 248 227 404
-150 365 381 250 416
-151 363 375 348 351
-152 385 288 239 393
-153 242 298 400 340
-154 290 334 236 274
-155 322 359 327 339
-156 363 254 255 405
-157 409 293 295 406
-158 279 350 427 329
-159 354 344 413 414
-160 344 334 414 274
-161 375 348 217 318
-162 330 270 425 328
-163 242 265 320 328
-164 221 247 248 261
-165 335 346 260 381
-166 396 247 261 329
-167 343 268 383 340
-168 275 300 394 417
-169 409 313 282 296
-170 322 359 338 384
-171 375 222 281 383
-172 319 387 423 405
-173 310 366 412 252
-174 308 309 380 229
-175 220 399 347 415
-176 308 258 229 307
-177 222 387 246 405
-178 341 342 281 383
-179 341 342 409 313
-180 231 242 352 320
-181 264 385 357 358
-182 407 411 272 393
-183 221 397 317 339
-184 332 420 290 337
-185 275 254 255 417
-186 319 313 423 428
-187 235 228 295 428
-188 276 410 236 370
-189 407 411 425 328
-190 256 303 359 404
-191 286 310 332 337
-192 253 333 377 272
-193 232 267 327 339
-194 242 298 321 226
-195 322 399 347 227
-196 237 227 283 404
-197 400 380 274 340
-198 363 293 351 406
-199 286 365 390 250
-200 256 279 303 350
-201 320 266 268 316
-202 232 430 261 382
-203 321 354 234 413
-204 355 257 335 260
-205 220 396 415 361
-206 267 247 217 294
-207 386 324 382 285
-208 286 310 354 307
-209 309 420 380 370
-210 312 392 272 393
-211 258 390 412 413
-212 378 360 295 428
-213 264 418 377 272
-214 288 368 249 393
-215 353 233 225 395
-216 233 301 302 395
-217 95 106 161 206
-218 12 80 27 129
-219 121 35 102 54
-220 66 139 205 175
-221 145 149 183 164
-222 177 123 171 84
-223 78 48 52 97
-224 33 133 135 94
-225 136 215 63 21
-226 112 194 107 65
-227 110 149 195 196
-228 44 187 1 81
-229 176 37 125 174
-230 146 70 103 27
-231 100 14 180 29
-232 202 115 193 117
-233 49 93 215 216
-234 93 203 72 119
-235 187 13 81 28
-236 154 188 49 94
-237 146 51 196 54
-238 55 135 103 94
-239 44 89 130 152
-240 81 92 127 10
-241 25 59 19 10
-242 180 194 163 153
-243 110 16 29 32
-244 66 113 83 75
-245 68 36 8 141
-246 177 39 127 84
-247 166 114 206 164
-248 59 149 86 164
-249 77 143 123 214
-250 199 35 150 19
-251 70 84 117 63
-252 88 5 8 173
-253 77 57 123 192
-254 156 16 42 185
-255 11 156 26 185
-256 24 200 190 40
-257 143 2 104 204
-258 176 112 211 61
-259 45 82 18 53
-260 165 204 139 42
-261 166 202 117 164
-262 15 59 19 41
-263 33 60 17 106
-264 13 90 213 181
-265 124 85 129 163
-266 201 82 128 119
-267 114 115 193 206
-268 111 167 91 201
-269 57 69 105 116
-270 28 105 162 76
-271 80 17 129 43
-272 210 213 192 182
-273 11 50 116 131
-274 154 160 97 197
-275 168 49 93 185
-276 188 4 7 87
-277 40 128 85 129
-278 144 3 69 142
-279 66 200 158 139
-280 22 133 38 120
-281 178 92 171 10
-282 77 47 169 96
-283 60 140 196 54
-284 22 1 2 85
-285 22 55 38 207
-286 144 199 191 208
-287 12 61 108 87
-288 80 126 214 152
-289 12 147 71 108
-290 154 49 118 184
-291 121 134 47 74
-292 110 26 29 109
-293 198 67 157 140
-294 84 106 63 206
-295 187 46 157 212
-296 77 132 169 31
-297 4 71 7 118
-298 82 128 194 153
-299 132 36 91 20
-300 46 168 95 75
-301 79 16 216 42
-302 11 79 26 216
-303 78 200 124 190
-304 56 58 104 9
-305 148 83 75 98
-306 112 72 119 65
-307 176 112 147 208
-308 176 83 62 174
-309 209 111 64 174
-310 58 191 173 208
-311 24 101 48 97
-312 122 210 101 53
-313 179 136 169 186
-314 100 38 126 52
-315 3 6 74 86
-316 111 134 201 92
-317 3 6 183 20
-318 70 95 117 161
-319 67 172 140 186
-320 201 180 119 163
-321 93 203 194 107
-322 110 155 170 195
-323 122 133 76 120
-324 55 122 207 76
-325 147 71 73 43
-326 14 82 29 53
-327 155 59 193 86
-328 189 124 162 163
-329 45 166 102 158
-330 1 2 162 76
-331 61 73 43 87
-332 55 103 191 184
-333 23 57 192 39
-334 154 111 160 64
-335 11 165 50 204
-336 34 16 18 32
-337 33 133 191 184
-338 60 170 140 141
-339 155 145 193 183
-340 167 91 153 197
-341 44 1 178 179
-342 13 178 179 28
-343 167 81 127 41
-344 159 83 160 62
-345 116 139 42 131
-346 88 165 89 7
-347 78 124 195 175
-348 39 127 161 151
-349 36 102 8 54
-350 200 158 50 98
-351 198 79 125 151
-352 45 100 180 18
-353 46 215 95 21
-354 147 159 203 208
-355 57 104 105 204
-356 15 48 107 31
-357 148 181 109 142
-358 113 181 32 142
-359 34 155 190 170
-360 23 47 212 96
-361 68 14 115 205
-362 66 113 37 21
-363 198 156 62 151
-364 143 2 69 116
-365 199 5 150 8
-366 88 35 19 173
-367 134 36 47 20
-368 143 23 214 39
-369 15 137 72 31
-370 209 188 94 138
-371 24 101 137 64
-372 121 35 68 141
-373 121 132 91 74
-374 88 90 7 131
-375 123 171 161 151
-376 56 148 130 109
-377 80 213 126 192
-378 132 23 212 31
-379 56 113 130 32
-380 209 97 174 197
-381 165 89 150 30
-382 99 202 108 207
-383 167 178 171 41
-384 146 170 51 141
-385 44 90 181 152
-386 67 114 108 207
-387 177 79 125 172
-388 4 74 9 86
-389 37 148 21 98
-390 144 199 211 135
-391 101 38 126 53
-392 100 122 210 52
-393 210 214 182 152
-394 168 136 63 75
-395 138 215 216 65
-396 166 14 102 205
-397 4 183 9 20
-398 103 27 60 106
-399 24 40 195 175
-400 134 92 153 197
-401 58 69 9 142
-402 145 25 5 10
-403 34 26 18 109
-404 34 190 149 196
-405 177 156 62 172
-406 99 198 157 51
-407 12 189 27 182
-408 78 137 52 64
-409 46 157 179 169
-410 188 6 30 87
-411 189 17 182 43
-412 211 58 135 173
-413 211 159 203 61
-414 37 125 159 160
-415 50 205 98 175
-416 90 150 30 131
-417 168 138 185 65
-418 89 13 213 130
-419 25 48 96 107
-420 209 138 118 184
-421 56 144 3 104
-422 67 114 73 120
-423 99 51 172 186
-424 22 28 105 85
-425 189 40 128 162
-426 33 146 70 17
-427 45 68 158 115
-428 187 212 136 186
-429 145 15 5 41
-430 99 202 73 120
-431 71 6 30 118
-432 25 137 72 96
0