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