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