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