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