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