{"version":3,"file":"4.8bd28e5b.js","sources":["../../../../../../src/lib/deciders-and-zoology.svelte","../../../../../../src/lib/highlighted_machine.svelte","../../../../../../src/lib/highlights_bb5.svelte","../../../../../../src/lib/highlights_bb6.svelte","../../../../../../src/lib/highlights_bb2x5.svelte","../../../../../../src/lib/highlights_bb3x3.svelte","../../../../../../src/lib/news.svelte","../../../../../../src/routes/(app)/MachineCanvas.svelte","../../../../../../src/routes/(app)/+page.svelte"],"sourcesContent":["<script lang=\"ts\">\n\timport { numberWithCommas } from '$lib/utils';\n\timport { createEventDispatcher } from 'svelte';\n\n\tconst dispatch = createEventDispatcher();\n\n\tconst deciders = [\n\t\t{ name: 'Cyclers', link: 'https://discuss.bbchallenge.org/t/decider-cyclers/' },\n\t\t{\n\t\t\tname: 'Translated Cyclers',\n\t\t\tlink: 'https://discuss.bbchallenge.org/t/decider-translated-cyclers/'\n\t\t},\n\t\t{\n\t\t\tname: 'Backward Reasoning',\n\t\t\tlink: 'https://discuss.bbchallenge.org/t/decider-backward-reasoning/'\n\t\t},\n\t\t{ name: 'Halting Segment', link: 'https://discuss.bbchallenge.org/t/decider-halting-segment' },\n\t\t{\n\t\t\tname: 'Finite Automata Reduction',\n\t\t\tlink: 'https://discuss.bbchallenge.org/t/decider-finite-automata-reduction/'\n\t\t},\n\t\t{\n\t\t\tname: 'Bouncers',\n\t\t\tlink: 'https://discuss.bbchallenge.org/t/decider-bouncers/126/25'\n\t\t},\n\t\t{\n\t\t\tname: 'Coq-BB5',\n\t\t\tlink: 'https://github.com/ccz181078/Coq-BB5'\n\t\t}\n\t];\n\n\tconst zoology = [\n\t\t{ name: 'Cyclers', decided: true, nb_decided: 11229238, examples: [279081, 4231819, 4239083] },\n\t\t{\n\t\t\tname: 'Translated cyclers',\n\t\t\tdecided: true,\n\t\t\tnb_decided: 73860604,\n\t\t\texamples: [59645887, 15167997, 59090563, 63687188]\n\t\t},\n\t\t{ name: 'Bouncers', decided: true, examples: [80747967, 88427177, 5228688, 5608043] },\n\t\t{ name: 'Exponential counters', decided: false, examples: [11004366, 10936909, 3840180] },\n\t\t{ name: 'Bells', decided: false, examples: [8527536, 73261028, 63938734] },\n\t\t{ decided: false, examples: [4446642, 7410754, 43374927] }\n\t];\n</script>\n\n<div id=\"deciders\">\n\t<div class=\"text-xl mb-1\">Deciders</div>\n\t<div class=\"ml-2 text-sm max-w-sm\">\n\t\t<a\n\t\t\thref=\"/method#deciders\"\n\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\ttarget=\"_blank\"\n\t\t>\n\t\t\tDeciders</a\n\t\t>\n\t\tare programs that automatically decide whether machines halt or not.<br />Here are the\n\t\t<a\n\t\t\thref=\"https://discuss.bbchallenge.org/t/currently-applied-deciders/\"\n\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\ttarget=\"_blank\">currently applied deciders</a\n\t\t>:\n\t\t<div class=\"ml-2\">\n\t\t\t<div class=\"flex flex-col space-y-2 mt-2\">\n\t\t\t\t{#each deciders as entry, i}\n\t\t\t\t\t<a href={entry['link']}>{i + 1}. <span class=\"underline\">{entry['name']}</span></a>\n\t\t\t\t{/each}\n\t\t\t</div>\n\t\t</div>\n\t</div>\n</div>\n\n<div id=\"zoology\">\n\t<div class=\"text-xl mb-1\">Zoology</div>\n\t<div class=\"ml-2 text-sm\">\n\t\tThis zoology is <a\n\t\t\thref=\"https://discuss.bbchallenge.org/t/current-zoology/23\"\n\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\ttarget=\"_blank\">collaborative</a\n\t\t>.\n\t</div>\n\t<div class=\"ml-2\">\n\t\t<div class=\"flex flex-col space-y-2 mt-2\">\n\t\t\t{#each zoology as entry, i}\n\t\t\t\t<div>\n\t\t\t\t\t{#if entry['name'] !== undefined}\n\t\t\t\t\t\t{i + 1}. {entry['name']}\n\t\t\t\t\t{:else}\n\t\t\t\t\t\t<div class=\"text-xs\">Not classified yet:</div>\n\t\t\t\t\t{/if}\n\n\t\t\t\t\t<div class=\"ml-8 text-xs\">\n\t\t\t\t\t\te.g:\n\t\t\t\t\t\t{#each entry['examples'] as m_id}\n\t\t\t\t\t\t\t<span\n\t\t\t\t\t\t\t\tclass=\"cursor-pointer underline\"\n\t\t\t\t\t\t\t\ton:click={() => {\n\t\t\t\t\t\t\t\t\tdispatch('machine_id', { machine_id: m_id });\n\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t#{numberWithCommas(m_id)}</span\n\t\t\t\t\t\t\t>&nbsp;\n\t\t\t\t\t\t{/each}\n\t\t\t\t\t</div>\n\t\t\t\t</div>\n\t\t\t{/each}\n\t\t</div>\n\t</div>\n</div>\n","<script lang=\"ts\">\n\timport { createEventDispatcher } from 'svelte';\n\timport { numberWithCommas } from '$lib/utils';\n\timport { TMDecisionStatus } from './tm';\n\n\texport let machine_code = null;\n\texport let machine_id = null;\n\texport let machine_status: TMDecisionStatus = TMDecisionStatus.UNDECIDED;\n\texport let ref_link = null;\n\texport let ref_authors = null;\n\texport let ref_year = null;\n\n\tconst dispatch = createEventDispatcher();\n</script>\n\n<div\n\tclass=\"cursor-pointer  leading-tight\"\n\ton:click={() => {\n\t\tif (machine_code !== null) {\n\t\t\tdispatch('machine_code', {\n\t\t\t\tmachine_code: machine_code,\n\t\t\t\tmachine_status: machine_status,\n\t\t\t\t\n\t\t\t});\n\t\t} else if (machine_id !== null) {\n\t\t\tdispatch('machine_id', {\n\t\t\t\tmachine_id: machine_id\n\t\t\t});\n\t\t}\n\t}}\n>\n\t<slot />\n\t{#if machine_id !== null}\n\t\t<span\n\t\t\tclass=\"cursor-pointer  underline\"\n\t\t\ton:click={() => {\n\t\t\t\tdispatch('machine_id', { machine_id: machine_id });\n\t\t\t}}\n\t\t>\n\t\t\t#{numberWithCommas(machine_id)}</span\n\t\t>\n\t{/if}\n\n\t{#if ref_link && ref_authors && ref_year}\n\t\t<span class=\"text-xs\">\n\t\t\t<a target=\"_blank\" href={ref_link}>[{ref_authors}, {ref_year}]</a>\n\t\t</span>\n\t{/if}\n</div>\n","<script lang=\"ts\">\n\timport { numberWithCommas } from '$lib/utils';\n\timport Katex from './Katex.svelte';\n\timport HighlightedMachine from './highlighted_machine.svelte';\n\timport {\n\t\tBB5_23M_steps_halter,\n\t\tBB5_2M_steps_halter,\n\t\tBB5_champion,\n\t\tBB6_Kropitz_champion_2022,\n\t\tBB7_Wythagoras_champion,\n\t\tSkelet_machines,\n\t\tMarxen_and_Buntrock_chaotic_id,\n\t\tMarxen_and_Buntrock_complex_counter_id,\n\t\tJustin_inverted_counter,\n\t\tJustin_helix,\n\t\tJustin_pointy_wide\n\t} from './machine_repertoire';\n\timport { TMDecisionStatus } from './tm';\n\n\t// Cannot inline { .. } because of svelte\n\tlet ApproxBB72 = '\\\\simeq 10\\\\uparrow\\\\uparrow 5';\n\tlet ApproxBB6 = '\\\\simeq 10\\\\uparrow\\\\uparrow 15';\n\n\timport { createEventDispatcher } from 'svelte';\n\n\tconst dispatch = createEventDispatcher();\n\n\tconst highlighted_undecided_machines = [7410754, 2977651, 9005190, 43374927, 14263231, 36909813];\n</script>\n\n<div class=\"ml-2\">\n\t<div class=\"text-sm ml-2\">Interesting machines:</div>\n\t<div class=\"w-full flex flex-col space-y-2 ml-8 mt-2\">\n\t\t<HighlightedMachine\n\t\t\tref_link=\"https://bbchallenge.org\"\n\t\t\tref_authors=\"bbchallenge\"\n\t\t\tref_year=\"2023\"\n\t\t>\n\t\t\t<span\n\t\t\t\tclass=\"cursor-pointer\"\n\t\t\t\ton:click={() => {\n\t\t\t\t\tdispatch('machine_id', { machine_id: Justin_inverted_counter });\n\t\t\t\t}}>&middot;&nbsp;\"<span class=\"underline\">inverted counter</span>\"</span\n\t\t\t>\n\t\t</HighlightedMachine>\n\t\t<HighlightedMachine\n\t\t\tref_link=\"https://bbchallenge.org\"\n\t\t\tref_authors=\"bbchallenge\"\n\t\t\tref_year=\"2023\"\n\t\t>\n\t\t\t<span\n\t\t\t\tclass=\"cursor-pointer\"\n\t\t\t\ton:click={() => {\n\t\t\t\t\tdispatch('machine_id', { machine_id: Justin_helix });\n\t\t\t\t}}>&middot;&nbsp;\"<span class=\"underline\">helix</span>\"</span\n\t\t\t>\n\t\t</HighlightedMachine>\n\t\t<HighlightedMachine\n\t\t\tref_link=\"https://bbchallenge.org\"\n\t\t\tref_authors=\"bbchallenge\"\n\t\t\tref_year=\"2023\"\n\t\t>\n\t\t\t<span\n\t\t\t\tclass=\"cursor-pointer\"\n\t\t\t\ton:click={() => {\n\t\t\t\t\tdispatch('machine_id', { machine_id: Justin_pointy_wide });\n\t\t\t\t}}>&middot;&nbsp;\"<span class=\"underline\">pointy wide</span>\"</span\n\t\t\t>\n\t\t</HighlightedMachine>\n\t\t<HighlightedMachine\n\t\t\tref_link=\"http://turbotm.de/~heiner/BB/mabu90.html\"\n\t\t\tref_authors=\"Marxen & Buntrock\"\n\t\t\tref_year=\"1990\"\n\t\t>\n\t\t\t<span\n\t\t\t\tclass=\"cursor-pointer\"\n\t\t\t\ton:click={() => {\n\t\t\t\t\tdispatch('machine_id', { machine_id: Marxen_and_Buntrock_chaotic_id });\n\t\t\t\t}}>&middot;&nbsp;\"<span class=\"underline\">chaotic</span>\"</span\n\t\t\t>\n\t\t</HighlightedMachine>\n\t\t<HighlightedMachine\n\t\t\ton:machine_id\n\t\t\tref_link=\"http://turbotm.de/~heiner/BB/mabu90.html\"\n\t\t\tref_authors=\"Marxen & Buntrock\"\n\t\t\tref_year=\"1990\"\n\t\t>\n\t\t\t<span\n\t\t\t\tclass=\"cursor-pointer\"\n\t\t\t\ton:click={() => {\n\t\t\t\t\tdispatch('machine_id', { machine_id: Marxen_and_Buntrock_complex_counter_id });\n\t\t\t\t}}>&middot;&nbsp;\"<span class=\"underline\">complex counter</span>\"</span\n\t\t\t></HighlightedMachine\n\t\t>\n\t\t{#each highlighted_undecided_machines as m_id}\n\t\t\t<HighlightedMachine on:machine_id machine_id={m_id}>&middot;&nbsp;Machine</HighlightedMachine>\n\t\t{/each}\n\t</div>\n</div>\n<div class=\"ml-2\">\n\t<div class=\"text-sm w-[400px] ml-2\">BB champions and other halting machines:</div>\n\t<div class=\"w-full flex flex-col space-y-2 ml-8 mt-2\">\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code={BB5_2M_steps_halter}\n\t\t\tmachine_status={TMDecisionStatus.DECIDED_HALT}\n\t\t\tref_link=\"http://bbchallenge.org\"\n\t\t\tref_authors=\"bbchallenge\"\n\t\t\tref_year=\"2021\">&middot;&nbsp;2,133,492-halter</HighlightedMachine\n\t\t>\n\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code={BB5_23M_steps_halter}\n\t\t\tmachine_status={TMDecisionStatus.DECIDED_HALT}\n\t\t\tref_link=\"http://bbchallenge.org\"\n\t\t\tref_authors=\"bbchallenge\"\n\t\t\tref_year=\"2021\">&middot;&nbsp;23,554,764-halter</HighlightedMachine\n\t\t>\n\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code={BB5_champion}\n\t\t\tmachine_status={TMDecisionStatus.DECIDED_HALT}\n\t\t\tref_link=\"http://turbotm.de/~heiner/BB/mabu90.html\"\n\t\t\tref_authors=\"Marxen & Buntrock\"\n\t\t\tref_year=\"1990\">&middot;&nbsp;BB(5): 47,176,870-halter</HighlightedMachine\n\t\t>\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code={BB6_Kropitz_champion_2022}\n\t\t\tmachine_status={TMDecisionStatus.DECIDED_HALT}\n\t\t\tref_link=\"https://www.sligocki.com/2022/06/21/bb-6-2-t15.html\"\n\t\t\tref_authors=\"Kropitz\"\n\t\t\tref_year=\"2022\">&middot;&nbsp;BB(6): <Katex math={ApproxBB6} />-halter</HighlightedMachine\n\t\t>\n\t\t<!-- <HighlightedMachine\n\t\t\t\ton:machine_code\n\t\t\t\tmachine_code={BB7_Wythagoras_champion}\n\t\t\t\tmachine_status={TMDecisionStatus.DECIDED_HALT}\n\t\t\t\tref_link=\"https://googology.fandom.com/wiki/User_blog:Wythagoras/A_good_bound_for_S(7)%3F\"\n\t\t\t\tref_authors=\"Wythagoras\"\n\t\t\t\tref_year=\"2014\">&middot;&nbsp;BB(7): <Katex math={ApproxBB72} />-halter</HighlightedMachine\n\t\t\t> -->\n\t</div>\n</div>\n<div class=\"ml-2\">\n\t<div class=\"text-sm w-[400px] ml-2 mt-1\">\n\t\tSome <a href=\"/story#skelets-43-undecided-machines\" rel=\"external\" class=\"underline\"\n\t\t\t>Skelet's machines</a\n\t\t>:\n\t</div>\n\t<div class=\"w-full flex flex-col space-y-2 ml-8 mt-2\">\n\t\t{#each [0, 16] as i}\n\t\t\t<HighlightedMachine\n\t\t\t\tmachine_status={TMDecisionStatus.DECIDED_NON_HALT}\n\t\t\t\ton:machine_code\n\t\t\t\tmachine_code={Skelet_machines[i].bbchallenge_code}\n\t\t\t>\n\t\t\t\t&middot;&nbsp;Skelet's machine {i + 1}\n\n\t\t\t\t<span\n\t\t\t\t\tclass=\"text-xs\"\n\t\t\t\t\ton:click={() => {\n\t\t\t\t\t\tdispatch('machine_id', {\n\t\t\t\t\t\t\tmachine_id: Skelet_machines[i].bbchallenge_id\n\t\t\t\t\t\t});\n\t\t\t\t\t}}\n\t\t\t\t>\n\t\t\t\t\t≈ Machine <span class=\"cursor-pointer underline\"\n\t\t\t\t\t\t>#{numberWithCommas(Skelet_machines[i].bbchallenge_id)}</span\n\t\t\t\t\t>\n\t\t\t\t</span></HighlightedMachine\n\t\t\t>\n\t\t{/each}\n\t</div>\n\n\t<div class=\"w-full flex flex-col space-y-2 ml-8 mt-2\">\n\t\t<a class=\"cursor-pointer leading-tight\" href=\"/skelet\" rel=\"external\">\n\t\t\t&middot;&nbsp;<span class=\"underline\">full list</span>\n\t\t</a>\n\t</div>\n</div>\n","<script lang=\"ts\">\n\timport { numberWithCommas } from '$lib/utils';\n\timport Katex from './Katex.svelte';\n\timport HighlightedMachine from './highlighted_machine.svelte';\n\timport { BB6_Kropitz_champion_2022 } from './machine_repertoire';\n\timport { TMDecisionStatus } from './tm';\n\n\t// Cannot inline { .. } because of svelte\n\tlet ApproxBB72 = '\\\\simeq 10\\\\uparrow\\\\uparrow 5';\n\tlet ApproxBB6 = '\\\\simeq 10\\\\uparrow\\\\uparrow 15';\n\n\timport { createEventDispatcher } from 'svelte';\n\n\tconst dispatch = createEventDispatcher();\n\n\tconst highlighted_undecided_machines = [7410754, 2977651, 9005190, 43374927, 14263231, 36909813];\n</script>\n\n<div class=\"ml-2\">\n\t<div class=\"text-sm w-[400px] ml-2\">BB(6) champion:</div>\n\t<div class=\"w-full flex flex-col space-y-2 ml-8 mt-2\">\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code={BB6_Kropitz_champion_2022}\n\t\t\tmachine_status={TMDecisionStatus.DECIDED_HALT}\n\t\t\tref_link=\"https://www.sligocki.com/2022/06/21/bb-6-2-t15.html\"\n\t\t\tref_authors=\"Kropitz\"\n\t\t\tref_year=\"2022\"><Katex math={ApproxBB6} />-halter</HighlightedMachine\n\t\t>\n\t</div>\n</div>\n\n<div class=\"ml-2\">\n\t<div class=\"text-sm w-[400px] ml-2\">\n\t\t6-state 2-symbol <a\n\t\t\thref=\"https://wiki.bbchallenge.org/wiki/Cryptids\"\n\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\">Cryptids</a\n\t\t>:\n\t</div>\n\t<div class=\"w-full flex flex-col space-y-2 ml-8 mt-2\">\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code=\"1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA\"\n\t\t\tref_link=\"https://www.sligocki.com/2022/06/21/bb-6-2-t15.html\"\n\t\t\tref_authors=\"mxdys, Racheline\"\n\t\t\tref_year=\"2024\">&middot;&nbsp;Antihydra</HighlightedMachine\n\t\t>\n\t</div>\n</div>\n","<script lang=\"ts\">\n\timport { numberWithCommas } from '$lib/utils';\n\timport Katex from './Katex.svelte';\n\timport HighlightedMachine from './highlighted_machine.svelte';\n\timport { BB6_Kropitz_champion_2022 } from './machine_repertoire';\n\timport { TMDecisionStatus } from './tm';\n\n\t// Cannot inline { .. } because of svelte\n\tlet ApproxBB2x5 = '\\\\simeq 10^{10^{10^{3314360}}}';\n\n\timport { createEventDispatcher } from 'svelte';\n\n\tconst dispatch = createEventDispatcher();\n\n\tconst highlighted_undecided_machines = [7410754, 2977651, 9005190, 43374927, 14263231, 36909813];\n</script>\n\n<div class=\"ml-2\">\n\t<div class=\"text-sm w-[400px] ml-2\">BB(2,5) champion:</div>\n\t<div class=\"w-full flex flex-col space-y-2 ml-8 mt-2\">\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code=\"1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ\"\n\t\t\tmachine_status={TMDecisionStatus.DECIDED_HALT}\n\t\t\tref_link=\"https://groups.google.com/g/busy-beaver-discuss/c/PGOBAz46K6I/m/af5sjd6MBAAJ\"\n\t\t\tref_authors=\"Daniel Yuan\"\n\t\t\tref_year=\"2024\"><Katex math={ApproxBB2x5} />-halter</HighlightedMachine\n\t\t>\n\t</div>\n</div>\n\n<div class=\"ml-2\">\n\t<div class=\"text-sm w-[400px] ml-2\">\n\t\t2-state 5-symbol <a\n\t\t\thref=\"https://wiki.bbchallenge.org/wiki/Cryptids\"\n\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\">Cryptids</a\n\t\t>:\n\t</div>\n\t<div class=\"w-full flex flex-col space-y-2 ml-8 mt-2\">\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code=\"1RB3RB---3LA1RA_2LA3RA4LB0LB0LA\"\n\t\t\tref_link=\"https://www.sligocki.com/2024/05/10/bb-2-5-is-hard.html\"\n\t\t\tref_authors=\"Daniel Yuan\"\n\t\t\tref_year=\"2024\">&middot;&nbsp;Hydra</HighlightedMachine\n\t\t>\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code=\"1RB3RB---3LA1RA_2LA3RA4LB0LB1LB\"\n\t\t\tref_link=\"https://www.sligocki.com/2024/05/10/bb-2-5-is-hard.html#a-bonus-cryptid\"\n\t\t\tref_authors=\"Daniel Yuan\"\n\t\t\tref_year=\"2024\">&middot;&nbsp;Bonus Cryptid</HighlightedMachine\n\t\t>\n\t</div>\n</div>\n","<script lang=\"ts\">\n\timport { numberWithCommas } from '$lib/utils';\n\timport Katex from './Katex.svelte';\n\timport HighlightedMachine from './highlighted_machine.svelte';\n\timport { BB6_Kropitz_champion_2022 } from './machine_repertoire';\n\timport { TMDecisionStatus } from './tm';\n\n\t// Cannot inline { .. } because of svelte\n\tlet ApproxBB3x3 = '\\\\simeq 119 \\\\times 10^{15}';\n\n\timport { createEventDispatcher } from 'svelte';\n\n\tconst dispatch = createEventDispatcher();\n\n\tconst highlighted_undecided_machines = [7410754, 2977651, 9005190, 43374927, 14263231, 36909813];\n</script>\n\n<div class=\"ml-2\">\n\t<div class=\"text-sm w-[400px] ml-2\">BB(3,3) champion:</div>\n\t<div class=\"w-full flex flex-col space-y-2 ml-8 mt-2\">\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code=\"1RB2LA1LC_0LA2RB1LB_1RZ1RA1RC\"\n\t\t\tmachine_status={TMDecisionStatus.DECIDED_HALT}\n\t\t\tref_link=\"https://bbchallenge.org/~pascal.michel/beh#tm33h\"\n\t\t\tref_authors=\"Terry and Shawn Ligocki\"\n\t\t\tref_year=\"2007\"><Katex math={ApproxBB3x3} />-halter</HighlightedMachine\n\t\t>\n\t</div>\n</div>\n\n<div class=\"ml-2\">\n\t<div class=\"text-sm w-[400px] ml-2\">\n\t\t3-state 3-symbol <a\n\t\t\thref=\"https://wiki.bbchallenge.org/wiki/Cryptids\"\n\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\">Cryptids</a\n\t\t>:\n\t</div>\n\t<div class=\"w-full flex flex-col space-y-2 ml-8 mt-2\">\n\t\t<HighlightedMachine\n\t\t\ton:machine_code\n\t\t\tmachine_code=\"1RB2RA1LC_2LC1RB2RB_---2LA1LA\"\n\t\t\tref_link=\"https://www.sligocki.com/2023/10/16/bb-3-3-is-hard.html\"\n\t\t\tref_authors=\"Shawn Ligocki\"\n\t\t\tref_year=\"2024\">&middot;&nbsp;Bigfoot</HighlightedMachine\n\t\t>\n\t</div>\n</div>\n","<div>\n\t<div class=\"text-xl mb-1\">News</div>\n\t<!-- <img src=\"/branding/bbchallenge_logo.svg\" alt=\"The Busy Beaver Challenge's logo\" class=\"h-20\" /> -->\n\t<div class=\"flex space-x-8 items-center\">\n\t\t<div class=\"-ml-4\">\n\t\t\t<img\n\t\t\t\tsrc=\"/branding/bbchallenge_logo.svg\"\n\t\t\t\talt=\"The Busy Beaver Challenge's logo\"\n\t\t\t\tclass=\"h-44\"\n\t\t\t/>\n\t\t</div>\n\t\t<ul class=\"flex flex-col space-y-2 mt-2 list-disc\">\n\t\t\t<li>\n\t\t\t\t<a\n\t\t\t\t\thref=\"https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237\"\n\t\t\t\t>\n\t\t\t\t\t<span class=\"underline\">July 2nd 2024</span>\n\t\t\t\t</a>\n\t\t\t</li>\n\t\t\t<li>\n\t\t\t\t<a\n\t\t\t\t\thref=\"https://discuss.bbchallenge.org/t/may-2nd-2024-releasing-bouncers-only-2-833-machines-to-go/231\"\n\t\t\t\t\t><span class=\"underline\">May 2nd 2024</span></a\n\t\t\t\t>\n\t\t\t</li>\n\t\t\t<li>\n\t\t\t\t<a\n\t\t\t\t\thref=\"https://discuss.bbchallenge.org/t/april-9th-2023-503-169-new-machines-have-been-decided-only-32-632-left-to-go/\"\n\t\t\t\t\t><span class=\"underline\">April 9th 2023</span></a\n\t\t\t\t>\n\t\t\t</li>\n\t\t\t<!-- <li>\n\t\t\t\t<a\n\t\t\t\t\thref=\"https://discuss.bbchallenge.org/t/december-25th-2022-1-002-823-new-machines-have-been-decided/\"\n\t\t\t\t\t><span class=\"underline\">December 25th 2022</span></a\n\t\t\t\t>\n\t\t\t</li> -->\n\t\t</ul>\n\t</div>\n</div>\n","<script>\n\timport { tm_trace_to_image, tm_explore } from '$lib/tm';\n\n\texport let exploreMode;\n\texport let machine;\n\texport let initial_tape;\n\texport let tapeWidth;\n\texport let nbIter;\n\texport let origin_x;\n\texport let showHeadMove;\n\n\texport let machineName;\n\n\tlet canvas;\n\n\tconst drawRect = (context) => {\n\t\tcontext.fillStyle = 'black';\n\t\tcontext.fillRect(0, 0, canvas.width, canvas.height);\n\t\tcontext.fill();\n\t};\n\n\tlet drawCleanup;\n\tfunction draw() {\n\t\tif (drawCleanup) drawCleanup();\n\n\t\t// Update the width of the canvas inside of `draw`, because otherwise\n\t\t// it gets updated _afterward_ by the Svelte update loop, which will\n\t\t// blank out the canvas entirely.\n\t\tcanvas.width = exploreMode ? 800 : 400;\n\n\t\tif (!machine) {\n\t\t\treturn;\n\t\t}\n\n\t\tconst context = canvas.getContext('2d');\n\t\tdrawRect(context);\n\t\tif (exploreMode) {\n\t\t\tdrawCleanup = tm_explore(context, machine, initial_tape, nbIter);\n\t\t} else {\n\t\t\ttm_trace_to_image(\n\t\t\t\tcontext,\n\t\t\t\tmachine,\n\t\t\t\tinitial_tape,\n\t\t\t\ttapeWidth,\n\t\t\t\tnbIter,\n\t\t\t\torigin_x,\n\t\t\t\ttrue,\n\t\t\t\tshowHeadMove\n\t\t\t);\n\t\t}\n\t}\n\n\t$: {\n\t\t// Dependencies:\n\t\texploreMode;\n\t\tmachine;\n\t\tinitial_tape;\n\t\ttapeWidth;\n\t\tnbIter;\n\t\torigin_x;\n\t\tshowHeadMove;\n\n\t\tif (canvas) {\n\t\t\tdraw();\n\t\t}\n\t}\n</script>\n\n<div class=\"relative mr-5\">\n\t<canvas class=\"bg-slate-800 image-render-pixel\" bind:this={canvas} width=\"400\" height=\"500\" />\n</div>\n","<script lang=\"ts\">\n\timport { onMount } from 'svelte';\n\timport { goto } from '$app/navigation';\n\timport TmTable from '$lib/tm_table.svelte';\n\timport { API } from '$lib/api_server';\n\timport { addToHistory, getHistory, numberWithCommas } from '$lib/utils';\n\timport {\n\t\tTMDecisionStatus,\n\t\ttm_trace_to_image,\n\t\ttm_explore,\n\t\ttmToMachineCode,\n\t\tmachineCodeToTM,\n\t\tDB_SIZE,\n\t\tAPIDecisionStatusToTMDecisionStatus\n\t} from '$lib/tm';\n\timport { BB5_23M_steps_halter, BB5_champion, Skelet_machines } from '$lib/machine_repertoire';\n\n\timport DecidersAndZoology from '$lib/deciders-and-zoology.svelte';\n\timport Highlights_BB5 from '$lib/highlights_bb5.svelte';\n\timport Highlights_BB6 from '$lib/highlights_bb6.svelte';\n\timport Highlights_BB2x5 from '$lib/highlights_bb2x5.svelte';\n\timport Highlights_BB3x3 from '$lib/highlights_bb3x3.svelte';\n\timport News from '$lib/news.svelte';\n\timport SeoTitle from '$lib/seo_title.svelte';\n\timport MachineCanvas from './MachineCanvas.svelte';\n\n\tenum Challenge {\n\t\tBB5 = 'BB(5)',\n\t\tBB6 = 'BB(6)',\n\t\tBB2x5 = 'BB(2,5)',\n\t\tBB3x3 = 'BB(3,3)'\n\t}\n\n\tfunction challenge_to_state_string(challenge: Challenge) {\n\t\tif (challenge == Challenge.BB5) {\n\t\t\treturn '5-state 2-symbol';\n\t\t} else if (challenge == Challenge.BB6) {\n\t\t\treturn '6-state 2-symbol';\n\t\t} else if (challenge == Challenge.BB2x5) {\n\t\t\treturn '2-state 5-symbol';\n\t\t} else if (challenge == Challenge.BB3x3) {\n\t\t\treturn '3-state 3-symbol';\n\t\t}\n\t}\n\n\tfunction challenge_to_interesting_machine_file(challenge: Challenge) {\n\t\tif (challenge == Challenge.BB6) {\n\t\t\treturn 'BB6_holdouts_10020.txt';\n\t\t} else if (challenge == Challenge.BB2x5) {\n\t\t\treturn '2x5_holdouts_217.txt';\n\t\t} else if (challenge == Challenge.BB3x3) {\n\t\t\treturn '3x3.todo.txt';\n\t\t}\n\t}\n\n\tlet machine = null;\n\texport let machineID = null;\n\texport let machineCode = null;\n\texport let preSeed = false;\n\texport let machineStatus = null;\n\n\tlet machineDecider = null;\n\tlet history = getHistory();\n\tlet showHistory = false;\n\tlet showSimulationParams = false;\n\n\tlet curr_challenge = Challenge.BB5;\n\n\t//machine = b64URLSafetoTM('mAQACAAAAAQEDAAAEAQAFAQEEAQACAAAFAQECAQED');\n\t//console.log(machine);\n\n\tlet exploreMode = false;\n\tlet showHeadMove = true;\n\n\tconst nbIterDefault = 10000;\n\tconst tapeWidthDefault = 400;\n\tconst origin_xDefault = 0.5;\n\texport let nbIter = nbIterDefault;\n\texport let tapeWidth = tapeWidthDefault;\n\texport let origin_x = origin_xDefault;\n\n\tlet initial_tape = '0';\n\t// Default the params if called with null\n\tif (nbIter == null) {\n\t\tnbIter = nbIterDefault;\n\t}\n\tif (tapeWidth == null) {\n\t\ttapeWidth = tapeWidthDefault;\n\t}\n\tif (origin_x == null) {\n\t\torigin_x = origin_xDefault;\n\t}\n\n\tfunction getSimulationLink(forCopy = false) {\n\t\tlet prefix = 'https://bbchalenge.org/';\n\t\tif (!forCopy) {\n\t\t\tprefix = '/';\n\t\t}\n\t\tlet secondPrefix = tmToMachineCode(machine);\n\t\tif (machineID != null) {\n\t\t\tsecondPrefix = machineID;\n\t\t} else if (machineCode != null) {\n\t\t\tsecondPrefix = machineCode;\n\t\t}\n\n\t\tlet last_add = '';\n\t\t// if (machineStatus !== null && machineID === null) {\n\t\t// \tlast_add = `&status=${machineStatus}`;\n\t\t// }\n\n\t\tlet simulationParametersLink = '';\n\t\tif (nbIter !== nbIterDefault) {\n\t\t\tsimulationParametersLink += `&s=${nbIter}`;\n\t\t}\n\t\tif (tapeWidth !== tapeWidthDefault) {\n\t\t\tsimulationParametersLink += `&w=${tapeWidth}`;\n\t\t}\n\t\tif (origin_x !== origin_xDefault) {\n\t\t\tsimulationParametersLink += `&ox=${origin_x}`;\n\t\t}\n\n\t\treturn prefix + secondPrefix + simulationParametersLink + last_add;\n\t}\n\n\tlet showRandomOptions = false;\n\n\tlet randomType = 'all_undecided';\n\n\tasync function getRandomMachine() {\n\t\tif (curr_challenge == Challenge.BB5) {\n\t\t\ttry {\n\t\t\t\tconst response = await API.get(`/machine/random?type=${randomType}`, '');\n\n\t\t\t\tmachine = machineCodeToTM(response.data['machine_code']);\n\t\t\t\tmachineCode = response.data['machine_code'];\n\t\t\t\tmachineID = response.data['machine_id'];\n\t\t\t\tmachineDecider = null;\n\t\t\t\twindow.history.pushState({}, '', getSimulationLink());\n\t\t\t\tif (response.data['status'] !== undefined) {\n\t\t\t\t\tmachineStatus = APIDecisionStatusToTMDecisionStatus(response.data['status']);\n\t\t\t\t\tif (\n\t\t\t\t\t\tmachineStatus == TMDecisionStatus.DECIDED_HALT ||\n\t\t\t\t\t\tmachineStatus == TMDecisionStatus.DECIDED_NON_HALT\n\t\t\t\t\t) {\n\t\t\t\t\t\tmachineDecider = (await API.get(`/machine/${machineID}/decider`, '')).data[\n\t\t\t\t\t\t\t'decider_file'\n\t\t\t\t\t\t];\n\t\t\t\t\t\tconsole.log('Decider:', machineDecider);\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t} catch (error) {\n\t\t\t\tconsole.log(error);\n\t\t\t}\n\t\t} else {\n\t\t\tconst response = await fetch(challenge_to_interesting_machine_file(curr_challenge));\n\t\t\tconst text = (await response.text()).split('\\n');\n\t\t\tconst random_machine_list_id = Math.floor(Math.random() * text.length);\n\t\t\tlet machine_code = text[random_machine_list_id].trim();\n\t\t\tmachineStatus = null;\n\t\t\t// In case empty line\n\t\t\twhile (machine_code === '') {\n\t\t\t\tconst random_machine_list_id = Math.floor(Math.random() * text.length);\n\t\t\t\tmachine_code = text[random_machine_list_id].trim();\n\t\t\t}\n\n\t\t\tmachineID = null;\n\t\t\tmachine = machineCodeToTM(machine_code);\n\t\t\tmachineCode = machine_code;\n\t\t\twindow.history.pushState({}, '', getSimulationLink());\n\t\t}\n\t}\n\n\tlet typedMachineID = null;\n\tlet typedMachineError = null;\n\tasync function loadMachineFromID(localMachineID) {\n\t\tif (localMachineID == null || localMachineID < 0 || localMachineID >= DB_SIZE) {\n\t\t\ttypedMachineError = 'Machine ID must be a number between 0 and 88664063.';\n\t\t\treturn;\n\t\t}\n\n\t\ttypedMachineError = null;\n\t\ttry {\n\t\t\tconst response = await API.get(`/machine/${localMachineID}`, {});\n\n\t\t\tmachine = machineCodeToTM(response.data['machine_code']);\n\t\t\tlocalMachineID = response.data['machine_id'];\n\t\t\tmachineID = localMachineID;\n\t\t\tmachineDecider = null;\n\n\t\t\tif (response.data['status'] !== undefined) {\n\t\t\t\tmachineStatus = APIDecisionStatusToTMDecisionStatus(response.data['status']);\n\t\t\t\tif (\n\t\t\t\t\tmachineStatus == TMDecisionStatus.DECIDED_HALT ||\n\t\t\t\t\tmachineStatus == TMDecisionStatus.DECIDED_NON_HALT\n\t\t\t\t) {\n\t\t\t\t\tmachineDecider = (await API.get(`/machine/${machineID}/decider`, '')).data[\n\t\t\t\t\t\t'decider_file'\n\t\t\t\t\t];\n\t\t\t\t\tconsole.log('Decider:', machineDecider);\n\t\t\t\t}\n\t\t\t}\n\n\t\t\twindow.history.pushState({}, '', getSimulationLink());\n\n\t\t\tconsole.log(machine, machineID);\n\t\t} catch (error) {\n\t\t\ttypedMachineError = error;\n\t\t\tconsole.log(error);\n\t\t}\n\t}\n\n\tlet typedMachineCode = null;\n\tlet machineCodeError = null;\n\tfunction loadMachineFromMachineCode(machine_code, status = null) {\n\t\tmachine = null;\n\t\tmachineID = null;\n\t\tmachineStatus = status;\n\t\tmachineDecider = null;\n\t\tmachine_code = machine_code.trim().toUpperCase();\n\t\ttry {\n\t\t\tmachineCodeError = null;\n\t\t\tmachineCode = machine_code;\n\t\t\tmachine = machineCodeToTM(machine_code);\n\t\t\twindow.history.pushState({}, '', getSimulationLink());\n\t\t} catch (error) {\n\t\t\tmachineCodeError = error;\n\t\t}\n\t}\n\n\tlet metrics = null;\n\n\tlet apiDown = false;\n\tonMount(async () => {\n\t\ttry {\n\t\t\tlet response = await API.get(`/metrics`, {});\n\t\t\tmetrics = response.data;\n\t\t} catch (error) {\n\t\t\tapiDown = true;\n\t\t}\n\t\tif (!preSeed) {\n\t\t\ttry {\n\t\t\t\tconsole.log('HERRRE');\n\t\t\t\tawait getRandomMachine();\n\t\t\t} catch (error) {\n\t\t\t\tapiDown = true;\n\t\t\t}\n\t\t} else if (machineID != null) {\n\t\t\ttry {\n\t\t\t\tawait loadMachineFromID(machineID);\n\t\t\t} catch (error) {\n\t\t\t\tapiDown = true;\n\t\t\t}\n\t\t} else if (machineCode != null) {\n\t\t\tawait loadMachineFromMachineCode(machineCode, machineStatus);\n\t\t}\n\n\t\tif (apiDown && machineCode == null) {\n\t\t\tawait loadMachineFromMachineCode(BB5_champion, TMDecisionStatus.UNDECIDED);\n\t\t\torigin_x = 0.65;\n\t\t}\n\n\t\tif (machine !== null) {\n\t\t\tif (machine.states == 5 && machine.symbols == 2) {\n\t\t\t\tcurr_challenge = Challenge.BB5;\n\t\t\t} else if (machine.states == 6 && machine.symbols == 2) {\n\t\t\t\tcurr_challenge = Challenge.BB6;\n\t\t\t} else if (machine.states == 2 && machine.symbols == 5) {\n\t\t\t\tcurr_challenge = Challenge.BB2x5;\n\t\t\t} else if (machine.states == 3 && machine.symbols == 3) {\n\t\t\t\tcurr_challenge = Challenge.BB3x3;\n\t\t\t}\n\t\t}\n\t});\n\n\tfunction defaultSimulationParameters() {\n\t\torigin_x = origin_xDefault;\n\t\tnbIter = nbIterDefault;\n\t\ttapeWidth = tapeWidthDefault;\n\t}\n\n\tasync function keydown(e) {\n\t\tswitch (e.keyCode) {\n\t\t\tcase 82:\n\t\t\t\tawait getRandomMachine();\n\t\t\t\tbreak;\n\t\t}\n\t}\n\n\tlet serverDown = false;\n</script>\n\n{#key machineID || machineCode}\n\t<SeoTitle value={machineID || machineCode} />\n{/key}\n\n<svelte:window on:keydown={keydown} />\n\n<div>\n\t{#if serverDown}\n\t\t<div class=\"text-xs mb-1 mt-2 md:ml-3 ml-0\">\n\t\t\t<div class=\"flex flex-col\">\n\t\t\t\t<div class=\"text-red-500\">\n\t\t\t\t\tOur API, forum and wiki are momentarily down, please try again later, sorry!\n\t\t\t\t</div>\n\t\t\t</div>\n\t\t</div>\n\t{/if}\n\t{#if apiDown}\n\t\t<div class=\"text-xs mb-1 mt-2 md:ml-3 ml-0\">\n\t\t\t<div class=\"flex flex-col\">\n\t\t\t\t<div class=\"text-red-500\">Our API is momentarily down, please try again later, sorry!</div>\n\t\t\t</div>\n\t\t</div>\n\t{/if}\n\n\t<div class=\"text-sm mb-1 mt-2 md:ml-3 ml-0\">\n\t\t<div class=\"flex flex-col space-y-1 mb-3\">\n\t\t\t<span class=\"underline\">Choose challenge</span>\n\t\t\t<div>\n\t\t\t\t<select\n\t\t\t\t\tclass=\"text-black\"\n\t\t\t\t\tbind:value={curr_challenge}\n\t\t\t\t\ton:change={async () => {\n\t\t\t\t\t\tawait getRandomMachine();\n\t\t\t\t\t}}\n\t\t\t\t>\n\t\t\t\t\t{#each Object.values(Challenge) as challenge}\n\t\t\t\t\t\t<option value={challenge}>{challenge}</option>\n\t\t\t\t\t{/each}\n\t\t\t\t</select>\n\t\t\t</div>\n\t\t</div>\n\t\t<div class=\"flex flex-col space-y-1 min-h-[65px]\">\n\t\t\t<span class=\"underline\">Challenge goal</span>\n\t\t\t<div class=\"flex flex-col items-start\">\n\t\t\t\t<div>\n\t\t\t\t\t{#if curr_challenge == Challenge.BB5}\n\t\t\t\t\t\tThere remain <strong>0</strong> machine with 5 states to decide!! 🥳\n\t\t\t\t\t\t<br /><br />\n\t\t\t\t\t\tWe have achieved\n\t\t\t\t\t\t<a\n\t\t\t\t\t\t\thref=\"https://bbchallenge.org/story#goal\"\n\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t\trel=\"external\">our goal</a\n\t\t\t\t\t\t>\n\t\t\t\t\t\tof proving \"<a\n\t\t\t\t\t\t\thref=\"https://wiki.bbchallenge.org/wiki/BB(5)\"\n\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t\trel=\"external\">BB(5)</a\n\t\t\t\t\t\t>\n\t\t\t\t\t\t= 47,176,870\":\n\t\t\t\t\t\t<ul class=\"list-disc ml-10\">\n\t\t\t\t\t\t\t<li>\n\t\t\t\t\t\t\t\tSee the formal <a\n\t\t\t\t\t\t\t\t\thref=\"https://github.com/ccz181078/Coq-BB5\"\n\t\t\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\">Coq proof</a\n\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t</li>\n\t\t\t\t\t\t\t<li>\n\t\t\t\t\t\t\t\tSee the <a\n\t\t\t\t\t\t\t\t\thref=\"https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237\"\n\t\t\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\">official announcement</a\n\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t</li>\n\t\t\t\t\t\t</ul>\n\t\t\t\t\t\t<br />\n\t\t\t\t\t\tHere's what's next:\n\t\t\t\t\t\t<ul class=\"list-decimal ml-10\">\n\t\t\t\t\t\t\t<li>We are writing a human-readable paper presenting the BB(5) proof</li>\n\t\t\t\t\t\t\t<li>\n\t\t\t\t\t\t\t\tWe are working on new busy beaver values such as BB(6) and setting new goals for\n\t\t\t\t\t\t\t\tthese\n\t\t\t\t\t\t\t</li>\n\t\t\t\t\t\t\t<li>\n\t\t\t\t\t\t\t\tWe are maintaining busy beaver knowledge through our <a\n\t\t\t\t\t\t\t\t\thref=\"https://discord.gg/3uqtPJA9Uv\"\n\t\t\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t\t\t\trel=\"external\">Discord</a\n\t\t\t\t\t\t\t\t>,\n\t\t\t\t\t\t\t\t<a\n\t\t\t\t\t\t\t\t\thref=\"https://discuss.bbchallenge.org/\"\n\t\t\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t\t\t\trel=\"external\">forum</a\n\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\tand\n\t\t\t\t\t\t\t\t<a\n\t\t\t\t\t\t\t\t\thref=\"https://wiki.bbchallenge.org/\"\n\t\t\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t\t\t\trel=\"external\">wiki</a\n\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t</li>\n\t\t\t\t\t\t</ul>\n\t\t\t\t\t{:else}\n\t\t\t\t\t\tSetting the challenge's goal is work in progress.<br />Meanwhile, you can browse\n\t\t\t\t\t\t<a\n\t\t\t\t\t\t\thref={'/' + challenge_to_interesting_machine_file(curr_challenge)}\n\t\t\t\t\t\t\trel=\"external\"\n\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\">a list</a\n\t\t\t\t\t\t>\n\t\t\t\t\t\tof interesting {challenge_to_state_string(curr_challenge)} machines.\n\t\t\t\t\t{/if}\n\t\t\t\t</div>\n\t\t\t\t<!-- <div style=\"font-size:0.65rem\">\n\t\t\t\t\t\t\tOnly {numberWithCommas(metrics['total_undecided_with_heuristcs'])} if considering heuristics\n\t\t\t\t\t\t</div> -->\n\t\t\t\t<div class=\"flex items-center space-x-1\">\n\t\t\t\t\t<div>\n\t\t\t\t\t\t<a\n\t\t\t\t\t\t\thref=\"https://discord.gg/3uqtPJA9Uv\"\n\t\t\t\t\t\t\trel=\"external\"\n\t\t\t\t\t\t\tstyle=\"font-size:0.6rem\"\n\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t>\n\t\t\t\t\t\t\tJoin our Discord server\n\t\t\t\t\t\t</a>\n\t\t\t\t\t</div>\n\t\t\t\t\t<div>&middot;</div>\n\t\t\t\t\t<div>\n\t\t\t\t\t\t<a\n\t\t\t\t\t\t\thref=\"/contribute\"\n\t\t\t\t\t\t\trel=\"external\"\n\t\t\t\t\t\t\tstyle=\"font-size:0.6rem\"\n\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t>\n\t\t\t\t\t\t\tYou can help!!\n\t\t\t\t\t\t</a>\n\t\t\t\t\t</div>\n\t\t\t\t</div>\n\t\t\t</div>\n\t\t</div>\n\t</div>\n\n\t<div class=\"flex md:justify-center\">\n\t\t<div class=\"flex flex-col\">\n\t\t\t<div\n\t\t\t\tclass=\"flex flex-col mt-3\"\n\t\t\t\tclass:md:flex-row={!exploreMode}\n\t\t\t\tclass:items-start={!exploreMode}\n\t\t\t\tclass:colors={exploreMode}\n\t\t\t>\n\t\t\t\t<div class=\"flex flex-col items-start\">\n\t\t\t\t\t<MachineCanvas\n\t\t\t\t\t\t{exploreMode}\n\t\t\t\t\t\t{machine}\n\t\t\t\t\t\t{initial_tape}\n\t\t\t\t\t\t{tapeWidth}\n\t\t\t\t\t\t{nbIter}\n\t\t\t\t\t\t{origin_x}\n\t\t\t\t\t\t{showHeadMove}\n\t\t\t\t\t\tmachineName={machineCode || machineID}\n\t\t\t\t\t/>\n\t\t\t\t\t<div class=\"text-xs pt-0 flex space-x-1 mt-2\">\n\t\t\t\t\t\t<!-- <div\n\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t\ton:click={() => {\n\t\t\t\t\t\t\t\tnavigator.clipboard.writeText(getSimulationLink(true));\n\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t>\n\t\t\t\t\t\t\tCopy simulation link\n\t\t\t\t\t\t</div>\n\t\t\t\t\t\t<div>&middot;</div> -->\n\t\t\t\t\t\t<a\n\t\t\t\t\t\t\thref=\"/story#space-time-diagrams\"\n\t\t\t\t\t\t\trel=\"external\"\n\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t>\n\t\t\t\t\t\t\tWhat is this?\n\t\t\t\t\t\t</a>\n\t\t\t\t\t\t<div>&middot;</div>\n\t\t\t\t\t\t<button\n\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t\tclass:text-blue-300={showSimulationParams}\n\t\t\t\t\t\t\ton:click={() => {\n\t\t\t\t\t\t\t\tshowSimulationParams = !showSimulationParams;\n\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t>\n\t\t\t\t\t\t\tSimulation Parameters\n\t\t\t\t\t\t</button>\n\t\t\t\t\t</div>\n\t\t\t\t\t<div class=\"mt-1 flex flex-col\">\n\t\t\t\t\t\t{#if showSimulationParams}\n\t\t\t\t\t\t\t<div class=\"mb-2\">\n\t\t\t\t\t\t\t\t<div class=\"flex space-x-3 text-sm\">\n\t\t\t\t\t\t\t\t\t<label class=\"flex flex-col\">\n\t\t\t\t\t\t\t\t\t\tsteps\n\t\t\t\t\t\t\t\t\t\t<input\n\t\t\t\t\t\t\t\t\t\t\tclass=\"w-[70px] text-black\"\n\t\t\t\t\t\t\t\t\t\t\ttype=\"number\"\n\t\t\t\t\t\t\t\t\t\t\tbind:value={nbIter}\n\t\t\t\t\t\t\t\t\t\t\ton:change={() => {\n\t\t\t\t\t\t\t\t\t\t\t\twindow.history.pushState({}, '', getSimulationLink());\n\t\t\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t\t\t\tmin=\"1\"\n\t\t\t\t\t\t\t\t\t\t\tmax=\"99999\"\n\t\t\t\t\t\t\t\t\t\t\ton:blur={(e) => {\n\t\t\t\t\t\t\t\t\t\t\t\tnbIter = Math.max(1, Math.min(99999, Math.round(nbIter || 0)));\n\t\t\t\t\t\t\t\t\t\t\t\te.currentTarget.value = nbIter.toString();\n\t\t\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t\t\t/></label\n\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t<label class=\"flex flex-col\">\n\t\t\t\t\t\t\t\t\t\ttape width\n\t\t\t\t\t\t\t\t\t\t<input\n\t\t\t\t\t\t\t\t\t\t\tclass=\"w-[70px] text-black\"\n\t\t\t\t\t\t\t\t\t\t\ttype=\"number\"\n\t\t\t\t\t\t\t\t\t\t\tbind:value={tapeWidth}\n\t\t\t\t\t\t\t\t\t\t\ton:change={() => {\n\t\t\t\t\t\t\t\t\t\t\t\twindow.history.pushState({}, '', getSimulationLink());\n\t\t\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t\t\t/></label\n\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t<label class=\"flex flex-col\">\n\t\t\t\t\t\t\t\t\t\tx-translation\n\t\t\t\t\t\t\t\t\t\t<input\n\t\t\t\t\t\t\t\t\t\t\tclass=\"w-[70px] text-black\"\n\t\t\t\t\t\t\t\t\t\t\ttype=\"number\"\n\t\t\t\t\t\t\t\t\t\t\tbind:value={origin_x}\n\t\t\t\t\t\t\t\t\t\t\ton:change={() => {\n\t\t\t\t\t\t\t\t\t\t\t\twindow.history.pushState({}, '', getSimulationLink());\n\t\t\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t\t\t\tmin=\"0\"\n\t\t\t\t\t\t\t\t\t\t\tmax=\"1\"\n\t\t\t\t\t\t\t\t\t\t\tstep=\"0.1\"\n\t\t\t\t\t\t\t\t\t\t/></label\n\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t\t<label class=\"text-sm mt-2 flex flex-col space-y-1 cursor-pointer\">\n\t\t\t\t\t\t\t\t\t<div>initial tape content</div>\n\t\t\t\t\t\t\t\t\t<input bind:value={initial_tape} class=\"text-black\" />\n\t\t\t\t\t\t\t\t</label>\n\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t{#if !exploreMode}\n\t\t\t\t\t\t\t\t<label class=\"text-sm mt-2 flex items-center space-x-2 cursor-pointer\">\n\t\t\t\t\t\t\t\t\t<input type=\"checkbox\" bind:checked={showHeadMove} />\n\t\t\t\t\t\t\t\t\t<div>Show head movement (green for L, red for R)</div>\n\t\t\t\t\t\t\t\t</label>\n\t\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t<label class=\"text-sm mt-1 flex items-center space-x-2 cursor-pointer\">\n\t\t\t\t\t\t\t<input type=\"checkbox\" bind:checked={exploreMode} />\n\t\t\t\t\t\t\t<div>Explore mode</div>\n\t\t\t\t\t\t</label>\n\t\t\t\t\t</div>\n\t\t\t\t</div>\n\n\t\t\t\t<div\n\t\t\t\t\tclass={!exploreMode\n\t\t\t\t\t\t? 'mt-3 md:mt-0 md:ml-10 lg:ml-20 '\n\t\t\t\t\t\t: 'flex w-full space-x-36 mb-5 mt-3'}\n\t\t\t\t>\n\t\t\t\t\t<div>\n\t\t\t\t\t\t{#if machine !== null}\n\t\t\t\t\t\t\t{#if machineID !== null}\n\t\t\t\t\t\t\t\t<div\n\t\t\t\t\t\t\t\t\tclass=\"text-lg cursor-pointer\"\n\t\t\t\t\t\t\t\t\ton:click={async () => {\n\t\t\t\t\t\t\t\t\t\tawait loadMachineFromID(machineID);\n\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\tMachine #<span class=\"underline\">{numberWithCommas(machineID)}</span>\n\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t{:else}\n\t\t\t\t\t\t\t\t<div\n\t\t\t\t\t\t\t\t\tclass=\"text-lg cursor-pointer\"\n\t\t\t\t\t\t\t\t\ton:click={async () => {\n\t\t\t\t\t\t\t\t\t\tawait loadMachineFromMachineCode(tmToMachineCode(machine), machineStatus);\n\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\tMachine <div class=\"underline text-sm ml-2 mb-1\">{tmToMachineCode(machine)}</div>\n\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t{/if}\n\n\t\t\t\t\t\t\t<TmTable {machine} {machineID} decisionStatus={machineStatus} {machineDecider} />\n\t\t\t\t\t\t{/if}\n\t\t\t\t\t</div>\n\n\t\t\t\t\t<div class=\"mt-4 flex flex-col items-start\">\n\t\t\t\t\t\t<div>Change machine:</div>\n\t\t\t\t\t\t<div class=\"ml-3 mt-1 text-sm\">\n\t\t\t\t\t\t\t<div class:invisible={curr_challenge != Challenge.BB5}>\n\t\t\t\t\t\t\t\tRandom machine from the <a\n\t\t\t\t\t\t\t\t\thref=\"https://bbchallenge.org/method#seed-database\"\n\t\t\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer underline\"\n\t\t\t\t\t\t\t\t\trel=\"external\">seed database</a\n\t\t\t\t\t\t\t\t>:\n\t\t\t\t\t\t\t</div>\n\n\t\t\t\t\t\t\t<!-- {#if !preSeed} -->\n\t\t\t\t\t\t\t<div class=\"flex flex-col items-end mx-3\">\n\t\t\t\t\t\t\t\t<button\n\t\t\t\t\t\t\t\t\tclass=\"bg-blue-500 p-1 mt-1 w-full ml-2\"\n\t\t\t\t\t\t\t\t\ton:click={async () => {\n\t\t\t\t\t\t\t\t\t\tawait getRandomMachine();\n\t\t\t\t\t\t\t\t\t\t//window.history.replaceState({}, '', getSimulationLink());\n\t\t\t\t\t\t\t\t\t}}>Go (R)andom</button\n\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t{#if curr_challenge == Challenge.BB5}\n\t\t\t\t\t\t\t\t\t<div\n\t\t\t\t\t\t\t\t\t\tclass=\"text-xs text-right text-blue-400 hover:text-blue-300 cursor-pointer\"\n\t\t\t\t\t\t\t\t\t\ton:click={() => {\n\t\t\t\t\t\t\t\t\t\t\tshowRandomOptions = !showRandomOptions;\n\t\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t\t{#if !showRandomOptions}More{:else}Less{/if} options\n\t\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t</div>\n\t\t\t\t\t\t<div class=\"ml-3 mt-1 text-sm\">\n\t\t\t\t\t\t\t<div class=\"ml-2 flex flex-col space-y-1\">\n\t\t\t\t\t\t\t\t<!-- {:else}\n\t\t\t\t\t\t\t<button\n\t\t\t\t\t\t\t\tclass=\"bg-blue-500 p-1 mx-3 mt-1\"\n\t\t\t\t\t\t\t\ton:click={async () => {\n\t\t\t\t\t\t\t\t\t_goto('/');\n\t\t\t\t\t\t\t\t}}>Go Random</button\n\t\t\t\t\t\t\t>\n\t\t\t\t\t\t{/if} -->\n\n\t\t\t\t\t\t\t\t{#if showRandomOptions}\n\t\t\t\t\t\t\t\t\t<div class=\"mx-3\">\n\t\t\t\t\t\t\t\t\t\t<label class=\"flex space-x-2 items-center cursor-pointer\">\n\t\t\t\t\t\t\t\t\t\t\t<input type=\"radio\" bind:group={randomType} name=\"randomType\" value=\"all\" />\n\t\t\t\t\t\t\t\t\t\t\t<div>any machine (88,664,064)</div>\n\t\t\t\t\t\t\t\t\t\t</label>\n\t\t\t\t\t\t\t\t\t\t<label class=\"flex space-x-2 items-center cursor-pointer\">\n\t\t\t\t\t\t\t\t\t\t\t<input\n\t\t\t\t\t\t\t\t\t\t\t\ttype=\"radio\"\n\t\t\t\t\t\t\t\t\t\t\t\tbind:group={randomType}\n\t\t\t\t\t\t\t\t\t\t\t\tname=\"randomType\"\n\t\t\t\t\t\t\t\t\t\t\t\tvalue=\"all_undecided\"\n\t\t\t\t\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t\t\t\t\t\t<div>\n\t\t\t\t\t\t\t\t\t\t\t\tonly undecided machine {#if metrics !== null}({numberWithCommas(\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tmetrics['total_undecided']\n\t\t\t\t\t\t\t\t\t\t\t\t\t)}){/if}\n\t\t\t\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t\t\t\t</label>\n\t\t\t\t\t\t\t\t\t\t<!-- <label\n\t\t\t\t\t\t\t\t\t\t\tclass=\"mt-2 flex space-x-2 items-center  cursor-pointer w-[300px]\"\n\t\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t\t\t<input\n\t\t\t\t\t\t\t\t\t\t\t\ttype=\"radio\"\n\t\t\t\t\t\t\t\t\t\t\t\tbind:group={randomType}\n\t\t\t\t\t\t\t\t\t\t\t\tname=\"randomType\"\n\t\t\t\t\t\t\t\t\t\t\t\tvalue=\"all_undecided_apply_heuristics\"\n\t\t\t\t\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t\t\t\t\t\t<div>\n\t\t\t\t\t\t\t\t\t\t\t\tonly undecided machine not heuristically decided {#if metrics !== null}({numberWithCommas(\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tmetrics['total_undecided_with_heuristcs']\n\t\t\t\t\t\t\t\t\t\t\t\t\t)}){/if}\n\t\t\t\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t\t\t\t</label> -->\n\t\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t</div>\n\t\t\t\t\t\t{#if curr_challenge == Challenge.BB5}\n\t\t\t\t\t\t\t<div class=\"ml-3 mt-2 text-sm\">\n\t\t\t\t\t\t\t\t<div>\n\t\t\t\t\t\t\t\t\tFrom id in the <a\n\t\t\t\t\t\t\t\t\t\thref=\"https://bbchallenge.org/method#seed-database\"\n\t\t\t\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer underline\"\n\t\t\t\t\t\t\t\t\t\trel=\"external\">seed database</a\n\t\t\t\t\t\t\t\t\t>:\n\t\t\t\t\t\t\t\t</div>\n\n\t\t\t\t\t\t\t\t{#if typedMachineError}\n\t\t\t\t\t\t\t\t\t<div class=\"text-red-400 text-xs break-words w-[300px]\">{typedMachineError}</div>\n\t\t\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t\t\t<div class=\"ml-5 flex items-center space-x-4\">\n\t\t\t\t\t\t\t\t\t<input\n\t\t\t\t\t\t\t\t\t\ttype=\"number\"\n\t\t\t\t\t\t\t\t\t\tclass=\"w-[200px] text-black\"\n\t\t\t\t\t\t\t\t\t\tplaceholder=\"max 88664063\"\n\t\t\t\t\t\t\t\t\t\tmin=\"0\"\n\t\t\t\t\t\t\t\t\t\tmax=\"88664063\"\n\t\t\t\t\t\t\t\t\t\tbind:value={typedMachineID}\n\t\t\t\t\t\t\t\t\t\ton:change={async () => {\n\t\t\t\t\t\t\t\t\t\t\tawait loadMachineFromID(typedMachineID);\n\t\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t\t\t\t<button class=\"bg-blue-500 p-1 px-2\">Go </button>\n\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t<div class=\"ml-3 mt-1 text-sm\">\n\t\t\t\t\t\t\t<div>\n\t\t\t\t\t\t\t\tFrom <a\n\t\t\t\t\t\t\t\t\thref=\"https://discuss.bbchallenge.org/t/standard-tm-text-format/60\"\n\t\t\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\">standard format</a\n\t\t\t\t\t\t\t\t>:\n\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t{#if machineCodeError}\n\t\t\t\t\t\t\t\t<div class=\"text-red-400 text-xs break-words w-[300px]\">{machineCodeError}</div>\n\t\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t\t<div class=\"ml-5 flex items-center space-x-4\">\n\t\t\t\t\t\t\t\t<input\n\t\t\t\t\t\t\t\t\ttype=\"text\"\n\t\t\t\t\t\t\t\t\tclass=\"w-[200px] text-black\"\n\t\t\t\t\t\t\t\t\tplaceholder=\"\"\n\t\t\t\t\t\t\t\t\tbind:value={typedMachineCode}\n\t\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t\t\t<button\n\t\t\t\t\t\t\t\t\tclass=\"bg-blue-500 p-1 px-2\"\n\t\t\t\t\t\t\t\t\ton:click={() => {\n\t\t\t\t\t\t\t\t\t\tloadMachineFromMachineCode(typedMachineCode);\n\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t\t>Go\n\t\t\t\t\t\t\t\t</button>\n\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t</div>\n\n\t\t\t\t\t\t<!-- <div>\n\t\t\t\t\t\t\t{#if history}\n\t\t\t\t\t\t\t\t<div class=\"mt-0 flex flex-col\">\n\t\t\t\t\t\t\t\t\t<div class=\"ml-3 mt-2 text-sm\">\n\t\t\t\t\t\t\t\t\t\t<div\n\t\t\t\t\t\t\t\t\t\t\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer underline\"\n\t\t\t\t\t\t\t\t\t\t\ton:click={() => {\n\t\t\t\t\t\t\t\t\t\t\t\tshowHistory = !showHistory;\n\t\t\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t\t\t{#if !showHistory}Show{:else}Hide{/if} History\n\t\t\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t\t\t\t{#if showHistory}\n\t\t\t\t\t\t\t\t\t\t\t<div class=\" mt-1 ml-3 w-[300px] overflow-x-auto pb-2\">\n\t\t\t\t\t\t\t\t\t\t\t\t{#each history as entry}\n\t\t\t\t\t\t\t\t\t\t\t\t\t{entry}&nbsp;\n\t\t\t\t\t\t\t\t\t\t\t\t{/each}\n\t\t\t\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t</div> -->\n\t\t\t\t\t</div>\n\t\t\t\t</div>\n\t\t\t</div>\n\t\t\t<div class=\"mt-5 mb-10 flex flex-col space-y-8\">\n\t\t\t\t<div class=\" flex flex-col space-y-5 md:flex-row md:space-x-12 lg:space-y-0\">\n\t\t\t\t\t<div class=\"flex flex-col space-y-4\">\n\t\t\t\t\t\t<News />\n\t\t\t\t\t\t{#if curr_challenge == Challenge.BB5}\n\t\t\t\t\t\t\t<DecidersAndZoology\n\t\t\t\t\t\t\t\ton:machine_id={async (ev) => {\n\t\t\t\t\t\t\t\t\tlet machine_id = ev.detail.machine_id;\n\n\t\t\t\t\t\t\t\t\tawait loadMachineFromID(machine_id);\n\t\t\t\t\t\t\t\t\tdefaultSimulationParameters();\n\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t{/if}\n\t\t\t\t\t</div>\n\n\t\t\t\t\t<div class=\"max-w-[450px] flex flex-col space-y-2\">\n\t\t\t\t\t\t<div class=\"ml-2 text-xl\">Highlighted machines</div>\n\t\t\t\t\t\t{#if curr_challenge == Challenge.BB5}\n\t\t\t\t\t\t\t<Highlights_BB5\n\t\t\t\t\t\t\t\ton:machine_id={async (ev) => {\n\t\t\t\t\t\t\t\t\tlet machine_id = ev.detail.machine_id;\n\n\t\t\t\t\t\t\t\t\tawait loadMachineFromID(machine_id);\n\t\t\t\t\t\t\t\t\tdefaultSimulationParameters();\n\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\ton:machine_code={async (ev) => {\n\t\t\t\t\t\t\t\t\tlet machine_code = ev.detail.machine_code;\n\t\t\t\t\t\t\t\t\tlet machine_status = ev.detail.machine_status;\n\n\t\t\t\t\t\t\t\t\tawait loadMachineFromMachineCode(machine_code, machine_status);\n\t\t\t\t\t\t\t\t\tdefaultSimulationParameters();\n\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t{#if curr_challenge == Challenge.BB6}\n\t\t\t\t\t\t\t<Highlights_BB6\n\t\t\t\t\t\t\t\ton:machine_id={async (ev) => {\n\t\t\t\t\t\t\t\t\tlet machine_id = ev.detail.machine_id;\n\n\t\t\t\t\t\t\t\t\tawait loadMachineFromID(machine_id);\n\t\t\t\t\t\t\t\t\tdefaultSimulationParameters();\n\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\ton:machine_code={async (ev) => {\n\t\t\t\t\t\t\t\t\tlet machine_code = ev.detail.machine_code;\n\t\t\t\t\t\t\t\t\tlet machine_status = ev.detail.machine_status;\n\n\t\t\t\t\t\t\t\t\tawait loadMachineFromMachineCode(machine_code, machine_status);\n\t\t\t\t\t\t\t\t\tdefaultSimulationParameters();\n\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t{#if curr_challenge == Challenge.BB2x5}\n\t\t\t\t\t\t\t<Highlights_BB2x5\n\t\t\t\t\t\t\t\ton:machine_id={async (ev) => {\n\t\t\t\t\t\t\t\t\tlet machine_id = ev.detail.machine_id;\n\n\t\t\t\t\t\t\t\t\tawait loadMachineFromID(machine_id);\n\t\t\t\t\t\t\t\t\tdefaultSimulationParameters();\n\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\ton:machine_code={async (ev) => {\n\t\t\t\t\t\t\t\t\tlet machine_code = ev.detail.machine_code;\n\t\t\t\t\t\t\t\t\tlet machine_status = ev.detail.machine_status;\n\n\t\t\t\t\t\t\t\t\tawait loadMachineFromMachineCode(machine_code, machine_status);\n\t\t\t\t\t\t\t\t\tdefaultSimulationParameters();\n\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t{#if curr_challenge == Challenge.BB3x3}\n\t\t\t\t\t\t\t<Highlights_BB3x3\n\t\t\t\t\t\t\t\ton:machine_id={async (ev) => {\n\t\t\t\t\t\t\t\t\tlet machine_id = ev.detail.machine_id;\n\n\t\t\t\t\t\t\t\t\tawait loadMachineFromID(machine_id);\n\t\t\t\t\t\t\t\t\tdefaultSimulationParameters();\n\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\ton:machine_code={async (ev) => {\n\t\t\t\t\t\t\t\t\tlet machine_code = ev.detail.machine_code;\n\t\t\t\t\t\t\t\t\tlet machine_status = ev.detail.machine_status;\n\n\t\t\t\t\t\t\t\t\tawait loadMachineFromMachineCode(machine_code, machine_status);\n\t\t\t\t\t\t\t\t\tdefaultSimulationParameters();\n\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t{/if}\n\t\t\t\t\t</div>\n\t\t\t\t</div>\n\t\t\t</div>\n\t\t</div>\n\t</div>\n</div>\n"],"names":["t0_value","ctx","t2_value","attr","a","insert_hydration","target","anchor","append_hydration","span","div","t1_value","numberWithCommas","create_if_block","each_value_1","ensure_array_like","i","div1","div0","div4","div3","a0","br","a1","div2","div9","div5","div6","div8","div7","dispatch","m_id","dirty","set_data","t1","if_block0","create_if_block_1","machine_id","machine_code","machine_status","span1","ApproxBB6","t5_value","Skelet_machines","span0","TMDecisionStatus","BB5_2M_steps_halter","BB5_23M_steps_halter","BB5_champion","BB6_Kropitz_champion_2022","each_value","each_blocks_1","Justin_inverted_counter","Justin_helix","Justin_pointy_wide","Marxen_and_Buntrock_chaotic_id","Marxen_and_Buntrock_complex_counter_id","ApproxBB2x5","ApproxBB3x3","canvas_1","exploreMode","$$props","machine","initial_tape","tapeWidth","nbIter","origin_x","showHeadMove","machineName","canvas","drawRect","context","drawCleanup","draw","$$invalidate","tm_explore","tm_trace_to_image","$$value","seotitle_changes","option","t","t_value","t4_value","t4","strong","br0","br1","ul0","br2","ul1","create_if_block_15","label0","input0","label1","input1","label2","input2","label3","input3","label","input","create_if_block_13","tmToMachineCode","create_if_block_11","if_block","create_if_block_9","create_if_block_7","button","previous_key","create_if_block_17","create_if_block_16","create_if_block_14","if_block4","create_if_block_12","create_if_block_10","create_if_block_8","create_if_block_6","create_if_block_5","create_if_block_4","create_if_block_3","create_if_block_2","add_render_callback","select","div26","div26_class_value","div35","div34","div33","div27","div14","div11","a2","div10","button0","div13","div12","div15","div25","div16","div19","div17","div18","button1","div21","div20","div24","div22","div23","button2","div32","div31","div28","div30","div29","safe_not_equal","machinecanvas_changes","current","curr_challenge","select_value","getRandomMachine","showSimulationParams","to_number","getSimulationLink","e","loadMachineFromID","machineID","loadMachineFromMachineCode","machineStatus","showRandomOptions","randomType","typedMachineID","typedMachineCode","ev","defaultSimulationParameters"],"mappings":"umCAiE8BA,EAAAC,KAAI,EAAC,SAA4BC,EAAAD,KAAM,KAAM,oCAAvC,IAAE,mFAAF,IAAE,gHAAxBE,EAAAC,EAAA,OAAAH,KAAM,IAAM,UAArBI,EAAkFC,EAAAF,EAAAG,CAAA,gBAAjDC,EAA8CJ,EAAAK,CAAA,mQAuB9EJ,EAA6CC,EAAAI,EAAAH,CAAA,sCAF5C,IAAAP,EAAAC,KAAI,EAAC,OAAIC,EAAAD,KAAM,KAAM,2BAAf,IAAE,8BAAF,IAAE,sGAcLU,EAAAC,GAAiBX,EAAI,CAAA,CAAA,EAAA,qEADxB,GACE,aACD,GACF,2DAHC,GACE,8BACD,GACF,gEARCI,EAOCC,EAAAG,EAAAF,CAAA,qJAhBEN,EAAK,CAAA,EAAC,OAAY,OAASY,oBAQxBC,EAAAC,GAAAd,KAAM,QAAU,uBAArB,OAAIe,GAAA,sEAFkB;AAAA,OAExB,8IAFwB;AAAA,OAExB,2HATFX,EAoBKC,EAAAW,EAAAV,CAAA,qBAbJC,EAYKS,EAAAC,CAAA,0FAVGJ,EAAAC,GAAAd,KAAM,QAAU,oBAArB,OAAIe,GAAA,EAAA,mHAAJ,2VA7BGf,EAAQ,CAAA,CAAA,uBAAb,OAAIe,GAAA,8BAmBAf,EAAO,CAAA,CAAA,uBAAZ,OAAIe,GAAA,oHA5BP;AAAA,uEACoE,gBAAM;AAAA,GAC1E,+BAIC;AAAA,GACD,qeAPA;AAAA,uEACoE,uBAAM;AAAA,GAC1E,8GAIC;AAAA,GACD,ioCAhBFX,EAwBKC,EAAAa,EAAAZ,CAAA,EAvBJC,EAAuCW,EAAAD,CAAA,SACvCV,EAqBKW,EAAAC,CAAA,EApBJZ,EAMAY,EAAAC,CAAA,SACoEb,EAAMY,EAAAE,CAAA,SAC1Ed,EAICY,EAAAG,CAAA,SACDf,EAMKY,EAAAI,CAAA,EALJhB,EAIKgB,EAAAP,CAAA,4DAKRZ,EAoCKC,EAAAmB,EAAAlB,CAAA,EAnCJC,EAAsCiB,EAAAC,CAAA,SACtClB,EAMKiB,EAAAE,CAAA,UACLnB,EA0BKiB,EAAAG,CAAA,EAzBJpB,EAwBKoB,EAAAC,CAAA,0EA1CI5B,EAAQ,CAAA,CAAA,oBAAb,OAAIe,GAAA,EAAA,sHAAJ,oBAmBIf,EAAO,CAAA,CAAA,oBAAZ,OAAIe,GAAA,EAAA,sHAAJ,qpCAcIc,EAAS,aAAgB,CAAA,WAAYC,CAAI,CAAA,8FC1D7CpB,EAAAC,GAAiBX,EAAU,CAAA,CAAA,EAAA,oCAD9B,GACE,kEADF,GACE,sFANFI,EAOAC,EAAAG,EAAAF,CAAA,uDADGyB,EAAA,GAAArB,KAAAA,EAAAC,GAAiBX,EAAU,CAAA,CAAA,EAAA,KAAAgC,GAAAC,EAAAvB,CAAA,gGAMM,GAAC,MAACV,EAAW,CAAA,CAAA,MAAC,IAAE,MAACA,EAAQ,CAAA,CAAA,MAAC,GAAC,qGAA3B,GAAC,QAACA,EAAW,CAAA,CAAA,QAAC,IAAE,QAACA,EAAQ,CAAA,CAAA,QAAC,GAAC,4EAArCA,EAAQ,CAAA,CAAA,iCADlCI,EAEMC,EAAAG,EAAAF,CAAA,EADLC,EAAiEC,EAAAL,CAAA,wDAA5BH,EAAW,CAAA,CAAA,aAAIA,EAAQ,CAAA,CAAA,kBAAnCA,EAAQ,CAAA,CAAA,0FAb9B,IAAAkC,EAAAlC,OAAe,MAAImC,GAAAnC,CAAA,IAWnBA,EAAQ,CAAA,GAAIA,EAAW,CAAA,GAAIA,EAAQ,CAAA,GAAAY,GAAAZ,CAAA,4OA5BzCI,EAiCKC,EAAAI,EAAAH,CAAA,kLAhBCN,OAAe,4DAWfA,EAAQ,CAAA,GAAIA,EAAW,CAAA,GAAIA,EAAQ,CAAA,8WAPrC6B,EAAS,aAAY,CAAgB,WAAAO,CAAU,CAAA,UAlB7CC,IAAiB,KACpBR,EAAS,eACM,CAAA,aAAAQ,EACE,eAAAC,CAAc,CAAA,EAGrBF,IAAe,MACzBP,EAAS,aACI,CAAA,WAAAO,CAAA,CAAA,q1BCYbhC,EAKAC,EAAAkC,EAAAjC,CAAA,4UAOAF,EAKAC,EAAAkC,EAAAjC,CAAA,kVAOAF,EAKAC,EAAAkC,EAAAjC,CAAA,6UAOAF,EAKAC,EAAAkC,EAAAjC,CAAA,qVAQAF,EAKCC,EAAAkC,EAAAjC,CAAA,mGAGmD,WAAqB,cAArB,WAAqB,6FAA3BN,EAAI,EAAA,sUAalC,oBAA8B,cAA9B,oBAA8B,uEAS9B,qBAA+B,cAA/B,qBAA+B,uEAS/B,4BAAsC,cAAtC,4BAAsC,2FAQJwC,EAAS,CAAA,CAAA,WAA3C,WAAqB,wBAA0B,SAAO,cAAtD,WAAqB,4BAA0B,SAAO,qKAyBrC9B,EAAAV,MAAI,EAAC,eAWhCyC,EAAA9B,GAAiB+B,GAAgB1C,OAAG,cAAc,EAAA,2DAZxD,qBACgC,+BAS/B,YACW,kBACR,GAAC,oCAZL,qBACgC,4DAS/B,YACW,4CACR,GAAC,4JATJI,EAWOC,EAAAkC,EAAAjC,CAAA,SAHIC,EAEVgC,EAAAI,CAAA,wJAhBe,eAAAC,GAAiB,8BAEnBF,GAAgB1C,EAAC,EAAA,CAAA,EAAE,+7CA/D5BA,EAA8B,CAAA,CAAA,wBAAnC,OAAIe,GAAA,4FAUS8B,GACE,eAAAD,GAAiB,4LAQnBE,GACE,eAAAF,GAAiB,6LAQnBG,GACE,eAAAH,GAAiB,qNAOnBI,GACE,eAAAJ,GAAiB,wLAsB1B,IAAAK,GAAAnC,GAAA,CAAA,EAAG,EAAE,CAAA,ogEA3HfV,EAoEKC,EAAAkB,EAAAjB,CAAA,EAnEJC,EAAoDgB,EAAAN,CAAA,SACpDV,EAiEKgB,EAAAP,CAAA,qKAENZ,EA8CKC,EAAAoB,EAAAnB,CAAA,EA7CJC,EAAiFkB,EAAAN,CAAA,SACjFZ,EA2CKkB,EAAAP,CAAA,qFAENd,EAoCKC,EAAAmB,EAAAlB,CAAA,EAnCJC,EAIKiB,EAAAE,CAAA,UACLnB,EAuBKiB,EAAAI,EAAA,4DAELrB,EAIKiB,EAAAG,EAAA,2VAvFG3B,EAA8B,CAAA,CAAA,qBAAnC,OAAIe,GAAA,EAAA,iHAAJ,OAAIA,EAAAmC,EAAA,OAAAnC,GAAA,iRA2DEkC,GAAAnC,GAAA,CAAA,EAAG,EAAE,CAAA,oSA3DX,OAAIC,GAAA,8oBArDHc,EAAS,aAAgB,CAAA,WAAYsB,EAAuB,CAAA,UAY5DtB,EAAS,aAAgB,CAAA,WAAYuB,EAAY,CAAA,UAYjDvB,EAAS,aAAgB,CAAA,WAAYwB,EAAkB,CAAA,UAYvDxB,EAAS,aAAY,CAAI,WAAYyB,aAarCzB,EAAS,aAAY,CAAI,WAAY0B,kNA0EpC1B,EAAS,aAAY,CACpB,WAAYa,GAAgB3B,CAAC,EAAE,iNC1INyB,EAAS,CAAA,CAAA,6BAAI,SAAO,kCAAP,SAAO,oKAkBjC,aAAuB,cAAvB,aAAuB,wRAtBzBQ,GACE,eAAAJ,GAAiB,+vCANpCxC,EAYKC,EAAAkB,EAAAjB,CAAA,EAXJC,EAAwDgB,EAAAN,CAAA,SACxDV,EASKgB,EAAAP,CAAA,wBAGNZ,EAgBKC,EAAAoB,EAAAnB,CAAA,EAfJC,EAKKkB,EAAAN,CAAA,SACLZ,EAQKkB,EAAAP,CAAA,6hBCrB0BsC,EAAW,CAAA,CAAA,6BAAI,SAAO,kCAAP,SAAO,oKAkBnC,SAAmB,cAAnB,SAAmB,uEAOnB,iBAA2B,cAA3B,iBAA2B,gUA5B3B,eAAAZ,GAAiB,qkDANpCxC,EAYKC,EAAAkB,EAAAjB,CAAA,EAXJC,EAA0DgB,EAAAN,CAAA,SAC1DV,EASKgB,EAAAP,CAAA,wBAGNZ,EAuBKC,EAAAoB,EAAAnB,CAAA,EAtBJC,EAKKkB,EAAAN,CAAA,SACLZ,EAeKkB,EAAAP,CAAA,qrBC3B0BuC,EAAW,CAAA,CAAA,6BAAI,SAAO,kCAAP,SAAO,oKAkBnC,WAAqB,cAArB,WAAqB,0TArBrB,eAAAb,GAAiB,+vCANpCxC,EAYKC,EAAAkB,EAAAjB,CAAA,EAXJC,EAA0DgB,EAAAN,CAAA,SAC1DV,EASKgB,EAAAP,CAAA,wBAGNZ,EAgBKC,EAAAoB,EAAAnB,CAAA,EAfJC,EAKKkB,EAAAN,CAAA,SACLZ,EAQKkB,EAAAP,CAAA,g3CC9CNd,EAuCKC,EAAAc,EAAAb,CAAA,uaC6BLF,EAEKC,EAAAI,EAAAH,CAAA,EADJC,EAA6FE,EAAAiD,CAAA,2EAlElF,YAAAC,CAAW,EAAAC,GACX,QAAAC,CAAO,EAAAD,GACP,aAAAE,CAAY,EAAAF,GACZ,UAAAG,CAAS,EAAAH,GACT,OAAAI,CAAM,EAAAJ,GACN,SAAAK,CAAQ,EAAAL,GACR,aAAAM,CAAY,EAAAN,GAEZ,YAAAO,CAAW,EAAAP,EAElBQ,EAEE,MAAAC,EAAYC,GAAO,CACxBA,EAAQ,UAAY,QACpBA,EAAQ,SAAS,EAAG,EAAGF,EAAO,MAAOA,EAAO,MAAM,EAClDE,EAAQ,KAAI,OAGTC,WACKC,GAAI,IACRD,GAAaA,IAKjBE,EAAA,EAAAL,EAAO,MAAQT,EAAc,IAAM,IAAGS,CAAA,GAEjCP,SAIC,MAAAS,EAAUF,EAAO,WAAW,IAAI,EACtCC,EAASC,CAAO,EACZX,EACHY,EAAcG,GAAWJ,EAAST,EAASC,EAAcE,CAAM,EAE/DW,GACCL,EACAT,EACAC,EACAC,EACAC,EACAC,EACA,GACAC,CAAA,4CAsBwDE,EAAMQ,wWAP5DR,GACHI,6TCqOe,MAAAxE,MAAaA,EAAW,CAAA,gGAAxB+B,EAAA,CAAA,EAAA,IAAA8C,EAAA,MAAA7E,MAAaA,EAAW,CAAA,8bAgBxCI,EAIKC,EAAAkB,EAAAjB,CAAA,yCAe0BN,EAAS,EAAA,EAAA,oIAArBA,EAAS,EAAA,0BAAxBI,EAA6CC,EAAAyE,EAAAxE,CAAA,iCAAlBN,EAAS,EAAA,EAAA,KAAAgC,GAAA+C,EAAAC,CAAA,kBAArBhF,EAAS,EAAA,mFAwERiF,EAAAjF,MAA0BA,EAAc,EAAA,CAAA,EAAA,sBAPnD,mDAC4C,gBAAM;AAAA,OACvD,eAG0D,QAAM,MAChE;AAAA,sBACe,aAA2C,YAC3D,uBARM,mDAC4C,uBAAM;AAAA,OACvD,wDAG0D,QAAM,qBAChE;AAAA,sBACe,iBAA2C,YAC3D,6BALQ,IAAMA,EAAqC,EAAA,EAACA,EAAc,EAAA,CAAA,CAAA,yGAFhBI,EAAMC,EAAAgB,EAAAf,CAAA,WACvDF,EAIAC,EAAAF,EAAAG,CAAA,8DAHO,IAAMN,EAAqC,EAAA,EAACA,EAAc,EAAA,CAAA,kBAIjD+B,EAAA,CAAA,EAAA,MAAAkD,KAAAA,EAAAjF,MAA0BA,EAAc,EAAA,CAAA,EAAA,KAAAgC,GAAAkD,EAAAD,CAAA;;;;sJA/DrB,eACtB,oCAAkB;AAAA,OAC/B,0BAAW;AAAA;AAAA,OAEX,+BAIA;AAAA,mBACY,+BAIZ;AAAA;AAAA,OAEA,8CAcK;AAAA;AAAA,OAEL,+CA/BmC,eACtB,wFAAkB;AAAA,OAC/B,sCAAW;AAAA;AAAA,OAEX,2GAIA;AAAA,mBACY,0GAIZ;AAAA;AAAA,OAEA,gHAcK;AAAA;AAAA,OAEL,wcA9Ba7E,EAAkBC,EAAA8E,EAAA7E,CAAA,WAC/BF,EAAMC,EAAA+E,EAAA9E,CAAA,EAAAF,EAAKC,EAAAgF,EAAA/E,CAAA,WAEXF,EAIAC,EAAAe,EAAAd,CAAA,WACYF,EAIZC,EAAAiB,EAAAhB,CAAA,WAEAF,EAaIC,EAAAiF,EAAAhF,CAAA,WACJF,EAAKC,EAAAkF,EAAAjF,CAAA,WAELF,EAwBIC,EAAAmF,EAAAlF,CAAA,2LA4IGN,EAAW,EAAA,GAAAyF,GAAAzF,CAAA,oDAhDa;AAAA,WAE3B,sCAe2B;AAAA,WAE3B,sCAS2B;AAAA,WAE3B,sOA9B2B;AAAA,WAE3B,iHAe2B;AAAA,WAE3B,mGAS2B;AAAA,WAE3B,6xBAhCHI,EAiDKC,EAAAkB,EAAAjB,CAAA,EAhDJC,EA2CKgB,EAAAN,CAAA,EA1CJV,EAgBAU,EAAAyE,CAAA,SAdCnF,EAaEmF,EAAAC,CAAA,OAVW3F,EAAM,CAAA,CAAA,SAYpBO,EAUAU,EAAA2E,CAAA,SARCrF,EAOEqF,EAAAC,CAAA,OAJW7F,EAAS,CAAA,CAAA,SAMvBO,EAaAU,EAAA6E,CAAA,SAXCvF,EAUEuF,EAAAC,CAAA,OAPW/F,EAAQ,CAAA,CAAA,SAUvBO,EAGOgB,EAAAyE,CAAA,EAFNzF,EAA8ByF,EAAAhF,CAAA,SAC9BT,EAAqDyF,EAAAC,CAAA,OAAlCjG,EAAY,EAAA,CAAA,+OAxCjBA,EAAM,CAAA,QAANA,EAAM,CAAA,CAAA,yBAiBNA,EAAS,CAAA,QAATA,EAAS,CAAA,CAAA,yBAWTA,EAAQ,CAAA,QAARA,EAAQ,CAAA,CAAA,uBAYHA,EAAY,EAAA,QAAZA,EAAY,EAAA,CAAA,EAG3BA,EAAW,EAAA,6iBAChBI,EAGOC,EAAA6F,EAAA5F,CAAA,EAFNC,EAAoD2F,EAAAC,CAAA,YAAfnG,EAAY,EAAA,SACjDO,EAAqD2F,EAAAzF,CAAA,iEADhBT,EAAY,EAAA,qEAmB9C,OAAAA,OAAc,KAAIoG,2FAoBwBpG,EAAa,CAAA,wTAAbA,EAAa,CAAA,wKAJRU,EAAA2F,GAAgBrG,EAAO,CAAA,CAAA,EAAA,mCAD1E,UACS,4EADT,UACS,+KANTI,EAOKC,EAAAW,EAAAV,CAAA,SADIC,EAAwES,EAAAC,CAAA,iDAA9Bc,EAAA,CAAA,EAAA,KAAArB,KAAAA,EAAA2F,GAAgBrG,EAAO,CAAA,CAAA,EAAA,KAAAgC,GAAAC,EAAAvB,CAAA,oDATvCA,EAAAC,GAAiBX,EAAS,CAAA,CAAA,EAAA,mCAD7D,WACU,6EADV,WACU,8JANVI,EAOKC,EAAAI,EAAAH,CAAA,SADKC,EAA2DE,EAAAD,CAAA,iDAAlCuB,EAAA,CAAA,EAAA,GAAArB,KAAAA,EAAAC,GAAiBX,EAAS,CAAA,CAAA,EAAA,KAAAgC,GAAAC,EAAAvB,CAAA,6EA4CrDV,EAAiB,EAAA,KAAAsG,qDAAqB,UAC7C,iEAD6C,UAC7C,wHAPAlG,EAOKC,EAAAI,EAAAH,CAAA,kLAD+B,MAAI,cAAJ,MAAI,uEAAf,MAAI,cAAJ,MAAI,+GA8BEiG,EAAAvG,QAAY,MAAIwG,GAAAxG,CAAA,wJADzC,yBACoB,wVADpB,yBACoB,8XAb1BI,EAiCKC,EAAAkB,EAAAjB,CAAA,EAhCJC,EAGOgB,EAAAmE,CAAA,EAFNnF,EAA2EmF,EAAAC,CAAA,wBAA3C3F,EAAU,EAAA,SAC1CO,EAAkCmF,EAAAzE,CAAA,SAEnCV,EAYOgB,EAAAqE,CAAA,EAXNrF,EAKCqF,EAAAC,CAAA,wBAHY7F,EAAU,EAAA,SAIvBO,EAIKqF,EAAA5E,CAAA,2HAd2BhB,EAAU,EAAA,sCAM7BA,EAAU,EAAA,GAKMA,QAAY,gIAAOW,GAC7CX,EAAO,EAAA,EAAC,eAAiB,EAAA,sBADkB,GAAC,aAE3C,GAAC,cAFyC,GAAC,iBAE3C,GAAC,kEAF2CW,GAC7CX,EAAO,EAAA,EAAC,eAAiB,EAAA,KAAAgC,GAAAC,EAAAvB,CAAA,6PAiC1BV,EAAiB,EAAA,GAAAyG,GAAAzG,CAAA,8vBATvBI,EA0BKC,EAAAkB,EAAAjB,CAAA,EAzBJC,EAMKgB,EAAAN,CAAA,+BAKLV,EAaKgB,EAAAP,CAAA,EAZJT,EAUCS,EAAAmF,CAAA,OAJYnG,EAAc,EAAA,CAAA,SAK3BO,EAAgDS,EAAA0F,CAAA,iEAf5C1G,EAAiB,EAAA,mFAURA,EAAc,EAAA,QAAdA,EAAc,EAAA,CAAA,uFAT8BA,EAAiB,EAAA,CAAA,0DAAjBA,EAAiB,EAAA,CAAA,+FAA1EI,EAAgFC,EAAAI,EAAAH,CAAA,mCAAvBN,EAAiB,EAAA,CAAA,mEA0BlBA,EAAgB,EAAA,CAAA,0DAAhBA,EAAgB,EAAA,CAAA,+FAAzEI,EAA+EC,EAAAI,EAAAH,CAAA,mCAAtBN,EAAgB,EAAA,CAAA,gwCAnZ3E,IAAA2G,EAAA3G,MAAaA,EAAW,CAAA,qkCAgBxBA,EAAO,EAAA,GAAA4G,GAAA,QAmBD,OAAO,OAAO5G,EAAS,CAAA,CAAA,CAAA,yBAA5B,OAAIe,GAAA,+CAUDf,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,IAAG6G,2JAiHtB,YAAA7G,MAAeA,EAAS,CAAA,YA+BhCA,EAAoB,CAAA,GAAA8G,GAAA9G,CAAA,EAuEpB+G,GAAA/G,OAAY,MAAIgH,GAAAhH,CAAA,KA6CdA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,KAAGiH,GAAAjH,CAAA,KAuB/BA,EAAiB,EAAA,GAAAkH,GAAAlH,CAAA,KAsCnBA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,KAAGmH,GAAAnH,CAAA,KAoC9BA,EAAgB,EAAA,GAAAoH,GAAApH,CAAA,uBAkDjBA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,KAAGqH,GAAArH,CAAA,KAc/BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,KAAGsH,GAAAtH,CAAA,KAiB/BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,KAAGuH,GAAAvH,CAAA,KAiB/BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,OAAKmC,GAAAnC,CAAA,KAiBjCA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,OAAKY,GAAAZ,CAAA,o0IAve3BA,EAAc,EAAA,IAAA,QAAAwH,GAAA,IAAAxH,EAAA,EAAA,EAAA,KAAAyH,CAAA,CAAA,mdAsJHzH,EAAoB,CAAA,CAAA,8OA4GnBA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,GAAG,ucAjC/CE,EAAAwH,GAAA,QAAAC,GAAA3H,EAAA,EAAA,EAEL,mCADA,iCACkC,wDAhHlBA,EAAW,EAAA,CAAA,sBACXA,EAAW,EAAA,CAAA,gBACjBA,EAAW,EAAA,CAAA,6VA7I7BI,EAqhBKC,EAAAuH,EAAAtH,CAAA,iCAngBJC,EAmHKqH,EAAApG,CAAA,EAlHJjB,EAeKiB,EAAAR,CAAA,EAdJT,EAA8CS,EAAA2B,CAAA,SAC9CpC,EAYKS,EAAAC,CAAA,EAXJV,EAUQU,EAAAwG,CAAA,gEARKzH,EAAc,EAAA,EAAA,EAAA,SAW7BO,EAiGKiB,EAAAG,CAAA,EAhGJpB,EAA4CoB,EAAAY,CAAA,SAC5ChC,EA8FKoB,EAAAC,CAAA,EA7FJrB,EAkEKqB,EAAAL,CAAA,sBAILhB,EAsBKqB,EAAAF,CAAA,UAKRnB,EA6YKqH,EAAAC,CAAA,EA5YJtH,EA2YKsH,EAAAC,CAAA,EA1YJvH,EAgTKuH,EAAAC,CAAA,EA1SJxH,EAuGKwH,EAAAC,CAAA,sBA5FJzH,EA2BKyH,EAAAC,CAAA,EAjBJ1H,EAMG0H,EAAAC,CAAA,UACH3H,EAAkB0H,EAAAE,EAAA,UAClB5H,EAQQ0H,EAAAG,EAAA,UAET7H,EA+DKyH,EAAAK,CAAA,2BAJJ9H,EAGO8H,EAAAnC,EAAA,EAFN3F,EAAmD2F,GAAAP,EAAA,aAAd3F,EAAW,EAAA,WAChDO,EAAsB2F,GAAAoC,CAAA,UAKzB/H,EAgMKwH,EAAAL,EAAA,EA3LJnH,EAwBKmH,GAAAa,EAAA,6BAELhI,EAgKKmH,GAAAc,EAAA,EA/JJjI,EAAyBiI,GAAAC,EAAA,WACzBlI,EA6BKiI,GAAAE,EAAA,EA5BJnI,EAMKmI,GAAAC,CAAA,WAGLpI,EAkBKmI,GAAAE,EAAA,EAjBJrI,EAMAqI,GAAAC,EAAA,sCAaFtI,EAgDKiI,GAAAM,EAAA,EA/CJvI,EA8CKuI,GAAAC,EAAA,uDA+BNxI,EAyBKiI,GAAAQ,CAAA,EAxBJzI,EAKKyI,EAAAC,EAAA,mCAIL1I,EAcKyI,EAAAE,EAAA,EAbJ3I,EAKC2I,GAAArD,EAAA,QADY7F,EAAgB,EAAA,CAAA,WAE7BO,EAMQ2I,GAAAC,EAAA,UA8Bb5I,EAwFKuH,EAAAsB,EAAA,EAvFJ7I,EAsFK6I,GAAAC,EAAA,EArFJ9I,EAYK8I,GAAAC,EAAA,qDAEL/I,EAsEK8I,GAAAE,EAAA,EArEJhJ,EAAmDgJ,GAAAC,EAAA,6IA7c9BxJ,EAAO,EAAA,CAAA,yKAJ5B+B,EAAA,CAAA,EAAA,GAAA0H,GAAA9C,EAAAA,EAAA3G,MAAaA,EAAW,CAAA,CAAA,kFAgBxBA,EAAO,EAAA,sEAmBD,OAAO,OAAOA,EAAS,CAAA,CAAA,CAAA,wBAA5B,OAAIe,IAAA,EAAA,yIAAJ,uBALUf,EAAc,EAAA,CAAA,+SAgIZ+B,EAAA,CAAA,EAAA,IAAA2H,GAAA,YAAA1J,MAAeA,EAAS,CAAA,qDAsBfA,EAAoB,CAAA,CAAA,EASrCA,EAAoB,CAAA,yFA2DaA,EAAW,EAAA,GAY5CA,OAAY,yJA4BMA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,GAAG,EAiB/CA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,uEAuB5BA,EAAiB,EAAA,qEAsCnBA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,oEAoC3BA,EAAgB,EAAA,0FAQPA,EAAgB,EAAA,SAAhBA,EAAgB,EAAA,CAAA,GA3JxB,CAAA2J,IAAA5H,EAAA,CAAA,EAAA,MAAA4F,MAAAA,GAAA3H,EAAA,EAAA,EAEL,mCADA,4FA/GgBA,EAAW,EAAA,CAAA,wCACXA,EAAW,EAAA,CAAA,kCACjBA,EAAW,EAAA,CAAA,EAiTlBA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,sHAc5BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,oHAiB5BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,oHAiB5BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,sHAiB5BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC;8hDAvetB4J,EAAcC,GAAA,IAAA,0CAEnBC,GAAgB,WAsJpBrF,EAAA,EAAAsF,GAAwBA,CAAoB,iBAe7B/F,EAAMgG,GAAA,KAAA,KAAA,uBAEjB,OAAO,QAAQ,UAAc,CAAA,EAAA,GAAIC,EAAiB,CAAA,KAIzCC,GAAC,CACVzF,EAAA,EAAAT,EAAS,KAAK,IAAI,EAAG,KAAK,IAAI,MAAO,KAAK,MAAMA,GAAU,CAAC,CAAA,CAAA,CAAA,EAC3DkG,EAAE,cAAc,MAAQlG,EAAO,SAAQ,iBAS5BD,EAASiG,GAAA,KAAA,KAAA,uBAEpB,OAAO,QAAQ,UAAc,CAAA,EAAA,GAAIC,EAAiB,CAAA,iBASvChG,EAAQ+F,GAAA,KAAA,KAAA,uBAEnB,OAAO,QAAQ,UAAc,CAAA,EAAA,GAAIC,EAAiB,CAAA,gBAUlCnG,EAAY,KAAA,2BAKMI,EAAY,KAAA,8BAMdP,EAAW,KAAA,mCAiBvC,MAAAwG,EAAkBC,CAAS,gBAS3B,MAAAC,EAA2BhE,GAAgBxC,CAAO,EAAGyG,CAAa,sBA2BlER,GAAgB,WAQrBrF,EAAA,GAAA8F,GAAqBA,CAAiB,iBAsBNC,EAAU,KAAA,8BAM7BA,EAAU,KAAA,8BAiDZC,EAAcT,GAAA,KAAA,KAAA,6BAEnB,MAAAG,EAAkBM,CAAc,gBAsB5BC,EAAgB,KAAA,4BAK3BL,EAA2BK,CAAgB,YAuCvBC,GAAE,CACnB,IAAAvI,EAAauI,EAAG,OAAO,WAErB,MAAAR,EAAkB/H,CAAU,EAClCwI,cAUqBD,GAAE,CACnB,IAAAvI,EAAauI,EAAG,OAAO,WAErB,MAAAR,EAAkB/H,CAAU,EAClCwI,cAEuBD,GAAE,CACrB,IAAAtI,EAAesI,EAAG,OAAO,aACzBrI,GAAiBqI,EAAG,OAAO,qBAEzBN,EAA2BhI,EAAcC,EAAc,EAC7DsI,cAMqBD,GAAE,CACnB,IAAAvI,EAAauI,EAAG,OAAO,WAErB,MAAAR,EAAkB/H,CAAU,EAClCwI,cAEuBD,GAAE,CACrB,IAAAtI,EAAesI,EAAG,OAAO,aACzBrI,GAAiBqI,EAAG,OAAO,qBAEzBN,EAA2BhI,EAAcC,EAAc,EAC7DsI,cAMqBD,GAAE,CACnB,IAAAvI,EAAauI,EAAG,OAAO,WAErB,MAAAR,EAAkB/H,CAAU,EAClCwI,cAEuBD,GAAE,CACrB,IAAAtI,EAAesI,EAAG,OAAO,aACzBrI,GAAiBqI,EAAG,OAAO,qBAEzBN,EAA2BhI,EAAcC,EAAc,EAC7DsI,cAMqBD,GAAE,CACnB,IAAAvI,EAAauI,EAAG,OAAO,WAErB,MAAAR,EAAkB/H,CAAU,EAClCwI,cAEuBD,GAAE,CACrB,IAAAtI,EAAesI,EAAG,OAAO,aACzBrI,GAAiBqI,EAAG,OAAO,qBAEzBN,EAA2BhI,EAAcC,EAAc,EAC7DsI"}