{"version":3,"file":"4.7ff008f1.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/lib/colorSchemes.ts","../../../../../../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","/**\n * Color scheme definitions for machine visualization\n */\n\nexport interface ColorScheme {\n  background: string;\n  foreground: string;\n}\n\nexport const lightScheme: ColorScheme = {\n  background: \"white\",\n  foreground: \"orange\"\n};\n\nexport const darkScheme: ColorScheme = {\n  background: \"black\",\n  foreground: \"white\"\n};\n\n/**\n * Get the current color scheme based on dark mode setting\n */\nexport function getColorScheme(isDarkMode: boolean): ColorScheme {\n  return isDarkMode ? darkScheme : lightScheme;\n}\n","<script lang=\"ts\">\n    import { tm_trace_to_image, tm_explore, tm_blaze, clearBlazeCache, stopBlazeWorker, isBlazeRunning, wasBlazeManuallyStoppped } from '$lib/tm';\n    import { onMount, createEventDispatcher, onDestroy } from 'svelte';\n    import { getColorScheme } from '$lib/colorSchemes';\n    \n    // Create event dispatcher\n    const dispatch = createEventDispatcher();\n    \n    // Define our VisualizationMode enum with proper TypeScript typing\n    enum VisualizationMode {\n        DEFAULT = 'default',\n        EXPLORE = 'explore',\n        BLAZE = 'blaze'\n    }\n    \n    // Replace the binary exploreMode prop with visualizationMode\n    export let visualizationMode: VisualizationMode = VisualizationMode.DEFAULT;\n    export let machine: any;\n    export let initial_tape: string;\n    export let tapeWidth: number;\n    export let nbIter: bigint;\n    export let origin_x: number;\n    export let showHeadMove: boolean;\n    \n    export let machineName: string;\n    \n    // Renamed from xStretch to stretch\n    export let stretch: boolean = true;\n    \n    // New quality parameter for binning control in Blaze mode\n    export let quality: boolean = true;\n    \n    // New dark mode parameter for theme control in Blaze mode\n    export let darkMode: boolean = false;\n    \n    // Track if blaze is currently running\n    let isRunning = false;\n    \n    // Helper functions to simplify conditional checks with proper types\n    function isDefaultMode(mode: VisualizationMode): boolean {\n        return mode === VisualizationMode.DEFAULT;\n    }\n    \n    function isExploreMode(mode: VisualizationMode): boolean {\n        return mode === VisualizationMode.EXPLORE;\n    }\n    \n    function isBlazeMode(mode: VisualizationMode): boolean {\n        return mode === VisualizationMode.BLAZE;\n    }\n    \n    // Helper function to check if a parameter should be shown based on visualization mode\n    export function shouldShowParameter(mode: VisualizationMode, paramName: string): boolean {\n        if (isBlazeMode(mode)) {\n            // Blaze mode only shows steps parameter\n            return paramName === 'nbIter';\n        }\n        // Default and Explore modes show all parameters\n        return true;\n    }\n    \n    let canvas: HTMLCanvasElement;\n    \n    const drawRect = (context: CanvasRenderingContext2D): void => {\n        // Default and Explore modes should always use dark background\n        // Blaze mode should follow the darkMode setting\n        if (isBlazeMode(visualizationMode)) {\n            const colorScheme = getColorScheme(darkMode);\n            context.fillStyle = colorScheme.background;\n        } else {\n            // Default and Explore always use dark background\n            context.fillStyle = 'black';\n        }\n        \n        context.fillRect(0, 0, canvas.width, canvas.height);\n        context.fill();\n    };\n    \n    // Function to handle the re-run/stop button\n    function handleBlazeButton(): void {\n        if (isRunning) {\n            // If running, stop the worker\n            console.log('Stopping blaze visualization');\n            const stopped = stopBlazeWorker();\n            if (stopped) {\n                isRunning = false;\n                // Dispatch event to update UI\n                dispatch('blazeStateChange', { running: false });\n                \n                // Update button immediately\n                updateBlazeButtonText();\n                \n                // Find and update the status element manually in case the worker's terminated\n                const statusElement = document.getElementById('tm-blaze-status');\n                if (statusElement) {\n                    const currentText = statusElement.textContent || '';\n                    // Replace \"Running\" with \"Stopped\" in the status text\n                    const updatedText = currentText.replace(/Running/, 'Stopped');\n                    statusElement.innerHTML = `<em>${updatedText}</em>`;\n                }\n            }\n        } else {\n            // If not running, start a new run\n            console.log('Forcing re-run of blaze visualization');\n            // Clear the Blaze cache to force a new render\n            clearBlazeCache();\n            \n            // Find and update the status element to immediately show \"Running\"\n            const statusElement = document.getElementById('tm-blaze-status');\n            if (statusElement) {\n                const currentText = statusElement.textContent || '';\n                // Replace \"Stopped\" with \"Running\" in the status text\n                const updatedText = currentText.replace(/Stopped/, 'Running');\n                statusElement.innerHTML = `<em>${updatedText}</em>`;\n            }\n            \n            if (canvas) {\n                // Force immediate redraw\n                draw();\n                dispatch('blazeStateChange', { running: true });\n            }\n        }\n    }\n    \n    // Setup the re-run/stop button click handler\n    function setupBlazeButton() {\n        setTimeout(() => {\n            const blazeButton = document.getElementById('tm-blaze-rerun');\n            if (blazeButton) {\n                blazeButton.onclick = handleBlazeButton;\n                \n                // Update button text based on running state\n                updateBlazeButtonText();\n            }\n        }, 0);\n    }\n    \n    // Function to update button text based on running state\n    function updateBlazeButtonText() {\n        const blazeButton = document.getElementById('tm-blaze-rerun');\n        if (blazeButton) {\n            // Get current running state from the TM module\n            isRunning = isBlazeRunning();\n            \n            // Update button text/class based on running state\n            if (isRunning) {\n                blazeButton.textContent = 'stop';\n                blazeButton.classList.remove('bg-blue-600', 'text-white', 'hover:bg-blue-500');\n                blazeButton.classList.add('bg-white', 'text-black', 'border', 'border-gray-300');\n            } else {\n                blazeButton.textContent = 're-run';\n                blazeButton.classList.remove('bg-white', 'text-black', 'border', 'border-gray-300');\n                blazeButton.classList.add('bg-blue-600', 'text-white', 'hover:bg-blue-500');\n            }\n        }\n    }\n    \n    // Function to start a timer to update button state\n    let buttonStateTimer: number;\n    function startButtonStateTimer() {\n        // Clear any existing timer\n        if (buttonStateTimer) clearInterval(buttonStateTimer);\n        \n        // Start a new timer to update button state every 200ms\n        buttonStateTimer = setInterval(() => {\n            updateBlazeButtonText();\n        }, 200);\n    }\n    \n    onMount(() => {\n        if (isBlazeMode(visualizationMode)) {\n            setupBlazeButton();\n            startButtonStateTimer();\n        }\n    });\n    \n    onDestroy(() => {\n        // Clean up timer on component destroy\n        if (buttonStateTimer) clearInterval(buttonStateTimer);\n    });\n    \n    // Watch for changes to visualization mode to set up the button when switching to Blaze\n    $: if (isBlazeMode(visualizationMode)) {\n        setupBlazeButton();\n        startButtonStateTimer();\n    } else {\n        // Clear timer when not in Blaze mode\n        if (buttonStateTimer) clearInterval(buttonStateTimer);\n    }\n    \n    // Watch for dark mode changes and force a redraw\n    $: if (isBlazeMode(visualizationMode) && machine) {\n        // If we're in Blaze mode and darkMode changes, force a redraw\n        darkMode; // Add reactive dependency on darkMode\n        \n        // When darkMode changes, clear the Blaze cache to force a new render with the new colors\n        clearBlazeCache();\n        \n        // Only redraw if canvas exists\n        if (canvas) {\n            console.log(\"Dark mode changed, forcing redraw with new colors\");\n            draw();\n        }\n    }\n    \n    // Update the class on the canvas element based on mode\n    $: canvasClass = isBlazeMode(visualizationMode) \n        ? (darkMode ? \"bg-black image-render-pixel\" : \"bg-white image-render-pixel\")\n        : \"bg-slate-800 image-render-pixel\"; // Default and Explore always use dark slate\n    \n    let drawCleanup: (() => void) | undefined;\n    async function draw(): Promise<void> {\n        if (drawCleanup) drawCleanup();\n        \n        // Update the width of the canvas based on visualization mode\n        // Non-default modes use the wider canvas\n        canvas.width = isDefaultMode(visualizationMode) ? 400 : 800;\n        \n        if (!machine) {\n            return;\n        }\n        \n        const context = canvas.getContext('2d');\n        if (!context) return;\n        \n        drawRect(context);\n        \n\t\t// Choose visualization method based on mode\n\t\tswitch (visualizationMode) {\n\t\t\tcase VisualizationMode.EXPLORE:\n                const height_explore = Number(nbIter > 99999n ? 99999n : nbIter);\n\t\t\t    drawCleanup = tm_explore(context, machine, initial_tape, height_explore);\n\t\t\t    break;\n\t\t\t\n\t\t\tcase VisualizationMode.BLAZE:\n\t\t\t\t// Pass stretch, quality, and color scheme parameters to tm_blaze\n\t\t\t\ttry {\n                    // Track running state before calling tm_blaze\n                    isRunning = true;\n                    dispatch('blazeStateChange', { running: true });\n                    \n                    // Update button immediately\n                    updateBlazeButtonText();\n                    \n                    // Get color scheme based on dark mode setting\n                    const colorScheme = getColorScheme(darkMode);\n                    \n                    await tm_blaze(\n                        context, \n                        machine, \n                        nbIter, \n                        stretch, \n                        quality, \n                        colorScheme.background, \n                        colorScheme.foreground\n                    ).catch(error => {\n                        console.error(\"Error in blaze visualization:\", error);\n                    });\n                    \n                    // Update running state after tm_blaze completes\n                    isRunning = false;\n                    dispatch('blazeStateChange', { running: false });\n                    \n                    // Update button after completion\n                    updateBlazeButtonText();\n                } catch (error) {\n                    console.error(\"Error in blaze visualization:\", error);\n                    isRunning = false;\n                    dispatch('blazeStateChange', { running: false });\n                    updateBlazeButtonText();\n                }\n                break;\n\t\t\t\n\t\t\tcase VisualizationMode.DEFAULT:\n\t\t\tdefault:\n\t\t\t    // Default mode\n                const height_default = Number(nbIter > 99999n ? 99999n : nbIter);\n\t\t\t    tm_trace_to_image(\n\t\t\t\t    context,\n\t\t\t\t    machine,\n\t\t\t\t    initial_tape,\n\t\t\t\t    tapeWidth,\n\t\t\t\t    height_default,\n\t\t\t\t    origin_x,\n\t\t\t\t    true,\n\t\t\t\t    showHeadMove\n\t\t\t    );\n\t\t\t    break;\n\t\t}\n    }\n    \n    $: {\n        // Dependencies:\n        visualizationMode;\n        machine;\n        initial_tape;\n        tapeWidth;\n        nbIter;\n        origin_x;\n        showHeadMove;\n        stretch; // Renamed from xStretch\n        quality; // Add new dependency\n        darkMode; // Add new dark mode dependency (no actual effect yet)\n        \n        if (canvas) {\n            draw();\n        }\n    }\n</script>\n\n<div class=\"relative mr-5\">\n    <canvas class={canvasClass} 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\ttm_blaze,\n\t\ttmToMachineCode,\n\t\tmachineCodeToTM,\n\t\tDB_SIZE,\n\t\tAPIDecisionStatusToTMDecisionStatus,\n\t\tformatStepCountWithCommas,\n\t\tparseFormattedStepCount\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\tenum VisualizationMode {\n\t\tDEFAULT = 'default',\n\t\tEXPLORE = 'explore',\n\t\tBLAZE = 'blaze'\n\t}\n\n\tfunction isDefaultMode(mode: VisualizationMode) {\n\t\treturn mode === VisualizationMode.DEFAULT;\n\t}\n\n\tfunction isExploreMode(mode: VisualizationMode) {\n\t\treturn mode === VisualizationMode.EXPLORE;\n\t}\n\n\tfunction isBlazeMode(mode: VisualizationMode) {\n\t\treturn mode === VisualizationMode.BLAZE;\n\t}\n\n\tfunction showBlazeOption(machine: any) {\n\t\treturn machine !== null && machine.symbols === 2;\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 visualizationMode = VisualizationMode.DEFAULT;\n\t// Initialize previousVisualizationMode to null\n\tlet previousVisualizationMode: VisualizationMode | null = null;\n\tlet showHeadMove = true;\n\n\t// Renamed from xStretch to stretch\n\tlet stretch = true;\n\t\n\t// New state for quality toggle in Blaze mode\n\tlet quality = true;\n\t\n\t// New state for light/dark mode toggle in Blaze mode\n\tlet darkMode = false;\n\n\tconst nbIterDefault = 10000n;\n\tconst tapeWidthDefault = 400;\n\tconst origin_xDefault = 0.5;\n\texport let nbIter: bigint = 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\t// Create URL object to properly handle and preserve query parameters\n\t\tconst url = new URL(window.location.origin + '/' + secondPrefix);\n\t\t\n\t\t// Add simulation parameters\n\t\tif (nbIter !== nbIterDefault) {\n\t\t\turl.searchParams.set('s', nbIter.toString());\n\t\t}\n\t\tif (tapeWidth !== tapeWidthDefault) {\n\t\t\turl.searchParams.set('w', tapeWidth.toString());\n\t\t}\n\t\tif (origin_x !== origin_xDefault) {\n\t\t\turl.searchParams.set('ox', origin_x.toString());\n\t\t}\n\t\t\n\t\t\t// For local navigation, just return the pathname and search\n\t\tif (!forCopy) {\n\t\t\treturn url.pathname + url.search;\n\t\t}\n\t\t\n\t\t// For copying, return the full URL\n\t\treturn url.href;\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\t\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\t\t\t\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\t\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\n\t// Reactive statement to detect transition from Blaze to non-Blaze mode.\n\t$: {\n\t\tif (previousVisualizationMode === VisualizationMode.BLAZE && visualizationMode !== VisualizationMode.BLAZE) {\n\t\t\tif (nbIter > 10000) {\n\t\t\t\tnbIter = 10000n;\n\t\t\t\twindow.history.pushState({}, '', getSimulationLink());\n\t\t\t\tconsole.log(\"Switched from Blaze: nbIter limited to 10,000\");\n\t\t\t}\n\t\t}\n\t\t// Update previousVisualizationMode *after* the check\n\t\tpreviousVisualizationMode = visualizationMode;\n\t}\n\n\t// New reactive statement: when switching to Blaze mode, show simulation parameters.\n\t$: if (visualizationMode === VisualizationMode.BLAZE) {\n\t\tshowSimulationParams = true;\n\t}\n\n\t// New reactive statement: auto-switch from Blaze to Default mode for machines with more than 2 symbols\n\t$: if (machine !== null && visualizationMode === VisualizationMode.BLAZE && machine.symbols > 2) {\n\t\tvisualizationMode = VisualizationMode.DEFAULT;\n\t\tconsole.log(\"Auto-switched from Blaze to Default mode: machine has more than 2 symbols\");\n\t}\n\n\t// Add a new variable to hold the formatted steps value for display\n\tlet formattedNbIter = '';\n\n\t// Update formattedNbIter whenever nbIter changes\n\t$: formattedNbIter = formatStepCountWithCommas(nbIter.toString());\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 />\n\t\t\t\t\t\tWe have reached <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> of 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={isDefaultMode(visualizationMode)}\n\t\t\t\tclass:items-start={isDefaultMode(visualizationMode)}\n\t\t\t\tclass:colors={isExploreMode(visualizationMode)}\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\tvisualizationMode={visualizationMode}\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\tstretch={stretch}\n\t\t\t\t\t\tquality={quality}\n\t\t\t\t\t\t{darkMode}\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<div class=\"flex items-center\">\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\tclass={isBlazeMode(visualizationMode) ? 'w-[150px] text-black' : 'w-[70px] text-black'}\n\t\t\t\t\t\t\t\t\t\t\t\ttype=\"text\"\n\t\t\t\t\t\t\t\t\t\t\t\tvalue={formattedNbIter}\n\t\t\t\t\t\t\t\t\t\t\t\ton:input={(e) => {\n\t\t\t\t\t\t\t\t\t\t\t\t\t// Format the input value with commas\n\t\t\t\t\t\t\t\t\t\t\t\t\tconst plainValue = parseFormattedStepCount(e.currentTarget.value);\n\t\t\t\t\t\t\t\t\t\t\t\t\tif (!isNaN(Number(plainValue))) {\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tnbIter = BigInt(plainValue || \"0\"); \n\t\t\t\t\t\t\t\t\t\t\t\t\t\tformattedNbIter = formatStepCountWithCommas(plainValue);\n\t\t\t\t\t\t\t\t\t\t\t\t\t\te.currentTarget.value = formattedNbIter;\n\t\t\t\t\t\t\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t\t\t\t\ton:change={(e) => {\n\t\t\t\t\t\t\t\t\t\t\t\t\tconst plainValue = parseFormattedStepCount(e.currentTarget.value);\n\t\t\t\t\t\t\t\t\t\t\t\t\tnbIter = BigInt(plainValue || \"0\");\n\t\t\t\t\t\t\t\t\t\t\t\t\tconst url = new URL(window.location.href);\n\t\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\t\t// Update the displayed value with proper formatting\n\t\t\t\t\t\t\t\t\t\t\t\t\tformattedNbIter = formatStepCountWithCommas(nbIter.toString());\n\t\t\t\t\t\t\t\t\t\t\t\t\te.currentTarget.value = formattedNbIter;\n\t\t\t\t\t\t\t\t\t\t\t\t}}\n\t\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\t\tif (!isBlazeMode(visualizationMode))\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t{\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\tif (isNaN(Number(nbIter)) || nbIter <= 0n) nbIter = 1n;\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\tif (nbIter > 99999n) nbIter = 99999n;\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\t\t\t\t\t\t\tformattedNbIter = formatStepCountWithCommas(nbIter.toString());\n\t\t\t\t\t\t\t\t\t\t\t\t\te.currentTarget.value = formattedNbIter;\n\t\t\t\t\t\t\t\t\t\t\t\t}}\n\t\t\t\t\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t\t\t\t\t\t{#if isBlazeMode(visualizationMode)}\n\t\t\t\t\t\t\t\t\t\t\t\t<button \n\t\t\t\t\t\t\t\t\t\t\t\t\tclass=\"ml-1 bg-blue-600 text-white text-xs px-1 py-0.5 rounded\"\n\t\t\t\t\t\t\t\t\t\t\t\t\ton:click={() => {\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tnbIter =  nbIter * 10n;\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tformattedNbIter = formatStepCountWithCommas(nbIter.toString());\n\t\t\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\t\t}}\n\t\t\t\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t\t\t\t\t▲ ×10\n\t\t\t\t\t\t\t\t\t\t\t\t</button>\n\t\t\t\t\t\t\t\t\t\t\t\t<button \n\t\t\t\t\t\t\t\t\t\t\t\t\tclass=\"ml-1 bg-blue-600 text-white text-xs px-1 py-0.5 rounded\"\n\t\t\t\t\t\t\t\t\t\t\t\t\ton:click={() => {\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tnbIter = (nbIter > 10n) ? nbIter / 10n : 1n;\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tformattedNbIter = formatStepCountWithCommas(nbIter.toString());\n\t\t\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\t\t}}\n\t\t\t\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t\t\t\t\t▼ ÷10\n\t\t\t\t\t\t\t\t\t\t\t\t</button>\n\t\t\t\t\t\t\t\t\t\t\t\t<button \n\t\t\t\t\t\t\t\t\t\t\t\t\tclass=\"ml-1 text-xs px-1 py-0.5 rounded\"\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:bg-blue-600={stretch}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:text-white={stretch}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:border={!stretch}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:bg-gray-200={!stretch}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:text-gray-800={!stretch}\n\t\t\t\t\t\t\t\t\t\t\t\t\ton:click={() => stretch = !stretch}\n\t\t\t\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t\t\t\t\tstretch\n\t\t\t\t\t\t\t\t\t\t\t\t</button>\n\t\t\t\t\t\t\t\t\t\t\t\t<button \n\t\t\t\t\t\t\t\t\t\t\t\t\tclass=\"ml-1 text-xs px-1 py-0.5 rounded\"\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:bg-blue-600={quality}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:text-white={quality}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:border={!quality}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:bg-gray-200={!quality}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:text-gray-800={!quality}\n\t\t\t\t\t\t\t\t\t\t\t\t\ton:click={() => quality = !quality}\n\t\t\t\t\t\t\t\t\t\t\t\t\tdata-param=\"quality\"\n\t\t\t\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t\t\t\t\t{quality ? 'quality' : 'speed'}\n\t\t\t\t\t\t\t\t\t\t\t\t</button>\n\t\t\t\t\t\t\t\t\t\t\t\t<button \n\t\t\t\t\t\t\t\t\t\t\t\t\tclass=\"ml-1 text-xs px-1 py-0.5 rounded border\"\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:bg-white={!darkMode}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:bg-black={darkMode}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:text-orange-500={!darkMode}\n\t\t\t\t\t\t\t\t\t\t\t\t\tclass:text-white={darkMode}\n\t\t\t\t\t\t\t\t\t\t\t\t\ton:click={() => darkMode = !darkMode}\n\t\t\t\t\t\t\t\t\t\t\t\t\tdata-param=\"theme\"\n\t\t\t\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t\t\t\t\t{darkMode ? 'dark' : 'light'}\n\t\t\t\t\t\t\t\t\t\t\t\t</button>\n\t\t\t\t\t\t\t\t\t\t\t\t<!-- Add the re-run button with active styling instead of opacity-50 -->\n\t\t\t\t\t\t\t\t\t\t\t\t<button \n\t\t\t\t\t\t\t\t\t\t\t\t\tclass=\"ml-1 bg-blue-600 text-white text-xs px-1 py-0.5 rounded hover:bg-blue-500 active:bg-blue-700\"\n\t\t\t\t\t\t\t\t\t\t\t\t\tid=\"tm-blaze-rerun\"\n\t\t\t\t\t\t\t\t\t\t\t\t\tdata-param=\"rerun\"\n\t\t\t\t\t\t\t\t\t\t\t\t>\n\t\t\t\t\t\t\t\t\t\t\t\t\tre-run\n\t\t\t\t\t\t\t\t\t\t\t\t</button>\n\t\t\t\t\t\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t\t\t</label>\n\t\t\t\t\t\t\t\t\t{#if !isBlazeMode(visualizationMode)}\n\t\t\t\t\t\t\t\t\t\t<label class=\"flex flex-col\">\n\t\t\t\t\t\t\t\t\t\t\ttape width\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\tclass=\"w-[70px] text-black\"\n\t\t\t\t\t\t\t\t\t\t\t\ttype=\"number\"\n\t\t\t\t\t\t\t\t\t\t\t\tbind:value={tapeWidth}\n\t\t\t\t\t\t\t\t\t\t\t\ton:change={() => {\n\t\t\t\t\t\t\t\t\t\t\t\t\tconst url = new URL(window.location.href);\n\t\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\t}}\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\t<label class=\"flex flex-col\">\n\t\t\t\t\t\t\t\t\t\t\tx-translation\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\tclass=\"w-[70px] text-black\"\n\t\t\t\t\t\t\t\t\t\t\t\ttype=\"number\"\n\t\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\t\ton:change={() => {\n\t\t\t\t\t\t\t\t\t\t\t\t\tconst url = new URL(window.location.href);\n\t\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\t}}\n\t\t\t\t\t\t\t\t\t\t\t\tmin=\"0\"\n\t\t\t\t\t\t\t\t\t\t\t\tmax=\"1\"\n\t\t\t\t\t\t\t\t\t\t\t\tstep=\"0.1\"\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{/if}\n\t\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t\t\t{#if !isBlazeMode(visualizationMode)}\n\t\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\t<div>initial tape content</div>\n\t\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\t</label>\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{/if}\n\t\t\t\t\t\t{#if isDefaultMode(visualizationMode)}\n\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<input type=\"checkbox\" bind:checked={showHeadMove} />\n\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</label>\n\t\t\t\t\t\t{/if}\n\t\t\t\t\t\t<div class=\"text-sm mt-2 flex items-center\"> \n\t\t\t\t\t\t\t<span class=\"mr-2\">Visualization:</span>\n\t\t\t\t\t\t\t<div class=\"flex items-center border rounded-md\">\n\t\t\t\t\t\t\t\t<label class=\"px-2 py-1 cursor-pointer\" \n\t\t\t\t\t\t\t\t\tclass:bg-blue-600={isDefaultMode(visualizationMode)}\n\t\t\t\t\t\t\t\t\tclass:text-white={isDefaultMode(visualizationMode)}>\n\t\t\t\t\t\t\t\t\t<input type=\"radio\" class=\"hidden\" bind:group={visualizationMode} value={VisualizationMode.DEFAULT} />\n\t\t\t\t\t\t\t\t\tDefault\n\t\t\t\t\t\t\t\t</label>\n\t\t\t\t\t\t\t\t<div class=\"h-4 border-l border-gray-300\"></div>\n\t\t\t\t\t\t\t\t<label class=\"px-2 py-1 cursor-pointer\"\n\t\t\t\t\t\t\t\t\tclass:bg-blue-600={isExploreMode(visualizationMode)}\n\t\t\t\t\t\t\t\t\tclass:text-white={isExploreMode(visualizationMode)}>\n\t\t\t\t\t\t\t\t\t<input type=\"radio\" class=\"hidden\" bind:group={visualizationMode} value={VisualizationMode.EXPLORE} />\n\t\t\t\t\t\t\t\t\tExplore\n\t\t\t\t\t\t\t\t</label>\n\t\t\t\t\t\t\t\t<div class=\"h-4 border-l border-gray-300\"></div>\n\t\t\t\t\t\t\t\t<label class=\"px-2 py-1 cursor-pointer\"\n\t\t\t\t\t\t\t\t\tclass:bg-blue-600={isBlazeMode(visualizationMode)}\n\t\t\t\t\t\t\t\t\tclass:text-white={isBlazeMode(visualizationMode)}\n\t\t\t\t\t\t\t\t\tclass:opacity-50={!showBlazeOption(machine)}\n\t\t\t\t\t\t\t\t\tclass:cursor-not-allowed={!showBlazeOption(machine)}>\n\t\t\t\t\t\t\t\t\t<input type=\"radio\" class=\"hidden\" bind:group={visualizationMode} value={VisualizationMode.BLAZE}\n\t\t\t\t\t\t\t\t\t\tdisabled={!showBlazeOption(machine)} />\n\t\t\t\t\t\t\t\t\tBlaze\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</div>\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={isDefaultMode(visualizationMode)\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{#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\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\t\t\t\t\t\t</div>\n\t\t\t\t\t\t{#if showRandomOptions}\n\t\t\t\t\t\t\t<div class=\"mx-3\">\n\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<input type=\"radio\" bind:group={randomType} name=\"randomType\" value=\"all\" />\n\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</label>\n\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<input\n\t\t\t\t\t\t\t\t\t\ttype=\"radio\"\n\t\t\t\t\t\t\t\t\t\tbind:group={randomType}\n\t\t\t\t\t\t\t\t\t\tname=\"randomType\"\n\t\t\t\t\t\t\t\t\t\tvalue=\"all_undecided\"\n\t\t\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t\t\t\t<div>\n\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\tmetrics['total_undecided']\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</label>\n\t\t\t\t\t\t\t\t<!-- <label\n\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>\n\t\t\t\t\t\t\t\t\t<input\n\t\t\t\t\t\t\t\t\t\ttype=\"radio\"\n\t\t\t\t\t\t\t\t\t\tbind:group={randomType}\n\t\t\t\t\t\t\t\t\t\tname=\"randomType\"\n\t\t\t\t\t\t\t\t\t\tvalue=\"all_undecided_apply_heuristics\"\n\t\t\t\t\t\t\t\t\t/>\n\t\t\t\t\t\t\t\t\t<div>\n\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\tmetrics['total_undecided_with_heuristcs']\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</label> -->\n\t\t\t\t\t\t\t</div>\n\t\t\t\t\t\t{/if}\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>From id in 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\t</div>\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>From <a\n\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\tclass=\"text-blue-400 hover:text-blue-300 cursor-pointer\">standard format</a\n\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>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\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=\"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","lightScheme","darkScheme","getColorScheme","isDarkMode","canvas_1","canvas","$$value","seotitle_changes","option","t","t_value","t4_value","t4","strong","br0","ul0","br1","ul1","show_if_2","show_if_1","show_if","input","input_class_value","label","button0","button1","button2","button3","button4","button5","t6","t6_value","t8","t8_value","label0","input0","label1","input1","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_20","create_if_block_19","create_if_block_15","if_block5","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","input0_value_value","toggle_class","input1_value_value","input2","input2_value_value","input2_disabled_value","showBlazeOption","label2","div27","div27_class_value","div28","div36","div35","div34","div17","div11","a2","div10","div16","div15","span2","div14","div12","div13","div18","div26","div19","div22","div20","div21","div25","div23","div24","input3","div33","div32","div29","div31","div30","safe_not_equal","machinecanvas_changes","current","curr_challenge","select_value","getRandomMachine","$$invalidate","showSimulationParams","e","plainValue","parseFormattedStepCount","nbIter","formattedNbIter","formatStepCountWithCommas","getSimulationLink","isBlazeMode","visualizationMode","click_handler_3","stretch","click_handler_4","quality","click_handler_5","darkMode","tapeWidth","to_number","origin_x","initial_tape","showHeadMove","loadMachineFromID","machineID","loadMachineFromMachineCode","machine","machineStatus","showRandomOptions","randomType","typedMachineID","typedMachineCode","ev","defaultSimulationParameters"],"mappings":"spCAiE8BA,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,oJAhBEN,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,wBAAZ,OAAIe,GAAA,qHA5BP;AAAA,uEACoE,gBAAM;AAAA,GAC1E,+BAIC;AAAA,GACD,ueAPA;AAAA,uEACoE,uBAAM;AAAA,GAC1E,8GAIC;AAAA,GACD,qoCAhBFX,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,SACLnB,EA0BKiB,EAAAG,CAAA,EAzBJpB,EAwBKoB,EAAAC,EAAA,8EA1CI5B,EAAQ,CAAA,CAAA,oBAAb,OAAIe,GAAA,EAAA,sHAAJ,oBAmBIf,EAAO,CAAA,CAAA,oBAAZ,OAAIe,GAAA,EAAA,+HAAJ,spCAcIc,EAAS,aAAgB,CAAA,WAAYC,CAAI,CAAA,8FC1D7CpB,EAAAC,GAAiBX,EAAU,CAAA,CAAA,EAAA,oCAD9B,GACE,kEADF,GACE,sFANFI,EAOAC,EAAAG,EAAAF,CAAA,sDADGyB,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,iLAhBCN,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,2UAOAF,EAKAC,EAAAkC,EAAAjC,CAAA,iVAOAF,EAKAC,EAAAkC,EAAAjC,CAAA,4UAOAF,EAKAC,EAAAkC,EAAAjC,CAAA,oVAQAF,EAKCC,EAAAkC,EAAAjC,CAAA,kGAGmD,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,uJAhBe,eAAAC,GAAiB,8BAEnBF,GAAgB1C,EAAC,EAAA,CAAA,EAAE,g8CA/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,sgEA3HfV,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,sFAENd,EAoCKC,EAAAmB,EAAAlB,CAAA,EAnCJC,EAIKiB,EAAAE,CAAA,UACLnB,EAuBKiB,EAAAI,EAAA,4DAELrB,EAIKiB,EAAAG,EAAA,2VAvFG3B,EAA8B,CAAA,CAAA,wBAAnC,OAAIe,IAAA,EAAA,0HAAJ,OAAIA,GAAAmC,EAAA,OAAAnC,IAAA,kRA2DEkC,GAAAnC,GAAA,CAAA,EAAG,EAAE,CAAA,oTA3DX,OAAIC,GAAA,+oBArDHc,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,sGC9BE,MAAMoD,GAA2B,CACtC,WAAY,QACZ,WAAY,QACd,EAEaC,GAA0B,CACrC,WAAY,QACZ,WAAY,OACd,EAKO,SAASC,GAAeC,EAAkC,CAC/D,OAAOA,EAAaF,GAAaD,EACnC,mNC+RmB1D,EAAW,CAAA,CAAA,8EAD9BI,EAEKC,EAAAI,EAAAH,CAAA,EADDC,EAAyEE,EAAAqD,CAAA,sCAA1D9D,EAAW,CAAA,CAAA,+3EAAa+D,EAAMC,urCCqD/B,MAAAhE,MAAaA,EAAW,CAAA,gGAAxB+B,EAAA,CAAA,EAAA,IAAAkC,EAAA,MAAAjE,MAAaA,EAAW,CAAA,8bAgBxCI,EAIKC,EAAAkB,EAAAjB,CAAA,yCAe0BN,EAAS,EAAA,EAAA,oIAArBA,EAAS,EAAA,0BAAxBI,EAA6CC,EAAA6D,EAAA5D,CAAA,kCAAlBN,EAAS,EAAA,EAAA,KAAAgC,GAAAmC,EAAAC,CAAA,mBAArBpE,EAAS,EAAA,mFAsERqE,EAAArE,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,EAAA,EAAAC,CAAA,8DAHO,IAAMN,EAAqC,EAAA,EAACA,EAAc,EAAA,CAAA,kBAIjD+B,EAAA,CAAA,EAAA,MAAAsC,KAAAA,EAAArE,MAA0BA,EAAc,EAAA,CAAA,EAAA,KAAAgC,GAAAsC,EAAAD,CAAA;;;;sJA7DrB,eACtB,oCAAkB;AAAA,OAC/B,gBAAK;AAAA,uBACW,+BAIf,eAAa,+BAId;AAAA;AAAA,OAEA,8CAcK;AAAA;AAAA,OAEL,+CA7BmC,eACtB,wFAAkB;AAAA,OAC/B,uBAAK;AAAA,uBACW,2GAIf,eAAa,0GAId;AAAA;AAAA,OAEA,gHAcK;AAAA;AAAA,OAEL,wcA5BajE,EAAkBC,EAAAkE,EAAAjE,CAAA,WAC/BF,EAAKC,EAAAmE,EAAAlE,CAAA,WACWF,EAIfC,EAAAe,EAAAd,CAAA,WAAaF,EAIdC,EAAAiB,EAAAhB,CAAA,WAEAF,EAaIC,EAAAoE,EAAAnE,CAAA,WACJF,EAAKC,EAAAqE,EAAApE,CAAA,WAELF,EAwBIC,EAAAsE,EAAArE,CAAA,6HAkIMsE,EAAA5E,MAAYA,EAAiB,CAAA,CAAA,IAkE9B6E,EAAA,CAAA7E,MAAYA,EAAiB,CAAA,CAAA,IA8B9B8E,EAAA,CAAA9E,MAAYA,EAAiB,CAAA,CAAA,yFAnIN;AAAA,WAE3B,uMAF2B;AAAA,WAE3B,4LAESE,EAAA6E,EAAA,QAAAC,EAAAhF,MAAYA,EAAiB,CAAA,CAAA,EAAI,uBAAyB,qBAAqB,6BAE/EA,EAAe,EAAA,kIAR3BI,EA2IKC,EAAAkB,EAAAjB,CAAA,EA1IJC,EAmIKgB,EAAAP,CAAA,EAlIJT,EAoGOS,EAAAiE,CAAA,SAlGN1E,EAiGK0E,EAAAhE,CAAA,EAhGJV,EA+BCU,EAAA8D,CAAA,mJA9BOhD,EAAA,CAAA,EAAA,KAAAiD,KAAAA,EAAAhF,MAAYA,EAAiB,CAAA,CAAA,EAAI,uBAAyB,gEAE1DA,EAAe,EAAA,YAAfA,EAAe,EAAA,GA6BlB+B,EAAA,CAAA,EAAA,MAAA6C,EAAA5E,MAAYA,EAAiB,CAAA,CAAA,+DAkE9B+B,EAAA,CAAA,EAAA,MAAA8C,EAAA,CAAA7E,MAAYA,EAAiB,CAAA,CAAA,+DA8B9B+B,EAAA,CAAA,EAAA,MAAA+C,EAAA,CAAA9E,MAAYA,EAAiB,CAAA,CAAA,wLAtD7BA,EAAO,EAAA,EAAG,UAAY,gBAWtBA,EAAQ,EAAA,EAAG,OAAS,ygCA9BFA,EAAO,EAAA,CAAA,mBACRA,EAAO,EAAA,CAAA,gBACVA,EAAO,EAAA,CAAA,qBACFA,EAAO,EAAA,CAAA,uBACLA,EAAO,EAAA,CAAA,gGAOVA,EAAO,EAAA,CAAA,mBACRA,EAAO,EAAA,CAAA,gBACVA,EAAO,EAAA,CAAA,qBACFA,EAAO,EAAA,CAAA,uBACLA,EAAO,EAAA,CAAA,mGAQZA,EAAQ,EAAA,CAAA,iBACTA,EAAQ,EAAA,CAAA,yBACAA,EAAQ,EAAA,CAAA,mBACdA,EAAQ,EAAA,CAAA,2KAhD3BI,EASQC,EAAA6E,EAAA5E,CAAA,WACRF,EASQC,EAAA8E,EAAA7E,CAAA,WACRF,EAUQC,EAAA+E,EAAA9E,CAAA,WACRF,EAWQC,EAAAgF,EAAA/E,CAAA,kBACRF,EAUQC,EAAAiF,EAAAhF,CAAA,kBAERF,EAMQC,EAAAkF,EAAAjF,CAAA,qJAvCYN,EAAO,EAAA,CAAA,+BACRA,EAAO,EAAA,CAAA,4BACVA,EAAO,EAAA,CAAA,iCACFA,EAAO,EAAA,CAAA,mCACLA,EAAO,EAAA,CAAA,qBAe5BA,EAAO,EAAA,EAAG,UAAY,UAAOgC,GAAAwD,EAAAC,CAAA,gCARXzF,EAAO,EAAA,CAAA,+BACRA,EAAO,EAAA,CAAA,4BACVA,EAAO,EAAA,CAAA,iCACFA,EAAO,EAAA,CAAA,mCACLA,EAAO,EAAA,CAAA,qBAe5BA,EAAQ,EAAA,EAAG,OAAS,UAAOgC,GAAA0D,EAAAC,CAAA,8BAPX3F,EAAQ,EAAA,CAAA,6BACTA,EAAQ,EAAA,CAAA,qCACAA,EAAQ,EAAA,CAAA,+BACdA,EAAQ,EAAA,CAAA,kJAkBD;AAAA,YAE3B,sCAU2B;AAAA,YAE3B,yEAd2B;AAAA,YAE3B,mGAU2B;AAAA,YAE3B,uTAdDI,EAWOC,EAAAuF,EAAAtF,CAAA,SATNC,EAQCqF,EAAAC,CAAA,OALY7F,EAAS,CAAA,CAAA,WAOvBI,EAcOC,EAAAyF,EAAAxF,CAAA,SAZNC,EAWCuF,EAAAC,CAAA,OARY/F,EAAQ,CAAA,CAAA,6HAZRA,EAAS,CAAA,QAATA,EAAS,CAAA,CAAA,yBAYTA,EAAQ,CAAA,QAARA,EAAQ,CAAA,CAAA,wcAavBI,EAGOC,EAAA4E,EAAA3E,CAAA,EAFNC,EAA8B0E,EAAAxE,CAAA,SAC9BF,EAAqD0E,EAAAF,CAAA,OAAlC/E,EAAY,EAAA,CAAA,gEAAZA,EAAY,EAAA,QAAZA,EAAY,EAAA,CAAA,kdAMlCI,EAGOC,EAAA4E,EAAA3E,CAAA,EAFNC,EAAoD0E,EAAAF,CAAA,YAAf/E,EAAY,EAAA,SACjDO,EAAqD0E,EAAAxE,CAAA,gEADhBT,EAAY,EAAA,qEA0C7C,OAAAA,OAAc,KAAIgG,2FAoBwBhG,EAAa,CAAA,yTAAbA,EAAa,CAAA,0KAJRU,EAAAuF,GAAgBjG,EAAO,CAAA,CAAA,EAAA,mCAD1E,UACS,4EADT,UACS,+KANTI,EAOKC,EAAAW,EAAAV,CAAA,SADIC,EAAwES,EAAAC,CAAA,gDAA9Bc,EAAA,CAAA,EAAA,KAAArB,KAAAA,EAAAuF,GAAgBjG,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,gDAAlCuB,EAAA,CAAA,EAAA,GAAArB,KAAAA,EAAAC,GAAiBX,EAAS,CAAA,CAAA,EAAA,KAAAgC,GAAAC,EAAAvB,CAAA,6EA2CrDV,EAAiB,EAAA,KAAAkG,qDAAqB,UAC7C,iEAD6C,UAC7C,wHAPA9F,EAOKC,EAAAI,EAAAH,CAAA,iLAD+B,MAAI,cAAJ,MAAI,uEAAf,MAAI,cAAJ,MAAI,+GA2BA6F,EAAAnG,QAAY,MAAIoG,GAAApG,CAAA,wJADzC,yBACoB,wVADpB,yBACoB,8XAb1BI,EAiCKC,EAAAkB,EAAAjB,CAAA,EAhCJC,EAGOgB,EAAAqE,CAAA,EAFNrF,EAA2EqF,EAAAC,CAAA,wBAA3C7F,EAAU,EAAA,SAC1CO,EAAkCqF,EAAA3E,CAAA,SAEnCV,EAYOgB,EAAAuE,CAAA,EAXNvF,EAKCuF,EAAAC,CAAA,wBAHY/F,EAAU,EAAA,SAIvBO,EAIKuF,EAAA9E,CAAA,0HAd2BhB,EAAU,EAAA,uCAM7BA,EAAU,EAAA,GAKMA,QAAY,gIAAOW,GAC9CX,EAAO,EAAA,EAAC,eAAiB,EAAA,sBADmB,GAAC,aAE5C,GAAC,cAF0C,GAAC,iBAE5C,GAAC,mEAF4CW,GAC9CX,EAAO,EAAA,EAAC,eAAiB,EAAA,KAAAgC,GAAAC,EAAAvB,CAAA,6PA6BvBV,EAAiB,EAAA,GAAAqG,GAAArG,CAAA,6vBAPvBI,EAwBKC,EAAAkB,EAAAjB,CAAA,EAvBJC,EAKKgB,EAAAN,CAAA,+BAILV,EAaKgB,EAAAP,CAAA,EAZJT,EAUCS,EAAA+D,CAAA,OAJY/E,EAAc,EAAA,CAAA,SAK3BO,EAA+CS,EAAAsF,CAAA,+DAf3CtG,EAAiB,EAAA,qFAURA,EAAc,EAAA,QAAdA,EAAc,EAAA,CAAA,uFAT8BA,EAAiB,EAAA,CAAA,0DAAjBA,EAAiB,EAAA,CAAA,+FAA1EI,EAAgFC,EAAAI,EAAAH,CAAA,oCAAvBN,EAAiB,EAAA,CAAA,mEAyBlBA,EAAgB,EAAA,CAAA,0DAAhBA,EAAgB,EAAA,CAAA,+FAAzEI,EAA+EC,EAAAI,EAAAH,CAAA,oCAAtBN,EAAgB,EAAA,CAAA,gwCA7f3E,IAAAuG,EAAAvG,MAAaA,EAAW,CAAA,ggBA4UnB8E,GAAA9E,MAAcA,EAAiB,CAAA,CAAA,qpBA5TpCA,EAAO,EAAA,GAAAwG,GAAA,QAmBD,OAAO,OAAOxG,EAAS,CAAA,CAAA,CAAA,yBAA5B,OAAIe,GAAA,+CAUDf,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,IAAGyG,+DAwGhBzG,EAAiB,CAAA,8FAOvB,YAAAA,MAAeA,EAAS,CAAA,UAC5BA,EAAO,EAAA,UACPA,EAAO,EAAA,2BAgCXA,EAAoB,EAAA,GAAA0G,GAAA1G,CAAA,eAyLpB2G,GAAA3G,OAAY,MAAI4G,GAAA5G,CAAA,KA4CdA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,KAAG6G,GAAA7G,CAAA,KAoBjCA,EAAiB,EAAA,GAAA8G,GAAA9G,CAAA,KAoCjBA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,KAAG+G,GAAA/G,CAAA,KAiC9BA,EAAgB,EAAA,GAAAgH,GAAAhH,CAAA,uBAiDjBA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,KAAGiH,GAAAjH,CAAA,KAc/BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,KAAGkH,GAAAlH,CAAA,KAiB/BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,KAAGmH,GAAAnH,CAAA,KAiB/BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,OAAKmC,GAAAnC,CAAA,KAiBjCA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,OAAKY,GAAAZ,CAAA,moBAtRkE;AAAA,iBAEtG,6DAKsG;AAAA,iBAEtG,6DAQwC;AAAA,eAExC,srEAnBsG;AAAA,iBAEtG,kKAKsG;AAAA,iBAEtG,kKAQwC;AAAA,eAExC,4mDA7USA,EAAc,EAAA,IAAA,QAAAoH,GAAA,IAAApH,EAAA,EAAA,EAAA,KAAAqH,CAAA,CAAA,kdAuJHrH,EAAoB,EAAA,CAAA,kHAmKkC6F,GAAA,QAAAyB,GAAAtH,KAAkB,mEAFxEuH,EAAA3B,GAAA,cAAA5F,MAAcA,EAAiB,CAAA,CAAA,CAAA,EAChCuH,EAAA3B,GAAA,aAAA5F,MAAcA,EAAiB,CAAA,CAAA,CAAA,2FAQwB+F,GAAA,QAAAyB,GAAAxH,KAAkB,mEAFxEuH,EAAAzB,GAAA,cAAA9F,MAAcA,EAAiB,CAAA,CAAA,CAAA,EAChCuH,EAAAzB,GAAA,aAAA9F,MAAcA,EAAiB,CAAA,CAAA,CAAA,2FAUwByH,GAAA,QAAAC,GAAA1H,KAAkB,wBAC/EyH,GAAA,SAAAE,GAAA,CAAAC,GAAgB5H,EAAO,CAAA,CAAA,2CALhBuH,EAAAM,GAAA,cAAA7H,MAAYA,EAAiB,CAAA,CAAA,CAAA,EAC9BuH,EAAAM,GAAA,aAAA7H,MAAYA,EAAiB,CAAA,CAAA,CAAA,EAC5BuH,EAAAM,GAAA,aAAA,CAAAD,GAAgB5H,EAAO,CAAA,CAAA,CAAA,EACfuH,EAAAM,GAAA,qBAAA,CAAAD,GAAgB5H,EAAO,CAAA,CAAA,CAAA,iMA4C9BA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,GAAG,uXAjChDE,EAAA4H,GAAA,QAAAC,GAAA/H,MAAcA,EAAiB,CAAA,CAAA,EACnC,kCACA,kCAAkC,oCArOnBuH,EAAAS,EAAA,cAAAhI,MAAcA,EAAiB,CAAA,CAAA,CAAA,EAC/BuH,EAAAS,EAAA,cAAAhI,MAAcA,EAAiB,CAAA,CAAA,CAAA,EACpCuH,EAAAS,EAAA,SAAAhI,MAAcA,EAAiB,CAAA,CAAA,CAAA,wWA3IjDI,EA8nBKC,EAAA4H,EAAA3H,CAAA,iCA5mBJC,EAiHK0H,EAAAzG,CAAA,EAhHJjB,EAeKiB,EAAAR,CAAA,EAdJT,EAA8CS,EAAA2B,CAAA,SAC9CpC,EAYKS,EAAAC,CAAA,EAXJV,EAUQU,EAAAoG,CAAA,gEARKrH,EAAc,EAAA,EAAA,EAAA,SAW7BO,EA+FKiB,EAAAG,CAAA,EA9FJpB,EAA4CoB,EAAAY,CAAA,SAC5ChC,EA4FKoB,EAAAC,CAAA,EA3FJrB,EAgEKqB,EAAAL,CAAA,sBAILhB,EAsBKqB,EAAAF,CAAA,SAKRnB,EAwfK0H,EAAAC,CAAA,EAvfJ3H,EAsfK2H,EAAAC,EAAA,EArfJ5H,EA2ZK4H,GAAAH,CAAA,EArZJzH,EA4NKyH,EAAAI,CAAA,uBA9MJ7H,EA2BK6H,EAAAC,CAAA,EAjBJ9H,EAMG8H,EAAAC,CAAA,UACH/H,EAAkB8H,EAAAE,EAAA,UAClBhI,EAQQ8H,EAAAnD,EAAA,UAET3E,EAiLK6H,EAAAI,CAAA,oDA5BJjI,EA2BKiI,EAAAC,EAAA,EA1BJlI,EAAuCkI,GAAAC,CAAA,WACvCnI,EAwBKkI,GAAAE,EAAA,EAvBJpI,EAKOoI,GAAA/C,EAAA,EAFNrF,EAAqGqF,GAAAC,EAAA,0BAAtD7F,EAAiB,CAAA,oBAGjEO,EAA+CoI,GAAAC,EAAA,WAC/CrI,EAKOoI,GAAA7C,EAAA,EAFNvF,EAAqGuF,GAAAC,EAAA,0BAAtD/F,EAAiB,CAAA,oBAGjEO,EAA+CoI,GAAAE,EAAA,WAC/CtI,EAQOoI,GAAAd,EAAA,EAHNtH,EACuCsH,GAAAJ,EAAA,0BADQzH,EAAiB,CAAA,mBASrEO,EAsLKyH,EAAAF,EAAA,EAjLJvH,EAwBKuH,GAAAgB,EAAA,6BAELvI,EAsJKuH,GAAAiB,EAAA,EArJJxI,EAAyBwI,GAAAC,EAAA,WACzBzI,EAoCKwI,GAAAE,EAAA,EAnCJ1I,EAMK0I,GAAAC,EAAA,WAGL3I,EAiBK0I,GAAAE,CAAA,EAhBJ5I,EAKuB4I,EAAAhE,CAAA,0FAoFzB5E,EAwBKwI,GAAAK,EAAA,EAvBJ7I,EAIK6I,GAAAC,EAAA,sCAIL9I,EAcK6I,GAAAE,EAAA,EAbJ/I,EAKC+I,GAAAC,EAAA,QADYvJ,EAAgB,EAAA,CAAA,WAE7BO,EAMQ+I,GAAAlE,EAAA,WA6Bb7E,EAwFK4H,GAAAqB,EAAA,EAvFJjJ,EAsFKiJ,GAAAC,EAAA,EArFJlJ,EAYKkJ,GAAAC,EAAA,qDAELnJ,EAsEKkJ,GAAAE,EAAA,EArEJpJ,EAA8CoJ,GAAAC,EAAA,4IAtjBzB5J,EAAO,EAAA,CAAA,2MAJ5B+B,EAAA,CAAA,EAAA,GAAA8H,GAAAtD,EAAAA,EAAAvG,MAAaA,EAAW,CAAA,CAAA,kFAgBxBA,EAAO,EAAA,uEAmBD,OAAO,OAAOA,EAAS,CAAA,CAAA,CAAA,wBAA5B,OAAIe,IAAA,EAAA,yIAAJ,uBALUf,EAAc,EAAA,CAAA,yHAuHNA,EAAiB,CAAA,yLAOvB+B,EAAA,CAAA,EAAA,IAAA+H,GAAA,YAAA9J,MAAeA,EAAS,CAAA,2BAC5BA,EAAO,EAAA,2BACPA,EAAO,EAAA,qFAuBMA,EAAoB,EAAA,CAAA,EASrCA,EAAoB,EAAA,kEA8IpB+B,EAAA,CAAA,EAAA,MAAA+C,GAAA9E,MAAcA,EAAiB,CAAA,CAAA,uEAYwC,CAAA+J,IAAAhI,EAAA,CAAA,EAAA,IAAAuF,MAAAA,GAAAtH,KAAkB,4FAA5CA,EAAiB,CAAA,0BAF7CuH,EAAA3B,GAAA,cAAA5F,MAAcA,EAAiB,CAAA,CAAA,CAAA,yBAChCuH,EAAA3B,GAAA,aAAA5F,MAAcA,EAAiB,CAAA,CAAA,CAAA,GAQwB,CAAA+J,IAAAhI,EAAA,CAAA,EAAA,IAAAyF,MAAAA,GAAAxH,KAAkB,4FAA5CA,EAAiB,CAAA,0BAF7CuH,EAAAzB,GAAA,cAAA9F,MAAcA,EAAiB,CAAA,CAAA,CAAA,yBAChCuH,EAAAzB,GAAA,aAAA9F,MAAcA,EAAiB,CAAA,CAAA,CAAA,GAUwB,CAAA+J,IAAAhI,EAAA,CAAA,EAAA,IAAA2F,MAAAA,GAAA1H,KAAkB,kDAC/E,CAAA+J,IAAAhI,EAAA,CAAA,EAAA,KAAA4F,MAAAA,GAAA,CAAAC,GAAgB5H,EAAO,CAAA,CAAA,+DADYA,EAAiB,CAAA,0BAJ7CuH,EAAAM,GAAA,cAAA7H,MAAYA,EAAiB,CAAA,CAAA,CAAA,yBAC9BuH,EAAAM,GAAA,aAAA7H,MAAYA,EAAiB,CAAA,CAAA,CAAA,mBAC5BuH,EAAAM,GAAA,aAAA,CAAAD,GAAgB5H,EAAO,CAAA,CAAA,CAAA,mBACfuH,EAAAM,GAAA,qBAAA,CAAAD,GAAgB5H,EAAO,CAAA,CAAA,CAAA,EAgBhDA,OAAY,yJA4BMA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,GAAG,EAgB/CA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,sEAoB9BA,EAAiB,EAAA,mEAoCjBA,EAAc,EAAA,GAAIA,EAAS,CAAA,EAAC,qEAiC3BA,EAAgB,EAAA,4FAQPA,EAAgB,EAAA,SAAhBA,EAAgB,EAAA,CAAA,GAlJzB,CAAA+J,IAAAhI,EAAA,CAAA,EAAA,KAAAgG,MAAAA,GAAA/H,MAAcA,EAAiB,CAAA,CAAA,EACnC,kCACA,8EArOeuH,EAAAS,EAAA,cAAAhI,MAAcA,EAAiB,CAAA,CAAA,CAAA,yBAC/BuH,EAAAS,EAAA,cAAAhI,MAAcA,EAAiB,CAAA,CAAA,CAAA,yBACpCuH,EAAAS,EAAA,SAAAhI,MAAcA,EAAiB,CAAA,CAAA,CAAA,EA4ZtCA,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;ikDAhlBtBgK,EAAcC,GAAA,IAAA,yCAEnBC,EAAgB,UAuJpBC,EAAA,GAAAC,GAAwBA,CAAoB,MAiB7BC,GAAC,CAEL,MAAAC,EAAaC,GAAwBF,EAAE,cAAc,KAAK,EAC3D,MAAM,OAAOC,CAAU,CAAA,IAC3BH,EAAA,EAAAK,EAAS,OAAOF,GAAc,GAAG,CAAA,OACjCG,GAAkBC,GAA0BJ,CAAU,CAAA,EACtDD,EAAE,cAAc,MAAQI,QAGdJ,GAAC,CACN,MAAAC,EAAaC,GAAwBF,EAAE,cAAc,KAAK,EAChEF,EAAA,EAAAK,EAAS,OAAOF,GAAc,GAAG,CAAA,MACjB,IAAI,OAAO,SAAS,IAAI,EACxC,OAAO,QAAQ,UAAc,CAAA,EAAA,GAAIK,EAAiB,CAAA,EAElDR,EAAA,GAAAM,GAAkBC,GAA0BF,EAAO,SAAQ,CAAA,CAAA,EAC3DH,EAAE,cAAc,MAAQI,OAEfJ,GAAC,CACLO,EAAYC,CAAiB,KAE5B,MAAM,OAAOL,CAAM,CAAA,GAAMA,GAAU,KAAEL,EAAA,EAAEK,EAAS,EAAE,EAClDA,EAAS,QAAQL,EAAA,EAAAK,EAAS,MAAM,GAEtCL,EAAA,GAAAM,GAAkBC,GAA0BF,EAAO,SAAQ,CAAA,CAAA,EAC3DH,EAAE,cAAc,MAAQI,gBAOvBD,EAAUA,EAAS,GAAG,EACtBL,EAAA,GAAAM,GAAkBC,GAA0BF,EAAO,SAAQ,CAAA,CAAA,EAC3D,OAAO,QAAQ,UAAc,CAAA,EAAA,GAAIG,EAAiB,CAAA,eAQlDH,EAAUA,EAAS,IAAOA,EAAS,IAAM,EAAE,EAC3CL,EAAA,GAAAM,GAAkBC,GAA0BF,EAAO,SAAQ,CAAA,CAAA,EAC3D,OAAO,QAAQ,UAAc,CAAA,EAAA,GAAIG,EAAiB,CAAA,GAYnCG,GAAA,IAAAX,EAAA,GAAAY,GAAWA,CAAO,EAWlBC,GAAA,IAAAb,EAAA,GAAAc,GAAWA,CAAO,EAWlBC,GAAA,IAAAf,EAAA,GAAAgB,GAAYA,CAAQ,gBAsBzBC,GAASC,GAAA,KAAA,KAAA,4BAEJ,IAAI,OAAO,SAAS,IAAI,EACxC,OAAO,QAAQ,UAAc,CAAA,EAAA,GAAIV,EAAiB,CAAA,iBASvCW,EAAQD,GAAA,KAAA,KAAA,2BAEH,IAAI,OAAO,SAAS,IAAI,EACxC,OAAO,QAAQ,UAAc,CAAA,EAAA,GAAIV,EAAiB,CAAA,iBAYlCY,EAAY,KAAA,4BAOIC,EAAY,KAAA,8BAUDX,EAAiB,KAAA,2CAOjBA,EAAiB,KAAA,2CASjBA,EAAiB,KAAA,gDAoBzD,MAAAY,GAAkBC,CAAS,gBAS3B,MAAAC,GAA2B1F,GAAgB2F,CAAO,EAAGC,CAAa,sBA2BlE3B,EAAgB,WAOrBC,EAAA,GAAA2B,IAAqBA,EAAiB,iBAmBRC,EAAU,KAAA,8BAM7BA,EAAU,KAAA,8BA6CVC,EAAcX,GAAA,KAAA,KAAA,6BAEnB,MAAAI,GAAkBO,CAAc,iBAqB5BC,GAAgB,KAAA,6BAK3BN,GAA2BM,EAAgB,YAsCvBC,GAAE,CACnB,IAAA9J,EAAa8J,EAAG,OAAO,WAErB,MAAAT,GAAkBrJ,CAAU,EAClC+J,cAUqBD,GAAE,CACnB,IAAA9J,EAAa8J,EAAG,OAAO,WAErB,MAAAT,GAAkBrJ,CAAU,EAClC+J,cAEuBD,GAAE,CACrB,IAAA7J,EAAe6J,EAAG,OAAO,aACzB5J,GAAiB4J,EAAG,OAAO,qBAEzBP,GAA2BtJ,EAAcC,EAAc,EAC7D6J,cAMqBD,GAAE,CACnB,IAAA9J,EAAa8J,EAAG,OAAO,WAErB,MAAAT,GAAkBrJ,CAAU,EAClC+J,cAEuBD,GAAE,CACrB,IAAA7J,EAAe6J,EAAG,OAAO,aACzB5J,GAAiB4J,EAAG,OAAO,qBAEzBP,GAA2BtJ,EAAcC,EAAc,EAC7D6J,cAMqBD,GAAE,CACnB,IAAA9J,EAAa8J,EAAG,OAAO,WAErB,MAAAT,GAAkBrJ,CAAU,EAClC+J,cAEuBD,GAAE,CACrB,IAAA7J,EAAe6J,EAAG,OAAO,aACzB5J,GAAiB4J,EAAG,OAAO,qBAEzBP,GAA2BtJ,EAAcC,EAAc,EAC7D6J,cAMqBD,GAAE,CACnB,IAAA9J,EAAa8J,EAAG,OAAO,WAErB,MAAAT,GAAkBrJ,CAAU,EAClC+J,cAEuBD,GAAE,CACrB,IAAA7J,EAAe6J,EAAG,OAAO,aACzB5J,GAAiB4J,EAAG,OAAO,qBAEzBP,GAA2BtJ,EAAcC,EAAc,EAC7D6J"}