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