SQLite format 3@ .;  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 p \ ]] Cube:threads=4elapsed=0.308cpu=0.316gc=0.0007zXZִF! &]ŗXiɟH)0%oErЌة[S4JfVn,h3іzrܼb hk eW+V ­]^j ~H;+cj!h!*D-hS 46'/lާD3#v|#.rс_]hdE7]({G9v< f0EE](–#ұ#! *9cDi R'cd@&y RgtJR+e|x8λ{Vں-|xT ǣGrROg;5~D.f~k6NiÒ^p[*^%_ΚnjohN7 zhiyZ DPͤ&Sd}+c@<ҭw>[_(-u3^"xw?!RIk}8/s_VmYU7gfgaEEת[}*j6, ٠d} Ip,= guPppĻLz[t렫C OɪtUeO.ݮ& 0]Y;EuFK3Pц-jaԡ\ bHf+HZWjdh|nt_e40nRE˟NipyC܅#q8-dMl{16*;/u/$敠It6xB(,y ڈyhG#X8r!kiԊB1F+l$"9,X4=V z[Z=wAv4vWpWMݩ;%?o<#; Mr+g\/YuG&NA MQfʱgYZ7zXZִF! ~I]ŗXiɟ↝ejZ]_T/|̢"&Σ6aZIV>{D#bGa6K6YedF}YZ7zXZִF! ce]ŗXi%L&ó.Ü I]/&<oe;PȟYr5;IC,'`}TXP,Xd%|) *񡿇,8e{<=(ҿ/es;J8jA9U0QeÅ8X;Sfa$@^iA^,9Gy&o %5?8qD^3뺘0KPSv sid%;C%lOg[Hleû(XpB/u~%1F<>I|ӉY@}y\i3; v[v5]Bݘ %%JQfaL+C;_b gYZ8d55d72dde6c16ae501cf15f7787d6dd6fb7aa419aadd396dde0a279b6a4eb62f8f2ff37640b410b  Cube