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