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