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