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