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