computing the mystery functions from costs 11 and 0:
01bcda86 from 0119b6cd^0f0f0f0f
01bcda86 from 03d6d864^55555555
01bcda86 from 07b5d6a2^33333333
067ab314 from 016ad7cd^0f0f0f0f
067ab314 from 01ace492^33333333
067ab314 from 036d9de4^55555555
067abc17 from 016ad70d^33333333
067abc17 from 019abdc4^0f0f0f0f
067abc17 from 0368dbc1^55555555
067abc17 from 036d6ed8^55555555
067abc17 from 036de6db^55555555
06b5d398 from 016bc6f1^55555555
06b5d398 from 036bdbe4^55555555
06b5d398 from 0673dbe1^55555555
166eb583 from 036bd8c7^55555555
166eb583 from 036db61b^55555555
166eb583 from 037edbe1^55555555
1698ac5b from 036bcdb0^55555555
1698ac5b from 036dc7f2^55555555
1698ac5b from 036de418^55555555
1698ac5b from 036de49c^55555555
1698ac5b from 0678b5e2^33333333
169ae443 from 036bceb1^55555555
169ae443 from 0679bad2^33333333

computing the mystery functions from costs 10 and 1:
01bcda86 from 01169ae4^50505050
01bcda86 from 0119256b^00ffffff
01bcda86 from 01192594^00ffff00
01bcda86 from 01196ef1^30303030
01bcda86 from 01196ef1^50505050
01bcda86 from 0119b9c2^0f0f0000
01bcda86 from 0119e3c2^55005500
01bcda86 from 012fd568^44444444
01bcda86 from 012fda97^66666666
01bcda86 from 016fe61e^3333ffff
01bcda86 from 016fe61e^5555ffff
01bcda86 from 018fbcd3^00550055
01bcda86 from 019ebc0e^5555aaaa
01bcda86 from 01adbc5b^3333ffff
01bcda86 from 01adda68^3f3f3f3f
01bcda86 from 01bcda79^000000ff
01bcda86 from 01bcda79^11111111
01bcda86 from 01bce99d^00000f0f
01bcda86 from 037dda32^50505050
01bcda86 from 03d6d89b^5555ffff
067ab314 from 011866f1^3f3f3f3f
067ab314 from 011866f1^5f5f5f5f
067ab314 from 01188273^5a5a5a5a
067ab314 from 012d9f98^55005500
067ab314 from 012de776^55ff55ff
067ab314 from 013f5f86^77777777
067ab314 from 01696fba^22222222
067ab314 from 01879f32^55aa55aa
067ab314 from 019abdc1^0f000f00
067ab314 from 019aed3b^50505050
067ab314 from 0368c2be^5f5f5f5f
067ab314 from 0368c2be^77777777
067ab314 from 036dc1b8^5f5f5f5f
067abc17 from 0118b475^33cc33cc
067abc17 from 011f936a^77777777
067abc17 from 012d9f76^55005500
067abc17 from 013c6fd9^44444444
067abc17 from 013c9f46^77777777
067abc17 from 013cdb45^77777777
067abc17 from 013f9f4a^77777777
067abc17 from 01699b14^3f3f3f3f
067abc17 from 016abd1c^33ff33ff
067abc17 from 016abdcb^5f5f5f5f
067abc17 from 016ad789^50505050
067abc17 from 016fe234^0a0a0a0a
067abc17 from 01879fba^33cc33cc
067abc17 from 0199a74e^3f3f3f3f
067abc17 from 019ad7c1^0fff0fff
067abc17 from 01ace89b^3c3c3c3c
067abc17 from 01afeb92^3f3f3f3f
067abc17 from 035868be^66666666
067abc17 from 035be83e^66666666
067abc17 from 035e6cea^77777777
067abc17 from 036dc472^5555ffff
067abc17 from 036ec772^5555ffff
067abc17 from 066b9274^3333ffff
067abc17 from 0676982d^33ff33ff
067abc17 from 067a92c9^44444444
067abc17 from 067ab01d^77777777
067abc17 from 067ab116^55005500
06b5d398 from 011ea7cd^66666666
06b5d398 from 012c4a9f^66666666
06b5d398 from 012d6b32^55aa55aa
06b5d398 from 012dcab7^66666666
06b5d398 from 013c9bf1^50505050
06b5d398 from 013d5b06^77777777
06b5d398 from 013ded98^5f5f5f5f
06b5d398 from 016a6d3d^33ff33ff
06b5d398 from 016bccf1^5f5f5f5f
06b5d398 from 016bddc2^5f5f5f5f
06b5d398 from 016fb554^0c0c0c0c
06b5d398 from 01869a32^0ff00ff0
06b5d398 from 0199e778^3f3f3f3f
06b5d398 from 0199e778^5f5f5f5f
06b5d398 from 033dd4be^5f5f5f5f
06b5d398 from 033dd4be^77777777
06b5d398 from 035abd6e^77777777
06b5d398 from 035bc5be^66666666
06b5d398 from 0369d4ea^5f5f5f5f
06b5d398 from 0369d4ea^77777777
06b5d398 from 0369dbe6^77777777
06b5d398 from 067e97e1^30303030
06b5d398 from 067e97e1^50505050
06b5d398 from 067eb5d2^30303030
166eb583 from 011fb6da^77777777
166eb583 from 012c4fda^66666666
166eb583 from 013cbdda^5f5f5f5f
166eb583 from 0169adb2^3f3f3f3f
166eb583 from 016bd6c8^5f5f5f5f
166eb583 from 016ea8da^3c3c3c3c
166eb583 from 016eb557^3c3c3c3c
166eb583 from 019ad87f^3c3c3c3c
166eb583 from 019bade6^3f3f3f3f
166eb583 from 035ebe2c^77777777
166eb583 from 036de34e^55550000
166eb583 from 037ec726^5555ffff
166eb583 from 0661b8a7^33ff33ff
166eb583 from 0669b1c5^77777777
1698ac5b from 003d5e8f^66666666
1698ac5b from 012f5ac7^66666666
1698ac5b from 012f7ad7^66666666
1698ac5b from 013c8f4a^66666666
1698ac5b from 013cd60e^77777777
1698ac5b from 013cda1f^77777777
1698ac5b from 013ceb42^5f5f5f5f
1698ac5b from 013ceb42^77777777
1698ac5b from 013ced42^5f5f5f5f
1698ac5b from 013de942^5f5f5f5f
1698ac5b from 013de942^77777777
1698ac5b from 013dfc16^5f5f5f5f
1698ac5b from 013dfc16^77777777
1698ac5b from 0169bcc7^5f5f5f5f
1698ac5b from 016eb8cd^5a5a5a5a
1698ac5b from 0187bc4a^66666666
1698ac5b from 0198be4c^5a5a5a5a
1698ac5b from 019ae9a7^3f3f3f3f
1698ac5b from 019af527^3c3c3c3c
1698ac5b from 019ead78^3f3f3f3f
1698ac5b from 019eadf9^3f3f3f3f
1698ac5b from 019eeb79^5f5f5f5f
1698ac5b from 01ade6b8^3f3f3f3f
1698ac5b from 01ade798^3f3f3f3f
1698ac5b from 01adee98^3f3f3f3f
1698ac5b from 03587db2^66666666
1698ac5b from 035ae42f^77777777
1698ac5b from 035ae924^77777777
1698ac5b from 035e69b2^77777777
1698ac5b from 0369bec2^5f5f5f5f
1698ac5b from 0369bec2^77777777
1698ac5b from 036d6d58^5555ffff
1698ac5b from 036d6d58^55ff55ff
1698ac5b from 036d9e4a^55ff55ff
1698ac5b from 036df4c1^77777777
1698ac5b from 037cce26^50505050
1698ac5b from 037dca26^50505050
1698ac5b from 037dce24^50505050
1698ac5b from 037dd6c9^44444444
1698ac5b from 03d6d96e^50505050
1698ac5b from 0661788b^55ff55ff
1698ac5b from 0661788b^5f5f5f5f
1698ac5b from 06637889^33ff33ff
1698ac5b from 06637889^3f3f3f3f
1698ac5b from 0667f129^55ff55ff
1698ac5b from 06767992^33ff33ff
1698ac5b from 0678b2ad^3f3f3f3f
169ae443 from 003d5b8e^66666666
169ae443 from 013cdb0e^77777777
169ae443 from 019ae4ab^3c3c3c3c
169ae443 from 019aeba4^3f3f3f3f
169ae443 from 01ebfcc2^5f5f5f5f
169ae443 from 01ebfcc2^77777777
169ae443 from 035864d7^3f3f3f3f
169ae443 from 037cd9b1^50505050
169ae443 from 0679ba2d^33ff33ff

computing the mystery functions from costs 9 and 2:
01bcda86 from 00172f51^4b4b4b4b
01bcda86 from 00186ff0^31313131
01bcda86 from 00186ff0^51515151
01bcda86 from 01162998^3030c0c0
01bcda86 from 01162998^3300cc00
01bcda86 from 011963ed^3fc03fc0
01bcda86 from 011970a1^00ffcc33
01bcda86 from 011970a1^3fc03fc0
01bcda86 from 0119e69b^0f0f3f3f
01bcda86 from 011a73ce^6a6a6a6a
01bcda86 from 011a8cfd^60606060
01bcda86 from 011aaad8^3fff3fff
01bcda86 from 012dec56^5f5f0f0f
01bcda86 from 012f5de0^4444cccc
01bcda86 from 012f7f68^77bb77bb
01bcda86 from 012fcbc8^5f0f5f0f
01bcda86 from 013cbce8^5faf5faf
01bcda86 from 013cbce8^77bb77bb
01bcda86 from 016be9c8^5f0f5f0f
01bcda86 from 016e6e2c^5a5aaaaa
01bcda86 from 016e6e2c^5aaa5aaa
01bcda86 from 016eae46^3f3f0f0f
01bcda86 from 016eb951^5050f0f0
01bcda86 from 016ee6a4^3c0f3c0f
01bcda86 from 016ee6a4^5a5a0f0f
01bcda86 from 016ef009^77337733
01bcda86 from 016ef009^77557755
01bcda86 from 016fe6b4^5555ff55
01bcda86 from 017f9bc8^5f5f0f0f
01bcda86 from 018bda36/0fffffff
01bcda86 from 018bda36^0fffffff
01bcda86 from 019ab644^5050f0f0
01bcda86 from 01addac2^3300cc00
01bcda86 from 01adea58^3f3f0f0f
01bcda86 from 036cd62f^55775577
01bcda86 from 036dee16^5f5f0f0f
01bcda86 from 037ddbc0^5d5d5d5d
01bcda86 from 037ed43c^5d5d5d5d
01bcda86 from 037ed43c^75757575
01bcda86 from 03d8eca1^55555050
01bcda86 from 066999bd^3b3b3b3b
01bcda86 from 066999bd^54545454
01bcda86 from 06789bd9^55555500
067ab314 from 006bd60f^45454545
067ab314 from 006bd60f^4c4c4c4c
067ab314 from 01183cfe^77337733
067ab314 from 013c7e98^77775555
067ab314 from 013c9f89^55115511
067ab314 from 013ccf15^4c4c4c4c
067ab314 from 013fcc29^70707070
067ab314 from 016fa613^15151515
067ab314 from 0182bdd6^0ff00000
067ab314 from 0182bdd6^33cc0000
067ab314 from 0182bdd6^5a5affff
067ab314 from 0182bdd6^6666ffff
067ab314 from 0199bdc2^0f030f03
067ab314 from 01acf583^33332222
067abc17 from 001fb950^7b7b7b7b
067abc17 from 011b539e^3f3f0000
067abc17 from 011eb571^77007700
067abc17 from 011ee0b2^66006600
067abc17 from 011fa5f6^77bb77bb
067abc17 from 012d75eb^4c4c4c4c
067abc17 from 012de0e7^66336633
067abc17 from 013c8b15^5050a0a0
067abc17 from 013cac32^77770000
067abc17 from 013cbd58^5f5f5555
067abc17 from 013fcc16^7d7d7d7d
067abc17 from 0187b7c8^5faf5faf
067abc17 from 0187f7aa^1f1f1f1f
067abc17 from 0199bdc7^0f0c0f0c
067abc17 from 019bf08d^48484848
067abc17 from 019ff08a^7777bbbb
067abc17 from 033d68e8^44554455
067abc17 from 033d68e8^50555055
067abc17 from 0368d50f^31313131
067abc17 from 0368d50f^73737373
067abc17 from 036bd4c2^5f005f00
067abc17 from 036bd4c2^77007700
067abc17 from 036de924^50005000
067abc17 from 036eb5c3^04040404
067abc17 from 036eb5c3^20202020
067abc17 from 036edb9d^5a5af0f0
06b5d398 from 001eab4d^6a6a6a6a
06b5d398 from 001eb955^70707070
06b5d398 from 001fbad6^7b7b7b7b
06b5d398 from 01179898^3cff3cff
06b5d398 from 01179898^5aff5aff
06b5d398 from 0118669f^7b7b7b7b
06b5d398 from 0118669f^7d7d7d7d
06b5d398 from 011af3d3^77007700
06b5d398 from 011ea8c2^63636363
06b5d398 from 011eb2b2^77007700
06b5d398 from 011f2cca^63636363
06b5d398 from 011f2cca^66336633
06b5d398 from 011f866a^63636363
06b5d398 from 011f866a^66336633
06b5d398 from 012dc167^55aaffff
06b5d398 from 013cbd95^5fa05fa0
06b5d398 from 013cbd95^77887788
06b5d398 from 013d8ed3^77770000
06b5d398 from 013dc2e8^5aff5aff
06b5d398 from 013dc2e8^66ff66ff
06b5d398 from 013dcdb8^5f5ff5f5
06b5d398 from 013e6c5b^5500ffff
06b5d398 from 013ec6f1^55005555
06b5d398 from 0169adda^1f1f1f1f
06b5d398 from 01989bd7^3f003f00
06b5d398 from 019adb53^3f003f00
06b5d398 from 019babe4^3f3f3333
06b5d398 from 019bdd32^5faf5faf
06b5d398 from 01abeb68^3fcf3fcf
06b5d398 from 01abeb68^3ff33ff3
06b5d398 from 01aff5c9^4c4c4c4c
06b5d398 from 035ee24e^66660000
06b5d398 from 036cf89c^77775555
06b5d398 from 036f9fc4^51515151
166eb583 from 01183787^5fa05fa0
166eb583 from 011f8ae6^63636363
166eb583 from 012c7a70^66aa66aa
166eb583 from 012fc74a^66336633
166eb583 from 013c6dd7^7b7b7b7b
166eb583 from 016bcc21^5f5fafaf
166eb583 from 016e92e6^5a5a0000
166eb583 from 0199b97e^3fcf3fcf
166eb583 from 033ddad8^66ff66ff
166eb583 from 035abad5^37373737
166eb583 from 036cd079^7777bbbb
166eb583 from 066278a7^3fcf3fcf
1698ac5b from 00073ee5^66cc66cc
1698ac5b from 00073ee5^6c6c6c6c
1698ac5b from 0007a7d3^66aa66aa
1698ac5b from 00162ff1^6c6c6c6c
1698ac5b from 00166e67^3cf03cf0
1698ac5b from 00166e67^5af05af0
1698ac5b from 00196e68^3cff3cff
1698ac5b from 00196e68^5aff5aff
1698ac5b from 0019ad45^3cc33cc3
1698ac5b from 001e8ff9^6a6a6a6a
1698ac5b from 001e8ff9^6c6c6c6c
1698ac5b from 011687e0^66aa66aa
1698ac5b from 011687e0^66cc66cc
1698ac5b from 01196692^5af05af0
1698ac5b from 011973c0^5aa55aa5
1698ac5b from 011accf1^60606060
1698ac5b from 011e67e6^3fcf3fcf
1698ac5b from 011e67e6^5faf5faf
1698ac5b from 011e8ef9^66aa66aa
1698ac5b from 011e8ef9^66cc66cc
1698ac5b from 011eb5cb^73737373
1698ac5b from 011ebcd3^66ff66ff
1698ac5b from 011ff3c4^75757575
1698ac5b from 012f7582^48484848
1698ac5b from 012ff06d^6666cccc
1698ac5b from 013c896d^5f5f0000
1698ac5b from 013caf06^77773333
1698ac5b from 013cc960^77775555
1698ac5b from 013cd931^5a5af0f0
1698ac5b from 013cdc38^5f5f5555
1698ac5b from 013cec3d^5f5f5555
1698ac5b from 013d7ed5^4b4b4b4b
1698ac5b from 013d7ed5^63636363
1698ac5b from 013ffc18^75757575
1698ac5b from 0168bebc^5aaa5aaa
1698ac5b from 0168bebc^66aa66aa
1698ac5b from 016e917b^3c3cf0f0
1698ac5b from 016eb832^5a0f5a0f
1698ac5b from 018fb4b5^66336633
1698ac5b from 019aa9f5^37373737
1698ac5b from 019ad997^3f3f0f0f
1698ac5b from 01a9da58^3c003c00
1698ac5b from 01aae9d5^48484848
1698ac5b from 01aae9d5^60606060
1698ac5b from 01ace3d3^77007700
1698ac5b from 01affd1a^4c4c4c4c
1698ac5b from 01ebfcc0^5d5d5d5d
1698ac5b from 01ebfcc0^75757575
1698ac5b from 033dc7e0^5f5f5555
1698ac5b from 035a76bd^6f6f6f6f
1698ac5b from 035aadbd^44884488
1698ac5b from 035ad6e7^44bb44bb
1698ac5b from 03697c84^5f5f5555
1698ac5b from 036cd831^5f555f55
1698ac5b from 036df509^55554444
1698ac5b from 037c7d2b^5aff5aff
1698ac5b from 037c7d2b^66ff66ff
1698ac5b from 037cc7e3^55445544
1698ac5b from 037dc394^44441111
1698ac5b from 037dc394^50500505
1698ac5b from 067896a1^33333030
1698ac5b from 067ab5ad^33f333f3
1698ac5b from 06b9b961^3c3cffff
1698ac5b from 06b9b961^3cff3cff
169ae443 from 0007addb^66aa66aa
169ae443 from 0007addb^6a6a6a6a
169ae443 from 00168f71^6a6a6a6a
169ae443 from 00168f71^6c6c6c6c
169ae443 from 0016bcbd^5aaa5aaa
169ae443 from 0016bcbd^66aa66aa
169ae443 from 0019e6e8^3cff3cff
169ae443 from 0019e6e8^5aff5aff
169ae443 from 001fb524^66aa66aa
169ae443 from 003d3de8^5a005a00
169ae443 from 003d3de8^5a5a0000
169ae443 from 003d3de8^66006600
169ae443 from 003d3de8^66660000
169ae443 from 011bf3c2^5aff5aff
169ae443 from 011eb4da^73737373
169ae443 from 013fcfda^5d5d5d5d
169ae443 from 013fd8cd^4b4b4b4b
169ae443 from 013ffc16^5d5d5d5d
169ae443 from 013ffc16^75757575
169ae443 from 0199bd32^5faf5faf
169ae443 from 01aff516^4c4c4c4c
169ae443 from 033d98d8^55ff00ff
169ae443 from 033dc788^55055505
169ae443 from 03586bd8^66660000
169ae443 from 035bc2e4^55ff00ff
169ae443 from 036db656^1f1f1f1f
169ae443 from 036dd636^7777ffff

computing the mystery functions from costs 8 and 3:
01bcda86 from 00018ee6^6ac06ac0
01bcda86 from 00018ee6^6ca06ca0
01bcda86 from 00182766^4fbf4fbf
01bcda86 from 001b7ec3^7a7a7a7a
01bcda86 from 001ff98f^78783c3c
01bcda86 from 001ff98f^78785a5a
01bcda86 from 006f9f77^3e3e3e3e
01bcda86 from 006f9f77^5e5e5e5e
01bcda86 from 01186ee1^22ddffff
01bcda86 from 01186ee1^2d2dffff
01bcda86 from 01186ee1^44bbffff
01bcda86 from 01186ee1^4b4bffff
01bcda86 from 0119b9c8^0f0f000a
01bcda86 from 0119e6a4^33003000
01bcda86 from 011adacd^66003300
01bcda86 from 012dea50^7373b3b3
01bcda86 from 012ff7e0^77bbff33
01bcda86 from 013e806d^50550555
01bcda86 from 01829e74^66662222
01bcda86 from 018ff245^6666eeee
01bcda86 from 019abc41^3f0fcf0f
01bcda86 from 01adf85b^11003333
01bcda86 from 01adf85b^3333bbff
01bcda86 from 01afead2^33f3f333
01bcda86 from 01afead2^3ff333ff
01bcda86 from 03d8ec0b^5aff0fff
067ab314 from 001eab5d^70307030
067ab314 from 0116ebd7^0cae0cae
067ab314 from 0116ebd7^30ba30ba
067ab314 from 0116ebd7^5d0c5d0c
067ab314 from 0116ebd7^75307530
067ab314 from 013c5bbd^77777070
067ab314 from 013ec3eb^5d0c5d0c
067ab314 from 013ec3eb^75307530
067ab314 from 01697faa^0a0a0e0e
067ab314 from 01697faa^22223232
067ab314 from 019aed9b^505050f0
067ab314 from 033dc474^5f00af00
067ab314 from 0357ae84^6cff6cff
067abc17 from 00178989^6a006a00
067abc17 from 00178989^6c006c00
067abc17 from 001eae57^7a7a7a7a
067abc17 from 001f3df5^7bde7bde
067abc17 from 01187223^55aaf5fa
067abc17 from 01187223^5a5aff5a
067abc17 from 011963af^5a7b5a7b
067abc17 from 012f6ff9^75307530
067abc17 from 013cef36^77770707
067abc17 from 016ea476^70700000
067abc17 from 0189f09f^283c283c
067abc17 from 0189f09f^485a485a
067abc17 from 018bf3e6^28ff28ff
067abc17 from 0199f90e^7fbf7fbf
067abc17 from 0199f90e^7fdf7fdf
067abc17 from 019aed9b^5faf0f0f
067abc17 from 019ff089^2a0a2a0a
067abc17 from 019ff089^3333bbff
067abc17 from 019ff089^4c0c4c0c
067abc17 from 019ff089^5555ddff
067abc17 from 01affa83^4848c0c0
06b5d398 from 000634b8^6c336c33
06b5d398 from 001eae44^70700707
06b5d398 from 001f3ca5^6e6e6e6e
06b5d398 from 003c5a07^76767676
06b5d398 from 011ea1ab^66660066
06b5d398 from 011ff1a0^77bbff33
06b5d398 from 012da1cd^66550000
06b5d398 from 013d873d^6f6ff6f6
06b5d398 from 013d8e3d^66ff6666
06b5d398 from 0169af55^4c134c13
06b5d398 from 0198a4e8^3c3c3cff
06b5d398 from 0198a4e8^3f00003f
06b5d398 from 01beeb88^20d020d0
06b5d398 from 033fc1e8^5ddd5ddd
06b5d398 from 033fc1e8^75f575f5
06b5d398 from 0662f699^30301212
06b5d398 from 0662f699^5f5f7d7d
166eb583 from 001f9fb9^4b874b87
166eb583 from 01183778^5af055ff
166eb583 from 01183778^5fa05f5f
166eb583 from 012ff845^4ccc4ccc
166eb583 from 016ee632^4f0f4f0f
1698ac5b from 0007addf^66a666a6
1698ac5b from 0007addf^6a666a66
1698ac5b from 0007e160^39c639c6
1698ac5b from 0007e160^59a659a6
1698ac5b from 0016bdbd^59aa59aa
1698ac5b from 0016bdbd^65aa65aa
1698ac5b from 0019736b^5afff0ff
1698ac5b from 001f7709^63639393
1698ac5b from 001f7709^65659595
1698ac5b from 001fb531^56a956a9
1698ac5b from 001fb9fb^5a965a96
1698ac5b from 003d5bbf^63633636
1698ac5b from 01183666^78b478b4
1698ac5b from 01183666^7b847b84
1698ac5b from 01183666^7bde7bde
1698ac5b from 01183666^7dbe7dbe
1698ac5b from 011ac4aa^78780f0f
1698ac5b from 011b7aab^3cc333cc
1698ac5b from 011b7aab^3cc33c3c
1698ac5b from 012fdf22^6c6cc6c6
1698ac5b from 013ced12^5f5f5f0f
1698ac5b from 013cee3f^5f5f5757
1698ac5b from 013ffc14^5f5d5f5d
1698ac5b from 013ffc14^77757775
1698ac5b from 016e91f3^5a5af05a
1698ac5b from 0199e69b^3fcf3f3f
1698ac5b from 019afc0f^3c3c1414
1698ac5b from 01a9ccb7^5f0ff5f0
1698ac5b from 01a9db5a^7d827d82
1698ac5b from 01aff512^4c0c4c0c
1698ac5b from 01aff512^4c4c4444
1698ac5b from 033c5ee7^72727272
1698ac5b from 033c5ee7^77227722
1698ac5b from 0357ae26^3ff03ff0
1698ac5b from 035ee57a^44cc4444
1698ac5b from 036cf00d^77ffdd55
1698ac5b from 037cc70d^44446666
1698ac5b from 0669b458^5d5dd5d5
169ae443 from 000734bd^66cc99cc
169ae443 from 00076117^66aaaa66
169ae443 from 00076117^66cccc66
169ae443 from 00076117^6a6aa6a6
169ae443 from 00076117^6c6cc6c6
169ae443 from 0019b3bd^5aa555aa
169ae443 from 003d5b24^666666cc
169ae443 from 003d5bbd^66666655
169ae443 from 01196ff9^73507350
169ae443 from 01196ff9^75307530
169ae443 from 013fc9dc^4b4b5a5a
169ae443 from 01a9db9b^3ff03ff0
169ae443 from 06699bb9^23af23af
169ae443 from 06699bb9^2a3f2a3f

computing the mystery functions from costs 7 and 4:
01bcda86 from 000618ff^73837383
01bcda86 from 000618ff^75857585
01bcda86 from 00172f04^4b4b4b1e
01bcda86 from 0019eb64^3535f5f5
01bcda86 from 0019eb64^4a4a7a7a
01bcda86 from 011926ce^6a6aff6a
067ab314 from 001f99f8^34343030
067ab314 from 001f99f8^52525050
067ab314 from 003d7cc7^5d5d5d00
067ab314 from 035bb57a^557755f7
067abc17 from 00199f26^57ab0303
067abc17 from 001f99f8^34343e3e
067abc17 from 001f99f8^52525e5e
067abc17 from 013c9c03^33773075
067abc17 from 013d99bd^5fffaff0
067abc17 from 0198a5bd^3ff00cf0
06b5d398 from 000f36f7^4cee4cee
06b5d398 from 000f37ca^6c286c28
06b5d398 from 00169999^3dfe3dfe
06b5d398 from 00169999^5bfe5bfe
06b5d398 from 001ebe55^70707770
06b5d398 from 001eea00^43704370
06b5d398 from 001eea00^70704343
06b5d398 from 001faf1e^67670303
06b5d398 from 003c6901^45448a88
06b5d398 from 003c6901^5150a2a0
06b5d398 from 003dcff0^51510451
06b5d398 from 012dc1cd^55aaff55
06b5d398 from 013fccf0^5ddd5777
06b5d398 from 018b9bde^37053f0f
06b5d398 from 01989bfd^153f003f
06b5d398 from 01989bfd^3f003f2a
06b5d398 from 0198fa67^5a5a1200
06b5d398 from 019adfa9^3f0f3b0a
06b5d398 from 019adfa9^7350f3f0
06b5d398 from 01a9ccb8^3cc314eb
06b5d398 from 035796c6^50dc5073
06b5d398 from 0358adf3^32320032
06b5d398 from 0358adf3^37ff3737
06b5d398 from 035bad5e^60060066
06b5d398 from 035bad5e^66606606
06b5d398 from 036dd630^08080f08
06b5d398 from 036dd630^7f0f7f7f
166eb583 from 013c3cfe^5d57dd77
166eb583 from 013c3cfe^5ddd5777
166eb583 from 013c3cfe^7557f55f
166eb583 from 013c3cfe^75f5575f
1698ac5b from 001f6708^2d871e4b
1698ac5b from 001f6708^3c963c69
1698ac5b from 001f6708^4b871e2d
1698ac5b from 001f6708^5a965a69
1698ac5b from 001f7711^7272f2f2
1698ac5b from 001f7711^7474f4f4
1698ac5b from 001ff12f^72723636
1698ac5b from 012dcfc3^66ff66f6
1698ac5b from 013cc90c^66662020
1698ac5b from 013ec12e^6c660000
1698ac5b from 013ec9fa^5fff5ddd
1698ac5b from 016e999b^3c3c3f0c
1698ac5b from 016eae6e^3f370f05
1698ac5b from 016ebbd4^77707070
1698ac5b from 03dcf683^40445055
169ae443 from 0019bcbd^5aa55aaa
169ae443 from 001fbaf5^5adedede

computing the mystery functions from costs 6 and 5:
01bcda86 from 00018240^6ac00ff0
01bcda86 from 00018240^6ac033cc
01bcda86 from 00018240^6ac05a5a
01bcda86 from 00018240^6ac06666
01bcda86 from 006f7e00^3737c8c7
01bcda86 from 006f7e00^38c837c8
01bcda86 from 006f7e00^5757a8a7
01bcda86 from 006f7e00^58a857a8
01bcda86 from 07b0d00e^03093366
01bcda86 from 07b0d00e^05550966
01bcda86 from 07b0d00e^33663f9f
01bcda86 from 07b0d00e^555f669f
01bcda86 from 07b0d00e^60309933
01bcda86 from 07b0d00e^60995055
01bcda86 from 07b0d00e^6609aa0a
01bcda86 from 07b0d00e^66cc090c
067ab314 from 000639c0/7abadfef
067abc17 from 013cef3c^70d07777
067abc17 from 013cef3c^7777070d
067abc17 from 013dc3c7^5fff5fec
06b5d398 from 0003d7c0^1bbb1555
06b5d398 from 0003d7c0^27af1555
06b5d398 from 00077bb7^39aa3655
06b5d398 from 00077bb7^3a9a3565
06b5d398 from 0007a5a0^3ee33ff3
06b5d398 from 0007aadf^1cdd0ccc
06b5d398 from 000f37cf^6eee6444
06b5d398 from 000f63a0^3bee3bce
06b5d398 from 000f63a0^58485a48
06b5d398 from 001f3c3c^6e6e6ef7
06b5d398 from 001f3fa0^6737fefb
06b5d398 from 003c5a24^6e6e6eaa
06b5d398 from 003c5a24^76767655
06b5d398 from 003c5abd^6e6e6e33
06b5d398 from 003c5abd^767676cc
06b5d398 from 003c7e5a^4646cc46
06b5d398 from 003c7e5a^62623362
06b5d398 from 003dfdc0^4eee4555
06b5d398 from 003dfdc0^72fa5155
06b5d398 from 012cc210^07ff7788
06b5d398 from 012cc210^0fbfb4b4
06b5d398 from 012cc210^4b4bfbf0
06b5d398 from 012cc210^7788008f
06b5d398 from 01a9df9a^3f3c3b39
06b5d398 from 01a9df9a^7363f3c3
06b5d398 from 01eefa55^1a523ff3
06b5d398 from 01eefa55^263f46cf
06b5d398 from 0359a5a5^1f2f1f22
166eb583 from 000f37c2^7667f66f
166eb583 from 012dc2d2^649100f5
166eb583 from 013dc33c^5fdfa0b9
166eb583 from 013dc33c^77f788ad
166eb583 from 0198fa05^1c3c203c
1698ac5b from 0007e7e7^2de12df0
1698ac5b from 0007e7e7^4be14bf0
1698ac5b from 0019af46^64306c3c
1698ac5b from 001feb14^2d872103
1698ac5b from 001febf4^6ecc6e6e
1698ac5b from 003c5f2f^1a40bb44
1698ac5b from 01aedd72^77b070b0
1698ac5b from 01aeeeb1^3f3c3736
1698ac5b from 01affa54^5f4ccccc
1698ac5b from 01eefa55^1c341331
1698ac5b from 01eefa55^34071c0d
1698ac5b from 035b7a30^2a2fa2a3
1698ac5b from 035b7a30^2a3f00f3
1698ac5b from 035b7a30^3515f151
1698ac5b from 035b7a30^3f00f351
169ae443 from 000733b0^38c278d2
