SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info {{ TL ] ZF-UNITY:threads=6elapsed=5.765cpu=29.964gc=1.424factor=5.207zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b )Ew\D.Ow+EDjĊLUT"yIEI1 ^_PpBtB~'bF>.ʸOk/kf]@Me0*;jށV 閩Y'9n] vA"ߚՍDmdgCER1jKY5E=\3'e:OS{cwC}l-n*jY_ѤW ܋Tv#poMIf='4o\ɐгs N 1#P#_$]!Fyӥ"mp^vf7{ׯ]0kzqWnLtp,l*?*NBCR5C`NW\y0Y'ת^z8%GO[OW~ pf8VF˦N ?]%vC;3%F|ujnNO֋'wIal'\Nu9LDJr 0I_4ku 6|gYZ7zXZִF! !]ŗXi%#8i, 2֓⋛v(!ooynPӠ(MdNwBsʦ=S@S~ǀħ e Uڈ+g& ԑlOsB!Ȝ:#'$'YHK.t\ .C9òxX?I ʹo'QFBXTZ4qQ^|'Kx kCו2qU߂1qbFU -׎61ld: OY=x'K?b}cH15\Yoƭ?_amN/$ KoId:Zr1јaѷ sW‚iqLɍވT4,+,1J?W?ДZm6DFź.QX*oǙ|Gp#O'z1Ý2W0Ie[?ExVCY~|jy22&~!B"F7B""V)5ʶBa)'鱢ۤOFJsXҀW;Fl85jOdt;Z,w$(߻d Slrr[bˆ8ǀ˛~j'#bRO&vN tA"Dh( TCDhgYZ093fc36e1aeca046a1dbb321ca1d6c2cee5dd13f202f6f92237c25fe02f241fe1e163c0a4bca399a 0f4e9b3dbdbd9c4a8993ad96dfc578e6ec05cd93 4d979bbee4f966a1cd5bbea3b59f3eab6ed5d6b2   ZF-UNITY