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