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