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