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