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