2d:null 2e:["$","title",null,{"children":"Homework 4 | Grégoire Geis | Observable"}] 33:T4ad,viewof fsmData = { // Previous bit is 0: Set to 1 using 1 X, and set to 0 using 0 X // Previous bit is 1: Set to 1 using X 0, and set to 0 using X 1 const data = ` Current state X Next state Y D D D S 0 0 0 0 S 0 0 0 0 0 0 0 S 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 10 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 10 0 1 0 0 S 0 0 0 0 0 1 0 10 0 1 0 1 101 0 1 1 0 0 0 1 101 0 1 1 0 10 0 1 0 0 0 0 1 101 0 1 1 1 1011 1 0 0 0 1 1 1 1011 1 0 0 0 10110 1 0 1 0 0 0 1 1011 1 0 0 1 1 0 0 1 0 1 0 1 10110 1 0 1 0 S 0 0 0 0 1 0 1 10110 1 0 1 1 101101 1 1 0 1 0 1 1 101101 1 1 0 0 10 0 1 0 0 1 0 0 101101 1 1 0 1 1011 1 0 0 0 0 1 0 ` const columns = [ '\\text{Current state}', 'S_1' , 'S_2' , 'S_3' , 'X', '\\text{Next state}' , 'S_1^+', 'S_2^+', 'S_3^+', 'Y', 'D_1', 'D_2', 'D_3', ].map((x, i) => ({ key: ''+i, name: tex`${x}`.outerHTML })) return table( data.trim().split('\n').slice(1).map(x => x.trim().split(/\s+/g)) , { enableCSVDownload: false, columns }) }34:T44b,viewof decadeData = { // Previous bit is 0: Set to 1 using 1 X, and set to 0 using 0 X // Previous bit is 1: Set to 1 using X 0, and set to 0 using X 1 const data = ` Current Next Flip flops J K J K J K J K S 1 2 3 4 S 1 2 3 4 1 1 2 2 3 3 4 4 0 0 0 0 0 1 0 0 0 1 0 X 0 X 0 X 1 X 1 0 0 0 1 2 0 0 1 0 0 X 0 X 1 X X 1 2 0 0 1 0 3 0 0 1 1 0 X 0 X X 0 1 X 3 0 0 1 1 4 0 1 0 0 0 X 1 X X 1 X 1 4 0 1 0 0 5 0 1 0 1 0 X X 0 0 X 1 X 5 0 1 0 1 6 0 1 1 0 0 X X 0 1 X X 1 6 0 1 1 0 7 0 1 1 1 0 X X 0 X 0 1 X 7 0 1 1 1 8 1 0 0 0 1 X X 1 X 1 X 1 8 1 0 0 0 9 1 0 0 1 X 0 0 X 0 X 1 X 9 1 0 0 1 0 0 0 0 0 X 1 0 X 0 X X 1 ` const columns = [ '\\text{Current state}', 'O_1' , 'O_2' , 'O_3' , 'O_4' , '\\text{Next state}' , 'O_1^+', 'O_2^+', 'O_3^+', 'O_4^+', 'J_1', 'K_1', 'J_2', 'K_2', 'J_3', 'K_3', 'J_4', 'K_4', ].map((x, i) => ({ key: ''+i, name: tex`${x}`.outerHTML })) return table( data.trim().split('\n').slice(4).map(x => x.trim().split(/\s+/g)) , { enableCSVDownload: false, columns }) }35:[] 31:{"id":"db9ba82f7579e5fa","slug":"digital-systems-homework","title":"Homework 4","thumbnail":"236d513aeb8aa4ecda9be64dfd27ed589c9fe470fc89671a0ff5c65648330dae","access_level":"public","create_time":"$D2019-06-06T18:09:56.038Z","update_time":"$D2019-06-13T02:33:38.587Z","view_time":null,"first_public_time":"$D2019-06-11T14:58:44.926Z","has_unpublished_edits":null,"fork":false,"stars":0,"starred":false,"owner":{"type":"team","id":"6817f8df4b71afcf","login":"71","name":"Grégoire Geis","avatar_url":"https://avatars-next.observableusercontent.com/046456a6fcb599cae062b5a172a9e2c85acef403c376bdb60a4cc6d135a60aad","tier":"starter_2024"},"version":740,"publish_version":740,"role":null,"authored":false,"authors":[{"type":"individual","id":"3881cfc7f3117323","login":"71","name":"Grégoire Geis","avatar_url":"https://avatars-next.observableusercontent.com/046456a6fcb599cae062b5a172a9e2c85acef403c376bdb60a4cc6d135a60aad","tier":null}],"members":[{"type":"individual","id":"3881cfc7f3117323","login":"71","name":"Grégoire Geis","avatar_url":"https://avatars-next.observableusercontent.com/046456a6fcb599cae062b5a172a9e2c85acef403c376bdb60a4cc6d135a60aad","tier":null,"role":"editor"}],"comments":[],"custom_thumbnail":false,"trashed":false,"lapsed":null,"subscribed":null,"forks":0,"collection":null,"type":"notebook","body":{"title":"Homework 4","cells":[{"id":0,"value":"md`# Homework 4`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":571,"value":"md`${Secret('HOMEWORK_ID')}`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":560,"value":"// The following notebook is rendered into a .pdf friendly web page using a custom\n// (soon to be released) web app, and then directly sent to my teacher.\n//\n// Please don't judge my Digital Systems skill; I quite literally did this\n// homework (and wrote this comment) while getting drunk on soju.\n//\n// Why would I release it, then? Well, I believe it's a pretty good example of how easy\n// Observable makes it to do write anything, really. Easily generate tables, mix TeX with\n// Markdown, customize the CSS of a page, draw graphviz diagrams, etc.\n//\n// It's more convenient than R Studio (because it's in JavaScript, and it renders instantly\n// in the browser), more powerful than Markdown (because you have all of NPM available),\n// and overall nice to use (because you have access to the document's history, and every\n// node refreshes automatically).","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":6,"value":"md`## Question 1\n> Convert a D-type flip-flop into a JK flip-flop, using external gates.\n> The gates can be derived by means of a sequential circuit design procedure starting from a state table with the D flip-flop output as the present state and its input as the next state and with J and K as circuit inputs.\n`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":196,"value":"{\n const data = `\n J K Q D\n 0 0 0 0\n 0 0 1 1\n 0 1 0 0\n 0 1 1 0\n 1 0 0 1\n 1 0 1 1\n 1 1 0 1\n 1 1 1 0\n `\n\n return table(\n data\n .trim()\n .split('\\n')\n .slice(1)\n .map(x => x.trim().split(/\\s+/g))\n .map(x => ({ 'J (Input)': x[0], 'K (Input)': x[1], 'Q (Present state)': x[2], 'D (Next state)': x[3] }))\n , { enableCSVDownload: false })\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":220,"value":"md`Using the following K-Map table, we simplify our overall expression for Q as a function of J and K.`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":224,"value":"{\n const r = `1`\n const b = `1`\n\n return md`\n | Q \\\\ JK | 00 | 01 | 11 | 10 |\n | -------- | -- | -- | -- | -- |\n | 0 | 0 | 0 |${r}|${r}|\n | 1 |${b}| 0 | 0 |${b}|\n `\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":272,"value":"md`And therefore, we obtain:`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":226,"value":"tex.block`D = \\color{red}{J\\overline{Q}} + \\color{green}{\\overline{K}Q}`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":276,"value":"md`Which gives us this circuit:`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":725,"value":"html`

`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":9,"value":"md`## Question 2\n\n> Design a sequential circuit for a Sequence Recognizer. A Sequence Recognizer is a circuit that recognizes the occurrence of a particular sequence in any given set of data.\n>\n> ${await mj`$$\n\\begin{align}\n\\text{Input} &: X(t) \\in \\{0, 1\\}\\\\\n\\text{Output}&: Z(t) =\n\\begin{cases}\n1, & \\text{if X(t - 5, t) = 101101}\\\\\n0, & \\text{otherwise}\n\\end{cases}\n\\end{align}\n$$`}\n\nHere, we can build the FSM linearly, starting at the initial state and going to one state or another depending on the next input. We can consider that everytime we receive an input, we add it to an infinite string of 0's and 1's, and then we jump to the state which matches the end of our \"string\" the best.\n\nTherefore:\n- 1 can only be output once, here shown with a \"1 / 1\" transition from 10110 to 101101.\n- Red arrows represent building a larger string that leads to an output of 1, whereas black arrows represent losing our progress.\n`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":281,"value":"md`Here, a 1 may be output in only one transition: from **10110** to **101101**. We obtain the following circuit:`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":82,"value":"dot`\ndigraph {\n rankdir = LR;\n node [shape = doublecircle]; S;\n node [shape = circle];\n\n S -> S [ label = \"0\" ];\n S -> 1 [ label = \"1\", color = \"red\" ];\n 1 -> 10 [ label = \"0\", color = \"red\" ];\n 1 -> 1 [ label = \"1\" ];\n 10 -> S [ label = \"0\" ];\n 10 -> 101 [ label = \"1\", color = \"red\" ];\n 101 -> 10 [ label = \"0\" ];\n 101 -> 1011 [ label = \"1\", color = \"red\" ];\n 1011 -> 10110 [ label = \"0\", color = \"red\" ];\n 1011 -> 1 [ label = \"1\" ];\n 10110 -> S [ label = \"0\" ];\n 10110 -> 101101 [ label = \"1 / 1\", color = \"red\" ];\n 101101 -> 10 [ label = \"0\" ];\n 101101 -> 1011 [ label = \"1\" ];\n}\n`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":637,"value":"md`We use D flip-flops and derive the following state table:`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":627,"value":"$33","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":643,"value":"kmap_ = function(index) {\n const v = n => fsmData[n][index]\n const data = [\n ['00', v(0), v(1), v(3), v(2)],\n ['01', v(4), v(5), v(7), v(6)],\n ['11',v(12),v(13), 'X', 'X'],\n ['10', v(8), v(9),v(11),v(10)],\n ]\n const columns_ = [tex`S_1S_2 \\ \\backslash\\ S_3X`.outerHTML, '00', '01', '11', '10']\n const columns = columns_.map((name, i) => ({ key: ''+i, name }))\n\n return table(data, { enableCSVDownload: false, columns })\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":646,"value":"md`### ${tex`D_1`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":656,"value":"kmap_(10)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":700,"value":"tex.block`D_1 = S_1S_2\\overline{X} + S_1\\overline{S_2S_3}X + S_2S_3X + S_1S_3\\overline{X}`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":650,"value":"md`### ${tex`D_2`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":669,"value":"kmap_(11)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":711,"value":"tex.block`D_2 = \\overline{S_1}S_2\\overline{S_3X} + S_1S_2X + S_2S_3X + S_1S_3X + \\overline{S_1S_2}S_3\\overline{X}`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":653,"value":"md`### ${tex`D_3`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":672,"value":"kmap_(12)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":713,"value":"tex.block`D_3 = S_1\\overline{S_2} + \\overline{S_1S_3}X + S_2S_3 + S_3\\overline{X}`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":716,"value":"tex.block`Y = S_1\\overline{S_2}S_3X`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":730,"value":"html`

`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":26,"value":"md`## Question 3\n\n> Draw the flow chart of the Vending Machine which Dispense a Coke when depositing 1500₩, when Inputs can only be:\n>\n> - 500₩\n> - 1000₩\n>\n> It rejects the all other coins and notes.\n>\n> - R = reject\n> - C = coke\n> - N = no coke\n\n- We have three states:\n * **00** indicates that **1500₩** are needed to output a coke.\n * **01** indicates that **1000₩** are needed to output a coke.\n * **10** indicates that **500₩** are needed to output a coke.\n- From any state, one of three inputs can be given:\n * **01** indicates a **500₩** note.\n * **10** indicates a **1,000₩** note.\n * **00** indicates any other note (10₩, 50₩, 100₩, 5000₩, 10,000₩, 50,000₩), and therefore **outputs a rejection**.\n`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":51,"value":"dot`\ndigraph {\n\trankdir = LR;\n node [shape = doublecircle]; 1500;\n\tnode [shape = circle];\n\n 1500 -> 1500 [ label = \"00 (Other) / R\" ];\n 1000 -> 1000 [ label = \"00 (Other) / R\" ];\n 500 -> 500 [ label = \"00 (Other) / R\" ];\n\n 1500 -> 1000 [ label = \"01 (500₩) / NC\" ];\n 1000 -> 500 [ label = \"01 (500₩) / NC\" ];\n 500 -> 1500 [ label = \"01 (500₩) / C\", color = \"red\" ];\n 500 -> 1500 [ label = \"10 (1,000₩) / C\", color = \"red\" ];\n 1500 -> 500 [ label = \"10 (1,000₩) / NC\" ];\n 1000 -> 1500 [ label = \"10 (1,000₩) / C\", color = \"red\" ];\n}\n`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":28,"value":"md`## Question 4\n\n> Design a 4bit synchronous decade counter using JK-flip flop.\n`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":331,"value":"md`There are 4 bits, and therefore 4 JK flip flops are needed; here we will write ${tex`J_i`} and ${tex`K_i`} to represent the inputs of each of them, and ${tex`O_i`} to represent their outputs. Using an entire state table for this problem would be unreasonable (due to having ${tex`2^{4\\times2} = 256`} possible inputs), so instead we will try to derive the input from the output.`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":336,"value":"$34","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":329,"value":"kmap = function(index) {\n const v = n => decadeData[n][index]\n const data = [\n ['00', v(0), v(1), v(3), v(2)],\n ['01', v(4), v(5), v(7), v(6)],\n ['11', 'X', 'X', 'X', 'X'],\n ['10', v(8), v(9), 'X', 'X'],\n ]\n const columns_ = [tex`O_1O_2 \\ \\backslash\\ O_3O_4`.outerHTML, '00', '01', '11', '10']\n const columns = columns_.map((name, i) => ({ key: ''+i, name }))\n\n return table(data, { enableCSVDownload: false, columns })\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":420,"value":"md`### ${tex`J_1`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":401,"value":"kmap(10)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":486,"value":"tex.block`J_1 = O_2O_3O_4`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":424,"value":"md`### ${tex`K_1`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":419,"value":"kmap(11)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":489,"value":"tex.block`K_1 = O_4\\ (= K_3)`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":427,"value":"md`### ${tex`J_2`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":454,"value":"kmap(12)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":493,"value":"tex.block`J_2 = O_3O_4\\ (= K_2)`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":429,"value":"md`### ${tex`K_2`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":457,"value":"kmap(13)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":495,"value":"tex.block`K_2 = O_3O_4\\ (= J_2)`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":430,"value":"md`### ${tex`J_3`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":458,"value":"kmap(14)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":497,"value":"tex.block`J_3 = \\overline{O_1}O_4`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":432,"value":"md`### ${tex`K_3`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":460,"value":"kmap(15)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":498,"value":"tex.block`K_3 = O_4\\ (= K_1)`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":434,"value":"md`### ${tex`J_4`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":462,"value":"kmap(16)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":501,"value":"tex.block`J_4 = 1\\ (= K_4)`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":443,"value":"md`### ${tex`K_4`} :`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":464,"value":"kmap(17)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":502,"value":"tex.block`K_4 = 1\\ (= J_4)`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":505,"value":"md`Using all the previous answers, we obtain the circuit:`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":735,"value":"html`

`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":15,"value":"import { mj } from '50b2c054ea556680'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":99,"value":"import { table } from '@gampleman/table'","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":58,"value":"dot = require(\"@observablehq/graphviz@0.2\")","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":53,"value":"d3 = require('d3')","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":298,"value":"html``","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"}],"files":"$W35","stdlib":"1","titling":"auto"}} 32:"$31:body"