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