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