s3 -> s17
s3 -> s22
2*s17 -> s18
s17 + s22 -> s7
s17 + s51 -> s78
s18 -> s521
s17 + s18 -> s20
s18 + s51 -> s85
s20 -> s520
s17 + s20 -> s24
s20 + s35 -> s381
s24 -> s517
s17 + s24 -> s23
s24 + s35 -> s383
s23 -> s518
s17 + s23 -> s32
s23 + s35 -> s385
s23 + s51 -> s496
s32 -> s519
s17 + s32 -> s31
s32 + s35 -> s387
s31 -> s522
s17 + s31 -> s30
s31 + s35 -> s389
s31 + s51 -> s499
s30 -> s523
s17 + s30 -> s29
s30 + s35 -> s391
s29 + s35 -> s393
s29 + s51 -> s501
s22 -> s200
2*s7 -> s6
s536 + s7 -> s482
s490 + s7 -> s489
s489 + s7 -> s492
s492 + s7 -> s493
s78 -> s51 + s52
s85 -> s51 + s53
s517 -> s109
s523 -> s113
s520 -> s108
s521 -> s107
s522 -> s112
s518 -> s110
s519 -> s111
s17 + s29 -> s33
s6 -> s527
s6 + s7 -> s5
s5 -> s531
s5 + s7 -> s2
s35 + s5 -> s473
s2 -> s530
s2 + s7 -> s1
s2 + s35 -> s474
s1 -> s529
s1 + s7 -> s21
s1 + s35 -> s475
s21 -> s528
s21 + s7 -> s25
s21 + s35 -> s476
s25 -> s526
s25 + s7 -> s26
s25 + s35 -> s477
s26 -> s525
s26 + s7 -> s27
s26 + s35 -> s478
s27 + s35 -> s479
s53 -> s211
s52 -> s213
s501 -> s29 + s51
s482 + s7 -> s483
s483 + s7 -> s484
s484 + s7 -> s491
s491 + s7 -> s490
s494 -> s20 + s51
s495 -> s24 + s51
s496 -> s23 + s51
s498 -> s32 + s51
s499 -> s31 + s51
s500 -> s30 + s51
s30 + s500 -> s51
s20 + s51 -> s494
s24 + s51 -> s495
s32 + s51 -> s498
s51 + s7 -> s536
s530 -> s447
s531 -> s446
s527 -> s445
s529 -> s448
s528 -> s524
s526 -> s524
s525 -> s451
s17 + s78 -> s85
s17 + s85 -> s494
s17 + s494 -> s495
s17 + s495 -> s496
s17 + s496 -> s498
s17 + s498 -> s499
s17 + s499 -> s500
s17 + s500 -> s501
s381 -> s35
s383 -> s35
s385 -> s35
s387 -> s35
s389 -> s35
s391 -> s35
s393 -> s35
s473 -> s35
s474 -> s35
s475 -> s35
s476 -> s35
s477 -> s35
s478 -> s35
s479 -> s35
s33 + s35 -> s502
s27 -> s26 + s7
s26 -> s25 + s7
s25 -> s21 + s7
s21 -> s1 + s7
s2 -> s5 + s7
s1 -> s2 + s7
s5 -> s6 + s7
s6 -> 2*s7
s29 -> s17 + s30
s30 -> s17 + s31
s31 -> s17 + s32
s32 -> s17 + s23
s23 -> s17 + s24
s24 -> s17 + s20
s20 -> s17 + s18
s18 -> 2*s17
s17 + s33 -> s33
s17 -> s533
s533 -> s107
s7 -> s535
s535 -> s445