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 " $,$ ] KD_Tree:threads=4elapsed=11.322cpu=36.996gc=0.680factor=3.277zXZִF! ]ŗXf[& صfYÙ +7JD9*rgaѡ+kINN0J-Εu-bd\dϔz&2nL@L ki^KS ʷIqt~i~I- $:-{CEC3Kf `<7_DJ#!8Ý԰s<N5Ci% ep5-:*]:z1'izn&Z_ےtqjY_rM'&pxku`~׈ m8*~iv+J?TꊛeWluo_79Od_yt#2n](t0h*)Tr^??m3+fYaE>Z[&- yܒ#.}ph1 _^PpZ! ,iD(@ JCQT}E4ubs%r> tkfPG;_nL FqT dY1W5iڑffΉoЊ_ OVda˟jylEV:ԽO@+$WBgYZ7zXZִF! ]ŗXiɟ o~8=%)∣SDN`m&st~#>Β DukW+t3Ÿېn uzvG\Gv 4L*b1E}Mq'WbQ>W%ט&gYZ7zXZִF! V\J]ŗXi%I o7zЄ/b~Vk˘ENB[TDRK} nc!)/%ɍddie|g1cRQZ3zQo{)žq[M w&_`[&^s S NiJ67U}&uOkB.F>ι=+L6`Q8_?b̞zƀAK{Uy"8 }'g<֜>ᖹR=?WFKX>Y0u:?No F?l]lD8mFzH}< 9Ds|T[)mBn (L/,[ԥ"Up\ D~ӕXA} v,^?3kC b5\]%c֎]bd8f;J ֥Pߏo N} ~yⅶ8ݙ0-{u7(Ij[O שE/ CWrX|S j^S-EuWEq/>33_l8K/GIh!~sDU^ӰKԀǨ̀V9j& hJҚs0qUƭxo+omF)0[6LQCe/QHùa*ȧ IڠCBUꀓ58|꾉 {)a_[N܀?H܄s D iŰq~P"Z^YV=ݝ•po6z$&ͪ/0)c QrVbWcauR4ݬo$ l[hCu,!AM>Qny}.ȋ#\⚉%>ˑк=4{~.7ٟZW/*Kf=_%%|XveWE턒—eua_klFRGBjftۗ6@]|ZKTC2rUY'Gjx e[NqB?lĭ$DT63 Te-zl($׋^8.Ne|?huY q@TͷH#ErP+ jOX~66po QY7KenW6ML8l0~Ga#NL2cc!E誜b q#ԠÉB# dg^~Ч>|.>4aHHf5Ki1u ݬB5۱gYZ8da87e5cd23b4e623e4bfb3e99398c45210bc9825a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 e31b1a542842c1620ae89362aaf1dcdfc5671c0c   KD_Tree