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