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