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