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