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 y ltL ] IOA:threads=6elapsed=7.210cpu=32.012gc=1.604factor=4.447zXZִF! Y]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=-}p,FFpW˕b`]M)O/Tㆡkͩ Hx|>f0)+V6 #bwK2w- RJA%)#xbQmעO!3n@;H3Z&0l==r^jH[l&*$S0Ubq^Rxjv_ŐVTaTNKWD5ƨ;y`,FyIWrgYZ7zXZִF! `t]ŗXiɟdN'LvH۹C<" !LZōZ GռM P-oȸ/cC攦EtB{c# QzB߇Gޘ{Y_YT\>aYT9O,cާnPwp 8yI//x!h|eVh}1ٵ9SXXEr &PY̺ +'K]OqER+nkIuҙ>kZoAYjށFX DlL]TY'[vb5RU ϑ^}BL: gYZ7zXZִF! )`]ŗXi%IC˟qM cM߳5S]L}tqK :^Ve) ;ƦĽ]:C4'>eݹ,ca0ĭJy7س5PU,[ARGj^œ+b\ߣ̯ ~ N[XHӄ=QI.n\,jnۊ\, vts(Pj|7uxon؝Yr u]>GL$-(cSR+@YbAю»u1B~'н `y}sf Vh-vE6_A"*Lp YK n}.r- MJ7e eR[_|u"^B(0^dzbGEEWc ؤ>GL 6J{LUn lJx{_n (4Vۿ<#(PPA iP3N 0LXfQ:a_Y"u5V#h@)b=늙6,pF}c5wNq?B8&M:^ۉtyk@|2 ҕ27!,>bfmY*t1f\}%h4n[=Æ]r>04Qu[BmPz;/}0+m˿%s&k"|$8AAV+XjSb=e,PhpG\Y<(ua$Do%]*UUoڈrX s9Ǻm~&u!*ˌr;bv ~Cziq2ƙ+Bq(SnW~=|jTZa,mvl 00OaGuDERZ"\#3<DkOSI'gYZ7c2a52014636bbefbff9c5fb10a7594c1ac39496a9b7dcae088578d8605a3e1d84e889eeccefd72f b4ab1f59b08714a73123cd49dab856a7d2781a8e 66c198dd34d353c91e22d4f63382c3a77c466f77  IOA