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