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