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