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