Graph forms
for C4 [ 512, 228 ] = UG(ATD[512,504])
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 228 ] =
UG(ATD[512,504]).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {1, 9}, {503, 511}, {500, 508}, {371, 379}, {369, 377}, {278,
286}, {256, 264}, {3, 10}, {453, 460}, {464, 474}, {34, 46}, {82, 94}, {33, 44},
{450, 463}, {81, 92}, {352, 366}, {1, 17}, {291, 307}, {289, 305}, {2, 19}, {32,
49}, {458, 472}, {258, 273}, {162, 182}, {161, 180}, {168, 189}, {45, 59}, {261,
275}, {42, 61}, {462, 473}, {385, 406}, {1, 25}, {397, 405}, {395, 403}, {2,
26}, {201, 209}, {202, 210}, {423, 445}, {387, 408}, {167, 187}, {302, 306},
{290, 318}, {289, 316}, {300, 305}, {420, 442}, {457, 470}, {17, 49}, {18, 51},
{132, 165}, {77, 108}, {72, 105}, {29, 63}, {404, 438}, {140, 174}, {74, 111},
{285, 312}, {135, 162}, {411, 445}, {413, 443}, {27, 60}, {1, 41}, {9, 33}, {3,
43}, {11, 34}, {453, 492}, {134, 175}, {84, 126}, {468, 511}, {210, 254}, {450,
494}, {283, 311}, {19, 62}, {70, 107}, {30, 51}, {407, 440}, {9, 57}, {261,
309}, {259, 307}, {10, 58}, {477, 492}, {268, 318}, {397, 447}, {350, 364},
{152, 171}, {341, 358}, {87, 99}, {407, 419}, {154, 174}, {132, 176}, {147,
166}, {475, 494}, {334, 379}, {332, 377}, {153, 172}, {338, 356}, {394, 444},
{216, 239}, {153, 161}, {471, 495}, {468, 492}, {280, 288}, {155, 163}, {145,
168}, {384, 441}, {151, 173}, {337, 363}, {277, 303}, {215, 236}, {338, 361},
{88, 101}, {408, 421}, {274, 300}, {323, 381}, {143, 176}, {325, 378}, {149,
212}, {262, 327}, {170, 232}, {264, 331}, {294, 357}, {146, 215}, {440, 509},
{292, 354}, {401, 471}, {430, 489}, {41, 97}, {157, 213}, {154, 210}, {42, 99},
{128, 201}, {164, 238}, {308, 382}, {263, 333}, {173, 231}, {276, 351}, {403,
472}, {388, 463}, {260, 328}, {438, 507}, {271, 320}, {443, 500}, {441, 502},
{9, 89}, {286, 334}, {284, 332}, {42, 122}, {41, 121}, {25, 73}, {18, 66}, {17,
65}, {11, 91}, {17, 64}, {41, 120}, {27, 74}, {288, 370}, {292, 375}, {299,
376}, {134, 211}, {166, 240}, {390, 464}, {49, 105}, {441, 481}, {50, 107},
{442, 483}, {256, 345}, {136, 209}, {165, 252}, {31, 69}, {433, 491}, {432,
490}, {421, 511}, {287, 325}, {301, 374}, {434, 489}, {22, 74}, {163, 255}, {20,
73}, {43, 118}, {28, 67}, {419, 508}, {295, 376}, {406, 502}, {428, 461}, {299,
329}, {267, 360}, {288, 323}, {183, 211}, {294, 322}, {431, 458}, {21, 115},
{267, 365}, {18, 117}, {319, 344}, {301, 330}, {269, 362}, {25, 113}, {26, 114},
{163, 203}, {165, 205}, {278, 383}, {48, 90}, {316, 342}, {292, 334}, {287,
373}, {390, 493}, {186, 214}, {404, 504}, {298, 326}, {14, 99}, {297, 324},
{296, 325}, {184, 213}, {185, 212}, {265, 359}, {388, 490}, {33, 81}, {394,
506}, {16, 97}, {35, 82}, {15, 125}, {47, 93}, {263, 372}, {393, 509}, {278,
352}, {12, 123}, {295, 336}, {385, 505}, {387, 506}, {13, 119}, {434, 460}, {11,
116}, {433, 462}, {264, 375}, {85, 213}, {324, 452}, {64, 193}, {327, 454}, {82,
211}, {113, 243}, {330, 456}, {127, 253}, {91, 222}, {104, 238}, {115, 245},
{124, 251}, {360, 480}, {279, 413}, {333, 455}, {103, 236}, {318, 437}, {126,
245}, {6, 138}, {4, 137}, {94, 208}, {124, 242}, {276, 411}, {33, 177}, {369,
481}, {256, 400}, {35, 179}, {40, 185}, {371, 482}, {280, 393}, {92, 206}, {117,
231}, {103, 245}, {125, 238}, {319, 428}, {300, 447}, {96, 244}, {344, 460},
{268, 408}, {53, 160}, {100, 242}, {122, 236}, {115, 228}, {333, 474}, {330,
477}, {97, 249}, {342, 462}, {305, 425}, {280, 384}, {270, 406}, {98, 250},
{307, 426}, {361, 499}, {362, 497}, {96, 252}, {327, 475}, {279, 395}, {38,
187}, {324, 473}, {94, 195}, {65, 225}, {322, 482}, {321, 481}, {102, 198}, {66,
226}, {95, 254}, {368, 465}, {312, 409}, {123, 217}, {287, 445}, {75, 232},
{359, 452}, {356, 455}, {346, 505}, {54, 146}, {100, 192}, {52, 145}, {96, 197},
{125, 219}, {349, 507}, {284, 443}, {64, 232}, {369, 473}, {97, 201}, {94, 247},
{370, 475}, {98, 203}, {77, 231}, {335, 485}, {119, 221}, {51, 159}, {342, 506},
{311, 411}, {104, 196}, {340, 505}, {116, 219}, {25, 169}, {354, 466}, {90,
234}, {89, 233}, {57, 137}, {50, 130}, {49, 129}, {27, 171}, {59, 138}, {64,
241}, {24, 170}, {373, 455}, {277, 423}, {113, 194}, {336, 483}, {353, 469},
{126, 203}, {115, 197}, {310, 384}, {126, 200}, {275, 420}, {319, 392}, {105,
209}, {52, 141}, {358, 479}, {106, 211}, {89, 224}, {23, 173}, {343, 493}, {98,
217}, {371, 456}, {316, 391}, {261, 446}, {124, 199}, {366, 466}, {55, 138},
{101, 219}, {340, 490}, {258, 444}, {78, 142}, {343, 407}, {271, 463}, {71,
133}, {125, 191}, {110, 172}, {363, 424}, {80, 148}, {124, 184}, {6, 195}, {383,
442}, {122, 188}, {68, 131}, {109, 165}, {349, 405}, {293, 493}, {291, 491}, {8,
193}, {346, 403}, {127, 182}, {107, 162}, {77, 132}, {68, 141}, {39, 237}, {365,
423}, {354, 425}, {70, 138}, {344, 404}, {74, 134}, {63, 242}, {357, 427}, {36,
235}, {336, 415}, {65, 145}, {73, 153}, {67, 146}, {358, 439}, {75, 154}, {36,
246}, {96, 178}, {308, 487}, {335, 412}, {99, 182}, {53, 227}, {376, 430}, {86,
128}, {72, 158}, {50, 229}, {311, 480}, {62, 230}, {363, 435}, {361, 433}, {102,
190}, {78, 150}, {37, 252}, {70, 156}, {375, 428}, {34, 254}, {356, 440}, {322,
414}, {268, 464}, {76, 144}, {101, 184}, {5, 219}, {310, 488}, {112, 174}, {38,
248}, {2, 221}, {352, 447}, {57, 217}, {335, 431}, {314, 474}, {313, 473}, {89,
185}, {58, 218}, {90, 187}, {321, 416}, {313, 472}, {5, 231}, {351, 444}, {364,
399}, {39, 195}, {275, 503}, {359, 386}, {3, 228}, {270, 489}, {293, 461}, {37,
204}, {365, 388}, {360, 385}, {291, 458}, {95, 181}, {373, 415}, {308, 478},
{34, 207}, {362, 391}, {315, 470}, {277, 504}, {272, 509}, {40, 197}, {370,
412}, {303, 448}, {323, 428}, {321, 430}, {320, 431}, {81, 161}, {83, 162}, {7,
245}, {279, 485}, {120, 139}, {320, 435}, {271, 507}, {310, 451}, {276, 482},
{4, 243}, {313, 449}, {314, 451}, {37, 223}, {119, 141}, {272, 491}, {63, 195},
{332, 432}, {312, 453}, {366, 400}, {35, 220}, {53, 309}, {67, 323}, {65, 321},
{59, 315}, {57, 313}, {51, 306}, {129, 384}, {159, 413}, {14, 266}, {68, 320},
{228, 480}, {12, 265}, {78, 331}, {32, 294}, {156, 410}, {142, 392}, {56, 318},
{240, 502}, {79, 328}, {241, 502}, {83, 347}, {150, 414}, {120, 368}, {85, 349},
{217, 465}, {218, 466}, {233, 481}, {235, 483}, {251, 499}, {253, 501}, {54,
316}, {76, 326}, {69, 335}, {140, 391}, {243, 504}, {66, 332}, {101, 363}, {98,
365}, {112, 383}, {113, 353}, {122, 362}, {121, 361}, {114, 354}, {28, 269},
{183, 421}, {111, 380}, {179, 416}, {197, 470}, {30, 266}, {128, 406}, {180,
418}, {194, 468}, {118, 366}, {190, 422}, {20, 269}, {80, 329}, {253, 487},
{130, 409}, {164, 447}, {239, 500}, {23, 266}, {133, 411}, {250, 484}, {230,
454}, {67, 353}, {192, 482}, {144, 435}, {190, 410}, {44, 265}, {149, 432},
{139, 430}, {47, 266}, {188, 409}, {242, 471}, {69, 355}, {131, 427}, {133,
429}, {241, 472}, {77, 359}, {90, 368}, {87, 381}, {181, 415}, {207, 484}, {218,
497}, {228, 456}, {221, 499}, {75, 356}, {84, 379}, {38, 278}, {199, 503}, {186,
395}, {8, 314}, {93, 367}, {69, 374}, {19, 295}, {158, 426}, {189, 393}, {230,
466}, {156, 425}, {66, 372}, {208, 487}, {152, 416}, {205, 501}, {137, 432},
{181, 396}, {202, 499}, {230, 479}, {7, 317}, {143, 437}, {79, 373}, {30, 292},
{40, 276}, {147, 431}, {200, 500}, {21, 296}, {178, 399}, {232, 469}, {76, 371},
{206, 398}, {208, 400}, {88, 281}, {120, 314}, {152, 474}, {135, 453}, {199,
389}, {55, 372}, {157, 478}, {91, 280}, {172, 495}, {247, 436}, {107, 303},
{188, 504}, {16, 341}, {22, 339}, {180, 497}, {183, 498}, {196, 386}, {106,
290}, {109, 293}, {191, 503}, {193, 393}, {194, 394}, {24, 337}, {239, 422},
{37, 367}, {151, 477}, {119, 317}, {93, 279}, {225, 427}, {136, 451}, {226,
425}, {31, 339}, {86, 283}, {142, 451}, {46, 352}, {56, 374}, {208, 414}, {222,
400}, {248, 439}, {148, 452}, {150, 454}, {241, 417}, {13, 348}, {144, 449},
{85, 260}, {243, 418}, {61, 367}, {143, 477}, {224, 434}, {35, 368}, {50, 353},
{181, 486}, {207, 412}, {229, 438}, {10, 351}, {82, 263}, {53, 355}, {222, 392},
{226, 436}, {59, 364}, {140, 475}, {136, 479}, {240, 424}, {250, 418}, {249,
416}, {63, 357}, {155, 449}, {141, 471}, {191, 485}, {220, 390}, {135, 476},
{179, 488}, {15, 339}, {249, 421}, {109, 304}, {60, 355}, {157, 450}, {139,
468}, {175, 496}, {172, 462}, {225, 387}, {133, 486}, {233, 394}, {52, 336},
{198, 418}, {251, 415}, {48, 341}, {196, 417}, {3, 357}, {130, 484}, {5, 355},
{166, 448}, {216, 446}, {227, 389}, {234, 397}, {105, 257}, {121, 273}, {106,
258}, {192, 424}, {123, 274}, {5, 367}, {223, 437}, {80, 315}, {202, 417}, {215,
444}, {2, 364}, {205, 419}, {224, 399}, {233, 409}, {32, 337}, {255, 398}, {73,
312}, {68, 309}, {235, 410}, {44, 350}, {151, 485}, {79, 317}, {55, 325}, {198,
436}, {246, 389}, {102, 274}, {110, 282}, {71, 306}, {108, 281}, {100, 273},
{244, 386}, {148, 483}, {159, 488}, {54, 334}, {83, 299}, {81, 297}, {70, 319},
{221, 420}, {56, 322}, {247, 397}, {155, 480}, {156, 487}, {218, 422}, {46,
339}, {75, 310}, {175, 464}, {200, 439}, {244, 395}, {79, 463}, {142, 270},
{220, 348}, {223, 351}, {13, 396}, {127, 510}, {72, 457}, {135, 261}, {160,
290}, {43, 424}, {250, 377}, {10, 398}, {152, 284}, {158, 283}, {14, 392}, {118,
496}, {132, 259}, {176, 311}, {253, 378}, {150, 286}, {117, 508}, {12, 390},
{45, 423}, {111, 484}, {176, 315}, {71, 459}, {114, 510}, {189, 304}, {220,
338}, {222, 337}, {161, 305}, {198, 342}, {4, 405}, {149, 260}, {163, 306}, {23,
389}, {184, 298}, {207, 349}, {214, 324}, {174, 317}, {237, 382}, {146, 262},
{7, 402}, {187, 302}, {112, 486}, {234, 380}, {20, 387}, {204, 347}, {102, 510},
{129, 281}, {193, 345}, {131, 282}, {194, 347}, {36, 446}, {155, 257}, {116,
494}, {183, 301}, {91, 448}, {153, 258}, {175, 308}, {47, 435}, {140, 272}, {80,
460}, {188, 288}, {200, 340}, {31, 386}, {44, 433}, {212, 329}, {215, 330},
{216, 326}, {190, 286}, {32, 385}, {72, 489}, {47, 398}, {248, 345}, {16, 434},
{129, 291}, {95, 509}, {22, 436}, {214, 372}, {76, 495}, {130, 289}, {244, 343},
{28, 440}, {86, 498}, {84, 497}, {255, 346}, {92, 506}, {136, 302}, {14, 422},
{137, 289}, {177, 281}, {30, 439}, {139, 290}, {60, 405}, {46, 391}, {178, 283},
{134, 300}, {154, 304}, {62, 402}, {71, 490}, {111, 450}, {108, 449}, {246,
347}, {24, 438}, {246, 344}, {112, 479}, {216, 375}, {28, 429}, {204, 381},
{237, 348}, {84, 486}, {157, 303}, {110, 476}, {180, 262}, {225, 338}, {16,
420}, {48, 388}, {38, 402}, {167, 275}, {31, 426}, {147, 294}, {36, 401}, {206,
379}, {235, 350}, {227, 341}, {21, 429}, {145, 297}, {185, 257}, {19, 426},
{147, 298}, {168, 273}, {186, 259}, {15, 437}, {159, 293}, {48, 396}, {149,
296}, {160, 285}, {78, 496}, {116, 458}, {182, 264}, {192, 382}, {87, 488},
{118, 457}, {109, 429}, {123, 443}, {121, 441}, {106, 427}, {169, 360}, {212,
277}, {239, 302}, {18, 465}, {60, 511}, {29, 478}, {191, 380}, {88, 412}, {144,
340}, {214, 274}, {227, 295}, {8, 461}, {21, 467}, {26, 476}, {24, 478}, {86,
414}, {177, 377}, {178, 378}, {199, 271}, {27, 465}, {205, 263}, {23, 476}, {7,
459}, {92, 401}, {95, 402}, {171, 358}, {229, 296}, {29, 467}, {203, 260}, {22,
454}, {40, 505}, {61, 492}, {204, 285}, {209, 256}, {252, 301}, {104, 442},
{164, 374}, {223, 269}, {196, 272}, {206, 282}, {58, 495}, {255, 298}, {45,
501}, {143, 343}, {169, 369}, {170, 370}, {43, 498}, {85, 396}, {29, 455}, {103,
445}, {55, 493}, {20, 456}, {83, 399}, {39, 507}, {160, 380}, {236, 304}, {11,
469}, {26, 452}, {13, 467}, {52, 491}, {167, 376}, {169, 329}, {213, 309}, {158,
383}, {170, 331}, {189, 348}, {210, 307}, {251, 282}, {201, 299}, {93, 446},
{114, 401}, {164, 327}, {171, 328}, {202, 297}, {186, 350}, {249, 285}, {168,
333}, {117, 403}, {39, 448}, {4, 494}, {151, 381}, {179, 345}, {127, 404}, {173,
326}, {177, 346}, {224, 267}, {226, 265}, {166, 331}, {238, 259}, {148, 378},
{229, 267}, {167, 328}, {61, 461}, {103, 407}, {56, 457}, {108, 413}, {58, 459},
{240, 257}, {237, 287}, {8, 508}, {110, 410}, {87, 419}, {6, 496}, {234, 284},
{248, 270}, {6, 510}, {254, 262}, {12, 501}, {88, 417}, {247, 268}, {100, 408},
{15, 498}, {131, 382}, {54, 459}, {45, 467}, {42, 469}, {62, 512}, {104, 512},
{128, 512}, {470, 512} }>;
(II) A more general form is to represent the graph as the orbit of {1, 9}
under the group generated by the following permutations:
a: (2, 3)(6, 7)(9, 25)(10, 26)(11, 27)(12, 28)(13, 29)(14, 30)(15, 31)(16,
32)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)(33, 73)(34,
74)(35, 75)(36, 76)(37, 77)(38, 78)(39, 79)(40, 80)(49, 97)(50, 98)(51, 99)(52,
100)(53, 101)(54, 102)(55, 103)(56, 104)(57, 113)(58, 114)(59, 115)(60, 116)(61,
117)(62, 118)(63, 119)(64, 120)(65, 121)(66, 122)(67, 123)(68, 124)(69, 125)(70,
126)(71, 127)(72, 128)(81, 153)(82, 154)(83, 155)(84, 156)(85, 157)(86, 158)(87,
159)(88, 160)(89, 169)(90, 170)(91, 171)(92, 172)(93, 173)(94, 174)(95, 175)(96,
176)(105, 201)(106, 202)(107, 203)(108, 204)(109, 205)(110, 206)(111, 207)(112,
208)(129, 249)(130, 250)(131, 251)(132, 252)(133, 253)(134, 254)(135, 255)(136,
256)(137, 243)(138, 245)(139, 241)(140, 247)(141, 242)(142, 248)(143, 244)(144,
246)(145, 273)(146, 274)(147, 275)(148, 276)(149, 277)(150, 278)(151, 279)(152,
280)(162, 163)(166, 167)(177, 312)(178, 311)(179, 310)(180, 305)(181, 308)(182,
306)(183, 307)(184, 309)(185, 329)(186, 330)(187, 331)(188, 332)(189, 333)(190,
334)(191, 335)(192, 336)(193, 314)(194, 313)(195, 317)(196, 318)(197, 315)(198,
316)(199, 320)(200, 319)(210, 211)(214, 215)(217, 353)(218, 354)(219, 355)(220,
356)(221, 357)(222, 358)(223, 359)(224, 360)(225, 361)(226, 362)(227, 363)(228,
364)(229, 365)(230, 366)(231, 367)(232, 368)(233, 369)(234, 370)(235, 371)(236,
372)(237, 373)(238, 374)(239, 375)(240, 376)(257, 299)(258, 297)(259, 301)(260,
303)(261, 298)(262, 300)(263, 304)(264, 302)(265, 269)(268, 272)(281, 285)(284,
288)(289, 418)(290, 417)(291, 421)(292, 422)(293, 419)(294, 420)(295, 424)(296,
423)(321, 441)(322, 442)(323, 443)(324, 444)(325, 445)(326, 446)(327, 447)(328,
448)(337, 341)(340, 344)(345, 451)(346, 453)(347, 449)(348, 455)(349, 450)(350,
456)(351, 452)(352, 454)(377, 409)(378, 411)(379, 410)(380, 412)(381, 413)(382,
415)(383, 414)(384, 416)(385, 434)(386, 437)(387, 433)(388, 438)(389, 435)(390,
440)(391, 436)(392, 439)(393, 474)(394, 473)(395, 477)(396, 478)(397, 475)(398,
476)(399, 480)(400, 479)(401, 495)(402, 496)(403, 492)(404, 490)(405, 494)(406,
489)(407, 493)(408, 491)(425, 497)(426, 498)(427, 499)(428, 500)(429, 501)(430,
502)(431, 503)(432, 504)(457, 512)(458, 511)(459, 510)(460, 505)(461, 508)(462,
506)(463, 507)(464, 509)(465, 469)(468, 472)(482, 483)(486, 487) (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: (1, 2)(3, 5)(4, 6)(7, 8)(9, 364)(10, 367)(11, 366)(12, 365)(13, 368)(14,
362)(15, 363)(16, 361)(17, 19)(18, 21)(20, 23)(22, 24)(25, 26)(27, 29)(28,
30)(31, 32)(33, 399)(34, 400)(35, 396)(36, 394)(37, 398)(38, 393)(39, 397)(40,
395)(41, 221)(42, 218)(43, 219)(44, 224)(45, 217)(46, 222)(47, 223)(48, 220)(49,
426)(50, 425)(51, 429)(52, 430)(53, 427)(54, 428)(55, 432)(56, 431)(57, 59)(58,
61)(60, 63)(62, 64)(65, 295)(66, 296)(67, 292)(68, 290)(69, 294)(70, 289)(71,
293)(72, 291)(73, 476)(74, 478)(75, 479)(76, 477)(77, 480)(78, 475)(79, 474)(80,
473)(81, 83)(82, 85)(84, 87)(86, 88)(89, 350)(90, 348)(91, 352)(92, 347)(93,
351)(94, 349)(95, 345)(96, 346)(97, 499)(98, 501)(99, 497)(100, 503)(101,
498)(102, 504)(103, 500)(104, 502)(105, 307)(106, 309)(107, 305)(108, 311)(109,
306)(110, 312)(111, 308)(112, 310)(113, 114)(115, 117)(116, 118)(119, 120)(121,
420)(122, 422)(123, 423)(124, 421)(125, 424)(126, 419)(127, 418)(128, 417)(129,
158)(130, 156)(131, 160)(132, 155)(133, 159)(134, 157)(135, 153)(136, 154)(137,
138)(139, 141)(140, 142)(143, 144)(145, 376)(146, 375)(147, 374)(148, 369)(149,
372)(150, 370)(151, 371)(152, 373)(161, 162)(163, 165)(164, 166)(167, 168)(169,
452)(170, 454)(171, 455)(172, 453)(173, 456)(174, 451)(175, 450)(176, 449)(177,
178)(179, 181)(180, 182)(183, 184)(185, 186)(187, 189)(188, 190)(191, 192)(193,
402)(194, 401)(195, 405)(196, 406)(197, 403)(198, 404)(199, 408)(200, 407)(201,
202)(203, 205)(204, 206)(207, 208)(209, 210)(211, 213)(212, 214)(215, 216)(225,
227)(226, 229)(228, 231)(230, 232)(233, 235)(234, 237)(236, 239)(238, 240)(241,
512)(242, 511)(243, 510)(244, 505)(245, 508)(246, 506)(247, 507)(248, 509)(249,
251)(250, 253)(252, 255)(254, 256)(257, 259)(258, 261)(260, 263)(262, 264)(265,
267)(266, 269)(268, 271)(270, 272)(273, 275)(274, 277)(276, 279)(278, 280)(281,
283)(282, 285)(284, 287)(286, 288)(297, 299)(298, 301)(300, 303)(302, 304)(313,
315)(314, 317)(316, 319)(318, 320)(321, 336)(322, 335)(323, 334)(324, 329)(325,
332)(326, 330)(327, 331)(328, 333)(337, 339)(338, 341)(340, 343)(342, 344)(353,
354)(355, 357)(356, 358)(359, 360)(377, 378)(379, 381)(380, 382)(383, 384)(385,
386)(387, 389)(388, 390)(391, 392)(409, 410)(411, 413)(412, 414)(415, 416)(433,
434)(435, 437)(436, 438)(439, 440)(441, 442)(443, 445)(444, 446)(447, 448)(457,
458)(459, 461)(460, 462)(463, 464)(465, 467)(466, 469)(468, 471)(470, 472)(481,
483)(482, 485)(484, 487)(486, 488)(489, 491)(490, 493)(492, 495)(494, 496)
c: (2, 3)(4, 8)(9, 17)(10, 19)(11, 18)(12, 24)(13, 21)(14, 22)(15, 23)(16,
20)(25, 41)(26, 43)(27, 42)(28, 48)(29, 45)(30, 46)(31, 47)(32, 44)(33, 49)(34,
51)(35, 50)(36, 56)(37, 53)(38, 54)(39, 55)(40, 52)(57, 64)(58, 62)(59, 63)(60,
61)(65, 89)(66, 91)(67, 90)(68, 96)(69, 93)(70, 94)(71, 95)(72, 92)(73, 97)(74,
99)(75, 98)(76, 104)(77, 101)(78, 102)(79, 103)(80, 100)(81, 105)(82, 107)(83,
106)(84, 112)(85, 109)(86, 110)(87, 111)(88, 108)(113, 120)(114, 118)(115,
119)(116, 117)(121, 169)(122, 171)(123, 170)(124, 176)(125, 173)(126, 174)(127,
175)(128, 172)(129, 177)(130, 179)(131, 178)(132, 184)(133, 181)(134, 182)(135,
183)(136, 180)(137, 193)(138, 195)(139, 194)(140, 200)(141, 197)(142, 198)(143,
199)(144, 196)(145, 185)(146, 187)(147, 186)(148, 192)(149, 189)(150, 190)(151,
191)(152, 188)(153, 201)(154, 203)(155, 202)(156, 208)(157, 205)(158, 206)(159,
207)(160, 204)(161, 209)(162, 211)(163, 210)(164, 216)(165, 213)(166, 214)(167,
215)(168, 212)(217, 232)(218, 230)(219, 231)(220, 229)(221, 228)(222, 226)(223,
227)(224, 225)(233, 321)(234, 323)(235, 322)(236, 328)(237, 325)(238, 326)(239,
327)(240, 324)(241, 313)(242, 315)(243, 314)(244, 320)(245, 317)(246, 318)(247,
319)(248, 316)(249, 312)(250, 310)(251, 311)(252, 309)(253, 308)(254, 306)(255,
307)(256, 305)(257, 297)(258, 299)(259, 298)(260, 304)(261, 301)(262, 302)(263,
303)(264, 300)(265, 337)(266, 339)(267, 338)(268, 344)(269, 341)(270, 342)(271,
343)(272, 340)(273, 329)(274, 331)(275, 330)(276, 336)(277, 333)(278, 334)(279,
335)(280, 332)(282, 283)(284, 288)(289, 345)(290, 347)(291, 346)(292, 352)(293,
349)(294, 350)(295, 351)(296, 348)(353, 368)(354, 366)(355, 367)(356, 365)(357,
364)(358, 362)(359, 363)(360, 361)(369, 441)(370, 443)(371, 442)(372, 448)(373,
445)(374, 446)(375, 447)(376, 444)(377, 384)(378, 382)(379, 383)(380, 381)(385,
433)(386, 435)(387, 434)(388, 440)(389, 437)(390, 438)(391, 439)(392, 436)(393,
432)(394, 430)(395, 431)(396, 429)(397, 428)(398, 426)(399, 427)(400, 425)(401,
457)(402, 459)(403, 458)(404, 464)(405, 461)(406, 462)(407, 463)(408, 460)(409,
416)(410, 414)(411, 415)(412, 413)(417, 449)(418, 451)(419, 450)(420, 456)(421,
453)(422, 454)(423, 455)(424, 452)(465, 469)(470, 471)(473, 502)(474, 504)(475,
500)(476, 498)(477, 503)(478, 501)(479, 497)(480, 499)(482, 483)(484, 488)(489,
506)(490, 509)(491, 505)(492, 511)(493, 507)(494, 508)(495, 512)(496, 510)
d: (1, 9)(2, 11)(3, 10)(4, 16)(5, 13)(6, 14)(7, 15)(8, 12)(17, 33)(18, 35)(19,
34)(20, 40)(21, 37)(22, 38)(23, 39)(24, 36)(25, 89)(26, 91)(27, 90)(28, 96)(29,
93)(30, 94)(31, 95)(32, 92)(41, 57)(42, 59)(43, 58)(44, 64)(45, 61)(46, 62)(47,
63)(48, 60)(49, 81)(50, 83)(51, 82)(52, 88)(53, 85)(54, 86)(55, 87)(56, 84)(65,
177)(66, 179)(67, 178)(68, 184)(69, 181)(70, 182)(71, 183)(72, 180)(73, 185)(74,
187)(75, 186)(76, 192)(77, 189)(78, 190)(79, 191)(80, 188)(97, 137)(98, 139)(99,
138)(100, 144)(101, 141)(102, 142)(103, 143)(104, 140)(105, 161)(106, 163)(107,
162)(108, 168)(109, 165)(110, 166)(111, 167)(112, 164)(113, 224)(114, 222)(115,
223)(116, 221)(117, 220)(118, 218)(119, 219)(120, 217)(121, 313)(122, 315)(123,
314)(124, 320)(125, 317)(126, 318)(127, 319)(128, 316)(129, 297)(130, 299)(131,
298)(132, 304)(133, 301)(134, 302)(135, 303)(136, 300)(145, 281)(146, 283)(147,
282)(148, 288)(149, 285)(150, 286)(151, 287)(152, 284)(153, 257)(154, 259)(155,
258)(156, 264)(157, 261)(158, 262)(159, 263)(160, 260)(169, 233)(170, 235)(171,
234)(172, 240)(173, 237)(174, 238)(175, 239)(176, 236)(193, 265)(194, 267)(195,
266)(196, 272)(197, 269)(198, 270)(199, 271)(200, 268)(201, 289)(202, 291)(203,
290)(204, 296)(205, 293)(206, 294)(207, 295)(208, 292)(209, 305)(210, 307)(211,
306)(212, 312)(213, 309)(214, 310)(215, 311)(216, 308)(225, 346)(226, 345)(227,
349)(228, 351)(229, 347)(230, 352)(231, 348)(232, 350)(241, 433)(242, 435)(243,
434)(244, 440)(245, 437)(246, 438)(247, 439)(248, 436)(249, 432)(250, 430)(251,
431)(252, 429)(253, 428)(254, 426)(255, 427)(256, 425)(273, 449)(274, 451)(275,
450)(276, 456)(277, 453)(278, 454)(279, 455)(280, 452)(321, 377)(322, 379)(323,
378)(324, 384)(325, 381)(326, 382)(327, 383)(328, 380)(329, 409)(330, 411)(331,
410)(332, 416)(333, 413)(334, 414)(335, 415)(336, 412)(337, 401)(338, 403)(339,
402)(340, 408)(341, 405)(342, 406)(343, 407)(344, 404)(353, 399)(354, 400)(355,
396)(356, 395)(357, 398)(358, 397)(359, 393)(360, 394)(361, 472)(362, 470)(363,
471)(364, 469)(365, 468)(366, 466)(367, 467)(368, 465)(369, 481)(370, 483)(371,
482)(372, 488)(373, 485)(374, 486)(375, 487)(376, 484)(385, 506)(386, 509)(387,
505)(388, 511)(389, 507)(390, 508)(391, 512)(392, 510)(417, 491)(418, 489)(419,
493)(420, 494)(421, 490)(422, 496)(423, 492)(424, 495)(441, 473)(442, 475)(443,
474)(444, 480)(445, 477)(446, 478)(447, 479)(448, 476)(457, 497)(458, 499)(459,
498)(460, 504)(461, 501)(462, 502)(463, 503)(464, 500)
e: (1, 4)(2, 7)(3, 6)(5, 8)(9, 137)(10, 138)(11, 139)(12, 144)(13, 141)(14,
143)(15, 142)(16, 140)(17, 405)(18, 403)(19, 402)(20, 404)(21, 401)(22, 406)(23,
407)(24, 408)(25, 243)(26, 245)(27, 241)(28, 246)(29, 242)(30, 244)(31, 248)(32,
247)(33, 432)(34, 430)(35, 431)(36, 429)(37, 428)(38, 426)(39, 427)(40, 425)(41,
494)(42, 492)(43, 496)(44, 490)(45, 495)(46, 489)(47, 493)(48, 491)(49, 397)(50,
394)(51, 395)(52, 396)(53, 393)(54, 399)(55, 398)(56, 400)(58, 59)(60, 64)(65,
349)(66, 346)(67, 347)(68, 348)(69, 345)(70, 351)(71, 350)(72, 352)(73, 504)(74,
502)(75, 503)(76, 501)(77, 500)(78, 498)(79, 499)(80, 497)(81, 149)(82, 147)(83,
146)(84, 148)(85, 145)(86, 150)(87, 151)(88, 152)(89, 289)(90, 291)(91, 290)(92,
296)(93, 293)(94, 294)(95, 295)(96, 292)(97, 475)(98, 473)(99, 477)(100,
478)(101, 474)(102, 480)(103, 476)(104, 479)(105, 447)(106, 448)(107, 444)(108,
443)(109, 446)(110, 445)(111, 441)(112, 442)(114, 115)(116, 120)(121, 450)(122,
453)(123, 449)(124, 455)(125, 451)(126, 452)(127, 456)(128, 454)(129, 234)(130,
233)(131, 237)(132, 239)(133, 235)(134, 240)(135, 236)(136, 238)(153, 277)(154,
275)(155, 274)(156, 276)(157, 273)(158, 278)(159, 279)(160, 280)(161, 212)(162,
215)(163, 214)(164, 209)(165, 216)(166, 211)(167, 210)(168, 213)(169, 418)(170,
421)(171, 417)(172, 423)(173, 419)(174, 420)(175, 424)(176, 422)(177, 332)(178,
334)(179, 335)(180, 329)(181, 336)(182, 330)(183, 331)(184, 333)(185, 305)(186,
306)(187, 307)(188, 312)(189, 309)(190, 311)(191, 310)(192, 308)(193, 355)(194,
353)(195, 357)(196, 358)(197, 354)(198, 360)(199, 356)(200, 359)(201, 327)(202,
328)(203, 324)(204, 323)(205, 326)(206, 325)(207, 321)(208, 322)(217, 313)(218,
315)(219, 314)(220, 320)(221, 317)(222, 318)(223, 319)(224, 316)(225, 507)(226,
505)(227, 509)(228, 510)(229, 506)(230, 512)(231, 508)(232, 511)(249, 370)(250,
369)(251, 373)(252, 375)(253, 371)(254, 376)(255, 372)(256, 374)(257, 300)(258,
303)(259, 302)(260, 297)(261, 304)(262, 299)(263, 298)(264, 301)(265, 340)(266,
343)(267, 342)(268, 337)(269, 344)(270, 339)(271, 338)(272, 341)(281, 284)(282,
287)(283, 286)(285, 288)(361, 463)(362, 460)(363, 464)(364, 459)(365, 462)(366,
457)(367, 461)(368, 458)(378, 379)(380, 384)(385, 436)(386, 439)(387, 438)(388,
433)(389, 440)(390, 435)(391, 434)(392, 437)(410, 411)(412, 416)(465, 472)(466,
470)(467, 471)(468, 469)(481, 484)(482, 487)(483, 486)(485, 488)
C4[ 512, 228 ]
512
-1 25 17 41 9
-2 221 364 26 19
-3 357 228 10 43
-4 243 137 405 494
-5 231 355 367 219
-6 496 510 138 195
-7 245 402 459 317
-8 508 193 314 461
-9 33 1 89 57
-10 398 3 58 351
-11 34 91 116 469
-12 265 123 390 501
-13 396 467 348 119
-14 99 266 422 392
-15 498 125 437 339
-16 341 420 434 97
-17 1 49 64 65
-18 66 465 51 117
-19 2 62 426 295
-20 387 269 456 73
-21 429 115 467 296
-22 454 436 74 339
-23 266 476 389 173
-24 170 478 337 438
-25 1 113 169 73
-26 452 2 476 114
-27 465 60 171 74
-28 429 440 67 269
-29 455 467 478 63
-30 266 292 51 439
-31 386 69 426 339
-32 385 49 337 294
-33 44 177 81 9
-34 11 254 46 207
-35 220 179 82 368
-36 235 246 401 446
-37 223 367 204 252
-38 187 278 248 402
-39 507 237 195 448
-40 276 185 197 505
-41 121 1 97 120
-42 99 122 61 469
-43 3 498 424 118
-44 33 265 433 350
-45 59 423 467 501
-46 352 34 391 339
-47 266 398 93 435
-48 341 396 90 388
-49 17 105 129 32
-50 353 107 130 229
-51 159 18 30 306
-52 145 336 491 141
-53 309 355 160 227
-54 146 334 316 459
-55 138 325 372 493
-56 374 322 457 318
-57 137 313 217 9
-58 495 459 218 10
-59 45 364 138 315
-60 355 27 511 405
-61 367 492 42 461
-62 402 512 19 230
-63 242 357 29 195
-64 232 17 193 241
-65 145 321 225 17
-66 332 226 18 372
-67 353 146 323 28
-68 309 320 141 131
-69 374 355 335 31
-70 319 156 138 107
-71 133 490 459 306
-72 158 489 105 457
-73 25 312 20 153
-74 22 111 134 27
-75 154 232 310 356
-76 495 144 326 371
-77 132 231 359 108
-78 331 496 150 142
-79 463 317 328 373
-80 148 315 460 329
-81 33 297 92 161
-82 35 211 94 263
-83 299 399 347 162
-84 486 497 126 379
-85 396 213 260 349
-86 498 128 414 283
-87 99 419 488 381
-88 101 412 281 417
-89 233 224 9 185
-90 187 234 48 368
-91 11 222 280 448
-92 506 81 401 206
-93 47 279 367 446
-94 82 247 195 208
-95 254 509 181 402
-96 178 244 197 252
-97 201 16 249 41
-98 365 203 217 250
-99 14 182 42 87
-100 242 408 192 273
-101 88 363 184 219
-102 198 190 510 274
-103 407 245 236 445
-104 442 512 238 196
-105 209 257 49 72
-106 211 290 258 427
-107 70 50 303 162
-108 77 281 413 449
-109 165 429 293 304
-110 410 476 172 282
-111 484 380 74 450
-112 486 479 174 383
-113 243 353 25 194
-114 354 26 510 401
-115 245 228 21 197
-116 11 458 219 494
-117 231 508 18 403
-118 496 366 457 43
-119 221 13 141 317
-120 368 314 139 41
-121 441 41 273 361
-122 188 236 42 362
-123 12 443 217 274
-124 242 199 184 251
-125 15 191 238 219
-126 200 245 203 84
-127 253 510 182 404
-128 201 512 86 406
-129 49 291 281 384
-130 484 409 289 50
-131 68 282 382 427
-132 77 165 176 259
-133 429 486 411 71
-134 211 300 74 175
-135 453 476 162 261
-136 209 451 302 479
-137 57 289 432 4
-138 55 59 70 6
-139 430 290 468 120
-140 475 391 272 174
-141 68 52 119 471
-142 451 78 270 392
-143 176 343 477 437
-144 435 449 76 340
-145 297 168 52 65
-146 67 215 262 54
-147 166 298 431 294
-148 452 80 378 483
-149 212 432 260 296
-150 286 78 454 414
-151 485 477 381 173
-152 474 171 284 416
-153 258 73 161 172
-154 210 304 75 174
-155 257 480 163 449
-156 410 487 70 425
-157 213 478 303 450
-158 72 283 426 383
-159 488 413 51 293
-160 290 380 53 285
-161 81 180 305 153
-162 135 83 182 107
-163 155 255 203 306
-164 374 238 447 327
-165 132 205 109 252
-166 331 147 448 240
-167 187 275 376 328
-168 145 189 333 273
-169 25 369 360 329
-170 232 331 24 370
-171 27 358 152 328
-172 110 462 495 153
-173 231 23 326 151
-174 154 112 140 317
-175 308 496 134 464
-176 132 143 311 315
-177 33 377 346 281
-178 399 378 96 283
-179 35 345 488 416
-180 418 497 161 262
-181 396 486 95 415
-182 99 264 127 162
-183 211 421 498 301
-184 298 101 124 213
-185 89 212 257 40
-186 214 259 350 395
-187 90 167 38 302
-188 122 288 409 504
-189 168 304 348 393
-190 286 102 410 422
-191 485 125 380 503
-192 100 424 382 482
-193 345 8 393 64
-194 113 347 468 394
-195 6 39 94 63
-196 386 104 272 417
-197 115 40 96 470
-198 418 342 102 436
-199 124 389 271 503
-200 126 500 340 439
-201 209 299 128 97
-202 297 210 499 417
-203 126 260 163 98
-204 37 347 381 285
-205 165 419 501 263
-206 398 92 379 282
-207 484 34 412 349
-208 487 400 94 414
-209 201 256 136 105
-210 154 254 202 307
-211 134 82 106 183
-212 277 149 185 329
-213 309 157 85 184
-214 324 372 186 274
-215 330 146 444 236
-216 375 446 326 239
-217 57 123 465 98
-218 497 58 422 466
-219 101 125 5 116
-220 35 390 348 338
-221 2 420 499 119
-222 91 400 337 392
-223 37 269 437 351
-224 89 267 399 434
-225 387 338 427 65
-226 66 265 425 436
-227 341 389 53 295
-228 3 115 456 480
-229 267 50 438 296
-230 454 466 479 62
-231 77 5 117 173
-232 170 469 64 75
-233 89 409 481 394
-234 397 90 380 284
-235 36 410 350 483
-236 122 103 215 304
-237 287 39 348 382
-238 125 104 259 164
-239 422 302 500 216
-240 166 257 424 502
-241 502 64 417 472
-242 100 124 63 471
-243 418 113 4 504
-244 386 343 96 395
-245 103 115 126 7
-246 36 344 389 347
-247 397 268 94 436
-248 345 38 270 439
-249 421 97 416 285
-250 418 484 377 98
-251 124 499 282 415
-252 165 37 301 96
-253 487 378 127 501
-254 34 210 95 262
-255 298 398 346 163
-256 209 264 345 400
-257 155 105 185 240
-258 444 106 273 153
-259 132 238 186 307
-260 203 149 85 328
-261 275 309 135 446
-262 254 146 180 327
-263 333 82 205 372
-264 331 375 256 182
-265 44 12 226 359
-266 23 14 47 30
-267 365 224 360 229
-268 408 464 247 318
-269 223 28 20 362
-270 489 248 142 406
-271 463 199 320 507
-272 509 491 140 196
-273 121 100 168 258
-274 123 102 300 214
-275 167 420 261 503
-276 411 40 482 351
-277 212 423 303 504
-278 286 352 38 383
-279 485 93 413 395
-280 288 91 393 384
-281 88 177 129 108
-282 110 206 251 131
-283 178 311 158 86
-284 332 234 443 152
-285 312 160 204 249
-286 190 278 334 150
-287 445 237 325 373
-288 188 323 280 370
-289 137 305 316 130
-290 160 106 139 318
-291 458 491 129 307
-292 375 354 334 30
-293 159 493 109 461
-294 322 147 357 32
-295 376 336 227 19
-296 149 325 229 21
-297 145 81 202 324
-298 255 147 326 184
-299 376 201 83 329
-300 134 447 305 274
-301 330 374 183 252
-302 187 136 239 306
-303 277 157 107 448
-304 154 189 236 109
-305 289 300 161 425
-306 71 302 51 163
-307 210 291 259 426
-308 487 478 382 175
-309 68 213 261 53
-310 451 488 75 384
-311 176 411 480 283
-312 409 453 73 285
-313 473 57 449 472
-314 451 474 8 120
-315 176 80 59 470
-316 342 289 391 54
-317 79 7 119 174
-318 56 268 290 437
-319 344 70 392 428
-320 68 431 435 271
-321 430 481 416 65
-322 56 414 294 482
-323 67 288 381 428
-324 297 473 452 214
-325 55 287 378 296
-326 298 216 173 76
-327 475 454 262 164
-328 79 167 171 260
-329 299 80 212 169
-330 301 477 456 215
-331 264 78 166 170
-332 66 377 432 284
-333 474 168 455 263
-334 286 379 292 54
-335 485 431 69 412
-336 52 415 295 483
-337 363 24 222 32
-338 220 356 225 361
-339 22 46 15 31
-340 144 200 490 505
-341 48 16 358 227
-342 198 462 506 316
-343 143 407 244 493
-344 319 246 404 460
-345 179 256 193 248
-346 177 255 403 505
-347 246 83 204 194
-348 220 13 189 237
-349 507 85 207 405
-350 44 364 235 186
-351 276 223 444 10
-352 46 278 366 447
-353 67 113 50 469
-354 114 466 292 425
-355 69 5 60 53
-356 440 455 338 75
-357 3 63 294 427
-358 341 171 479 439
-359 77 265 386 452
-360 385 267 169 480
-361 121 433 499 338
-362 122 497 269 391
-363 101 424 435 337
-364 2 399 59 350
-365 267 388 423 98
-366 352 400 466 118
-367 37 5 93 61
-368 35 90 465 120
-369 473 377 169 481
-370 288 475 170 412
-371 379 456 482 76
-372 55 66 214 263
-373 287 79 455 415
-374 56 69 301 164
-375 264 292 216 428
-376 430 167 299 295
-377 177 332 369 250
-378 253 178 148 325
-379 334 84 206 371
-380 111 234 191 160
-381 323 204 151 87
-382 308 192 237 131
-383 112 442 278 158
-384 441 310 280 129
-385 360 32 406 505
-386 244 359 31 196
-387 506 408 225 20
-388 463 365 48 490
-389 23 199 246 227
-390 220 12 464 493
-391 46 140 316 362
-392 319 222 14 142
-393 189 509 280 193
-394 506 233 444 194
-395 244 279 403 186
-396 13 48 181 85
-397 234 247 447 405
-398 255 47 206 10
-399 364 178 224 83
-400 222 256 366 208
-401 36 92 114 471
-402 38 7 62 95
-403 346 117 395 472
-404 344 127 438 504
-405 397 4 60 349
-406 385 270 128 502
-407 440 419 343 103
-408 100 387 421 268
-409 188 233 312 130
-410 110 156 190 235
-411 133 276 311 445
-412 88 335 370 207
-413 443 279 159 108
-414 322 150 86 208
-415 181 336 251 373
-416 321 179 249 152
-417 88 202 196 241
-418 198 243 180 250
-419 407 508 205 87
-420 275 221 442 16
-421 408 511 183 249
-422 14 190 239 218
-423 45 277 365 445
-424 363 192 240 43
-425 156 354 226 305
-426 158 19 31 307
-427 225 357 106 131
-428 319 375 323 461
-429 133 28 21 109
-430 321 376 489 139
-431 320 147 335 458
-432 332 137 149 490
-433 44 462 491 361
-434 224 16 489 460
-435 363 144 320 47
-436 22 198 247 226
-437 143 223 15 318
-438 507 24 404 229
-439 200 248 358 30
-440 407 509 356 28
-441 121 502 481 384
-442 420 104 383 483
-443 123 500 413 284
-444 258 215 394 351
-445 287 103 411 423
-446 36 93 216 261
-447 352 397 300 164
-448 166 91 39 303
-449 144 155 313 108
-450 111 463 157 494
-451 310 136 314 142
-452 26 148 324 359
-453 135 312 492 460
-454 22 150 327 230
-455 333 356 29 373
-456 330 228 371 20
-457 56 72 118 470
-458 431 291 116 472
-459 58 71 7 54
-460 453 80 344 434
-461 61 293 8 428
-462 473 342 433 172
-463 79 388 271 450
-464 474 268 390 175
-465 27 368 18 217
-466 354 366 218 230
-467 45 13 29 21
-468 511 139 194 492
-469 11 232 353 42
-470 457 512 315 197
-471 242 495 401 141
-472 313 403 458 241
-473 462 313 324 369
-474 464 333 314 152
-475 370 140 327 494
-476 110 23 135 26
-477 143 330 151 492
-478 308 24 157 29
-479 112 136 358 230
-480 155 311 228 360
-481 441 233 321 369
-482 276 322 192 371
-483 442 235 148 336
-484 111 250 130 207
-485 191 279 335 151
-486 133 112 181 84
-487 253 308 156 208
-488 310 179 159 87
-489 430 434 72 270
-490 388 432 71 340
-491 433 291 52 272
-492 453 477 61 468
-493 55 343 390 293
-494 475 4 116 450
-495 58 172 471 76
-496 78 6 118 175
-497 180 84 218 362
-498 15 183 86 43
-499 221 202 251 361
-500 200 508 443 239
-501 253 12 45 205
-502 441 240 241 406
-503 275 199 191 511
-504 188 243 277 404
-505 385 346 40 340
-506 342 387 92 394
-507 39 271 349 438
-508 419 500 117 8
-509 440 95 272 393
-510 102 114 6 127
-511 421 60 468 503
-512 104 62 128 470
0