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