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