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