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