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  m md ]/ ZF-Resid:threads=4elapsed=1.186cpu=2.684gc=0.000factor=2.267zXZִF! ྫ]ŗXiɟH)0%ojM=O| i5? qLh8:Xi 0I'Y8dBTe?'لv1'!oM7B<^xk*G)Stqlk Vr8F*u,u(7ZcOݽA=}sU ֐@dzEҞBP̧@/qܒyEN-vqvBU(a >59"eN,c]gWiP'vR7E(8a,d !-j@ܼ&`k3Y#-Yp$!2ĬDd1nո1+ \ HW,iR7:a`\hsCV$-'#fxRFD圚#{DK$A^%[OCB|r>xb ńW!Z|y//(Wm0`nNBy ?[AB60#LZ 3alO_-f!tzBH줤0G| x[2Ӕ 88g0-wlّ{n+T9+}c;>IZSFmhb{Ӣ9jnZ K蓩S_"/iTX1̙P{j- K>xwh̕Đy-{/ %>`]t.sr^BMEEY4"%I éY)tk^hoK"b1[R>n 0sܜ B.1fjuVK1LIΚ-U#ͧ6;gK[l.`%֯/p9C1w,UŴY_GYk쏽<&Kڅ\)\S4CR{1HQHPt _3F"4{mA49eJ&oKꙿbLu.~\q_jJ'U>THܯ*+BUgok=c sT=m2ib?4w#>o9偨QAvXXֻr$ e=b1)Yg[>W`l`oa#@ZL?gФ0\_\tS*k&D\ V`{ț9CSXg$ L4c-Tdt)i(5I;J~`J=Uv QF)$/TjU׿cIU+kLS ?~}~KR\NC6F>uX^0쏏q~k~z$O]r`|בFIYٔ12>/Dw)tIΨ᱾.u}śYyro#5ĝ5l;LlR;U;`/|7ްOk׶ [3Xb00ۖيz򘕰eK} JUWk%)nt9~eԼo@謮_^Z޶g?]N.mjy'G},H`"&fcq> } Αj =_{u-(z}KhX>&u7޾5cxZߗ+υ8IЅ")Err^_¾ZoI24~B"<}ΰv[C˔z [2_0DƜi -;).EG]v=;A]%w$OW%8H[>.OS]ё568==UR\ 88o8Ah+[ar qуT~{OO\bGlWT;Aɼl.3qFdIoI L<=O"+l%4w~9~gbVmk_rIQ7 r7kc'6d9S)sg%V4*|6Z]ŧjJ'e͈QЈPK5uJhўkOZ9<ٲ@ ɫ[BWҌ2!U{9c_x#:?VOEs: (k?Ӟt6elMP}9{/x~ҟvםE1'49گcߕ @$jg{>ޟgYZ7zXZִF! b]ŗXiɟ9⿺Y mXzuQZ/604SJț2`hIDY֤W˃ܾ!Q*XDCH//!헔=/=D]rɶ: Mlf4:z#gYZ7zXZִF! ]ŗXi%L!l)>#yALp݁zwZ> Kx-=kk@[CcWX{z1u9 SÛ2O e`K'aqbY 1\T~ꅃVd +(xŷ]|?3M+Q,myҌ*ajX<&ѿHszY;nI`ZBB~n(IW~v[@t)^({= T6Bd.A{T Nq>ZH0.jB `PgNJ5s]tz+WUD~#kg/c.đ8MMd}-J }E^ ZG!)kW]m :I5[D@u?pgYZ53d074d3d797cb6ac7bc2ac7b2b41ab842c4cf758215eb5f5b3394a9f9254fc524a194abe159cb1b aadd3b8d170281d804851890be5d9a0a0cadf3a0