2b:null 2c:["$","title",null,{"children":"Combinatorics | Mikal Hitsøy Henriksen | Observable"}] 31:Tb28,solutions = [ [ [11, 8, 3, 7, 4, 0, 2, 1, 9], [1, 0, 7, 3, 5, 9, 4, 6, 10], [4, 2, 9, 6, 1, 10, 5, 0, 8], [5, 6, 4, 2, 3, 7, 10, 8, 0], [0, 9, 2, 8, 10, 5, 1, 7, 3], [7, 11, 1, 4, 0, 6, 9, 5, 2], [9, 1, 8, 0, 2, 3, 6, 11, 5], [2, 5, 11, 10, 9, 4, 0, 3, 1], [6, 3, 0, 5, 11, 1, 8, 4, 7] ], [ [11, 8, 3, 7, 4, 0, 2, 1, 9], [1, 0, 7, 3, 5, 9, 4, 6, 10], [4, 2, 9, 6, 1, 10, 5, 0, 8], [5, 9, 1, 2, 3, 7, 10, 8, 0], [0, 6, 2, 11, 10, 5, 1, 7, 3], [7, 11, 4, 1, 0, 6, 9, 5, 2], [9, 1, 8, 0, 2, 3, 6, 11, 5], [2, 5, 11, 10, 9, 4, 0, 3, 1], [6, 3, 0, 5, 11, 1, 8, 4, 7] ], [ [11, 8, 3, 2, 4, 0, 1, 7, 9], [1, 0, 7, 8, 5, 9, 3, 2, 10], [4, 2, 9, 6, 1, 10, 5, 0, 8], [5, 9, 4, 1, 3, 7, 6, 10, 0], [0, 6, 2, 4, 10, 5, 7, 8, 3], [7, 11, 1, 9, 0, 6, 4, 5, 2], [9, 1, 8, 0, 2, 3, 11, 6, 5], [2, 5, 11, 10, 9, 4, 0, 3, 1], [6, 3, 0, 5, 11, 1, 8, 4, 7] ], [ [7, 11, 1, 5, 4, 9, 6, 0, 2], [5, 9, 0, 10, 6, 7, 4, 1, 3], [6, 4, 2, 3, 0, 1, 11, 10, 8], [3, 0, 4, 2, 1, 5, 10, 11, 9], [8, 1, 11, 7, 9, 3, 2, 4, 0], [2, 7, 9, 8, 10, 0, 1, 3, 5], [4, 2, 6, 9, 8, 10, 0, 5, 1], [0, 8, 5, 1, 2, 6, 3, 9, 11], [10, 3, 7, 0, 5, 4, 8, 2, 6] ], [ [7, 11, 1, 5, 6, 9, 4, 0, 2], [5, 9, 0, 10, 4, 7, 6, 1, 3], [6, 4, 2, 3, 0, 1, 11, 10, 8], [3, 0, 4, 2, 1, 5, 10, 11, 9], [8, 1, 11, 7, 9, 3, 2, 4, 0], [2, 7, 9, 8, 10, 0, 1, 3, 5], [4, 2, 6, 9, 8, 10, 0, 5, 1], [0, 8, 5, 1, 2, 6, 3, 9, 11], [10, 3, 7, 0, 5, 4, 8, 2, 6] ], [ [7, 11, 2, 10, 6, 1, 5, 0, 3], [6, 9, 0, 5, 4, 7, 11, 1, 2], [5, 4, 1, 3, 0, 9, 7, 10, 6], [3, 0, 4, 2, 1, 5, 10, 11, 9], [8, 1, 11, 7, 9, 3, 2, 4, 0], [2, 7, 9, 8, 10, 0, 1, 3, 5], [4, 2, 6, 9, 8, 10, 0, 5, 1], [0, 8, 5, 1, 2, 6, 3, 9, 11], [10, 3, 7, 0, 5, 4, 6, 2, 8] ], [ [6, 11, 2, 10, 4, 1, 8, 0, 3], [7, 4, 0, 5, 6, 9, 11, 1, 2], [5, 9, 1, 3, 0, 7, 4, 10, 6], [3, 0, 4, 2, 1, 5, 10, 11, 9], [8, 1, 11, 7, 9, 3, 2, 4, 0], [2, 7, 9, 8, 10, 0, 1, 3, 5], [4, 2, 6, 9, 8, 10, 0, 5, 1], [0, 8, 5, 1, 2, 6, 3, 9, 11], [10, 3, 7, 0, 5, 4, 6, 2, 8] ], [ [5, 11, 2, 10, 6, 1, 7, 0, 3], [6, 9, 0, 5, 4, 7, 11, 1, 2], [7, 4, 1, 3, 0, 9, 5, 10, 6], [3, 0, 4, 2, 1, 5, 10, 11, 9], [8, 1, 11, 7, 9, 3, 2, 4, 0], [2, 7, 9, 8, 10, 0, 1, 3, 5], [4, 2, 6, 9, 8, 10, 0, 5, 1], [0, 8, 5, 1, 2, 6, 3, 9, 11], [10, 3, 7, 0, 5, 4, 6, 2, 8] ], [ [7, 11, 2, 10, 6, 1, 5, 0, 3], [6, 9, 0, 5, 4, 7, 11, 1, 2], [5, 4, 1, 3, 0, 9, 6, 10, 7], [3, 0, 4, 2, 1, 5, 9, 11, 10], [8, 1, 11, 7, 9, 3, 2, 4, 0], [2, 7, 9, 8, 10, 0, 1, 3, 5], [4, 2, 6, 9, 8, 10, 0, 5, 1], [0, 8, 5, 1, 2, 6, 3, 9, 11], [10, 3, 7, 0, 5, 4, 8, 2, 6] ] ]32:[] 2f:{"id":"8739171abc5478a2","slug":null,"title":"Combinatorics","thumbnail":"05718808f6a1d3ed0ddca43a6cc375eb62fa26912e4066faa619178f19bc432a","access_level":"public","create_time":"$D2022-05-10T07:27:05.491Z","update_time":"$D2023-01-12T21:52:01.571Z","view_time":null,"first_public_time":"$D2023-01-11T03:42:27.083Z","has_unpublished_edits":null,"fork":false,"stars":1,"starred":false,"owner":{"type":"team","id":"e334db7e51a78dca","login":"supermikal","name":"Mikal Hitsøy Henriksen","avatar_url":"https://avatars-next.observableusercontent.com/3494bf57b7ab1aa05cce1a2f4a53a5849448d33bb9fa90da0d1ea74a58548cdb","tier":"starter_2024"},"version":396,"publish_version":null,"role":null,"authored":false,"authors":[{"type":"individual","id":"dd5ad0253f4ceb03","login":"supermikal","name":"Mikal Hitsøy Henriksen","avatar_url":"https://avatars-next.observableusercontent.com/3494bf57b7ab1aa05cce1a2f4a53a5849448d33bb9fa90da0d1ea74a58548cdb","tier":null}],"members":[{"type":"individual","id":"dd5ad0253f4ceb03","login":"supermikal","name":"Mikal Hitsøy Henriksen","avatar_url":"https://avatars-next.observableusercontent.com/3494bf57b7ab1aa05cce1a2f4a53a5849448d33bb9fa90da0d1ea74a58548cdb","tier":null,"role":"editor"}],"comments":[],"custom_thumbnail":false,"trashed":false,"lapsed":null,"subscribed":null,"forks":1,"collection":null,"type":"notebook","body":{"titling":"auto","title":"Combinatorics","cells":[{"id":0,"value":"# Combinatorics","pinned":true,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"","database":"$undefined"},{"id":3,"value":"r = _.range(0, 12)","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":50,"value":"c = [...G.clone.combination(r, 9)]","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":22,"value":"G = require('generatorics');","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":33,"value":"_(c)\n .filter((it) => it.includes(0) && _.sum(it) == 45)\n //.map((it) => _.reduce(_.without(it, 0), _.multiply))\n .value()","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":71,"value":"rownames = _.range(1, 10).map((r) => _.range(1, 10).map((c) => `R${r}C${c}`))","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":310,"value":"allDiffRows = (arr) =>\n _.uniq(arr.map(_.sortBy).map((it) => it.join(\",\"))).length == 9","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":314,"value":"allDiffVals = (arr) => _.every(arr, (it) => _.uniq(it).length == 9)","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":320,"value":"allSumTo45 = (arr) => _.every(arr, (it) => _.sum(it) == 45)","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":323,"value":"allHave0 = (arr) => _.every(arr, (it) => it.includes(0))","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":331,"value":"fulfillsExpectations = (arr) => [\n allDiffRows(arr),\n allDiffVals(arr),\n allHave0(arr),\n allSumTo45(arr)\n]","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":229,"value":"rows = [\n [7, 11, 2, 10, 6, 1, 5, 0, 3],\n [6, 9, 0, 5, 4, 7, 11, 1, 2],\n [5, 4, 1, 3, 0, 9, 6, 10, 7],\n [3, 0, 4, 2, 1, 5, 9, 11, 10],\n [8, 1, 11, 7, 9, 3, 2, 4, 0],\n [2, 7, 9, 8, 10, 0, 1, 3, 5],\n [4, 2, 6, 9, 8, 10, 0, 5, 1],\n [0, 8, 5, 1, 2, 6, 3, 9, 11],\n [10, 3, 7, 0, 5, 4, 8, 2, 6]\n]","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":333,"value":"fulfillsExpectations(rows)","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":79,"value":"cols = (rows) => _.range(9).map((i) => rows.map((row) => row[i]))","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":335,"value":"fulfillsExpectations(cols(rows))","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":95,"value":"boxes = (rows) =>\n _.range(0, 9, 3).flatMap((x) =>\n _.range(0, 9, 3).map((y) =>\n _.range(3).flatMap((dx) => _.range(3).map((dy) => rows[x + dx][y + dy]))\n )\n )","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":338,"value":"fulfillsExpectations(boxes(rows))","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":198,"value":"_.concat(rows, cols(rows), boxes(rows))\n .map((r) => \"[\" + _.join(r, \",\") + \"]\")\n .join(\"\\n\")","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":139,"value":"crange = function* ([x1, y1], [x2, y2]) {\n if (x1 != x2 && y1 != y2) throw `Not a line! ${[x1, y1, x2, y2]}`;\n const xa = Math.min(x1, x2),\n xz = Math.max(x1, x2),\n ya = Math.min(y1, y2),\n yz = Math.max(y1, y2);\n for (let x = xa; x <= xz; ++x) {\n for (let y = ya; y <= yz; ++y) {\n yield `(${x},${y})`;\n }\n }\n}","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":143,"value":"border = function* (corners) {\n for (let i = 0; i < corners.length; ++i) {\n const j = (i + 1) % corners.length;\n yield* [...crange(corners[i], corners[j])];\n }\n}","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":148,"value":"_.uniq([\n ...border([\n [1, 1],\n [23, 1],\n [23, 16],\n [1, 16]\n ])\n]).join(\",\")","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":190,"value":"_.uniq([\n ...border([\n [1, 1],\n [9, 1],\n [9, 12],\n [22, 12],\n [22, 17],\n [1,17]\n ])\n]).join(\",\")","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":207,"value":"_.range(1, 9)\n .map((a) =>\n _.range(a + 1, 10)\n .map((b) => `R${a}!=R${b}`)\n .join(\",\")\n )\n .join(\",\\n\")","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":244,"value":"function allDiff(sets) {\n _.uniq(sets.map(_.sort).join()).length == sets.length;\n}","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":277,"value":"$31","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":280,"value":"checks = (solution) => ({\n allDiff: _.every(solution, (it) => _.uniq(it).length == 9),\n theSecret: _.every(solution, (it) => _.sum(it) == 45),\n noClassic: _.every(solution, (it) => it.includes(0)),\n setsDiff:\n _.uniq(solution.map(_.sortBy).map((it) => it.join(\",\"))).length == 9,\n missing1: solution.some((it) => !it.includes(1))\n})","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":288,"value":"solutions.map(checks)","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":291,"value":"_.uniq(\n solutions.map((s) =>\n s\n .map(_.sortBy)\n .map((it) => it.join())\n .sort()\n .join()\n )\n)","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":351,"value":"h`\n${solutions[7].map(\n (row) =>\n h`${row.map(\n (cell) =>\n h`\n`\n )}`\n)}

${cell}

`","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":354,"value":"h=htl.html","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":362,"value":"| | | | | | | | | |\n|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|\n${solutions[8].map(row=>\n`|${row.map(cell=>`${cell}|`).join(\"\")}\n`\n \n )}","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"","database":"$undefined"}],"files":"$W32","stdlib":"1"}} 30:"$2f:body"