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  p p1 DT ] HOL-Metis_Examples:threads=4elapsed=21.880cpu=63.020gc=2.764factor=2.887zXZִF! \]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿r#q2Rݛ?O_CO7|2R -k?+d)gipYFԂ2k4Fa7<xjf Ehd]A+/{g5+G-l2 ^ P=>_&}Jl 3I53{?uPH"y,*'jk:c j#xN#@%w^TDeW5*Z>x *<猛bZĽJ~fĚ1``DZh@\ 6ÖJ߮؂ S'f;1VNB™i܂8I&b/5Cp p$(/GVd7. eĎ%&$ஔë _ k"š3[B[*&(Es䪜5͡aGGNFOE$*̩e 7>L%ӵ;eF dGe9Q }!QMf)xU\ ,kx2ޟ'Ɉ-kĨ̔/!`Ħk!A1[Aň78Z>)k-ACdtgڵg}0*.rS^xBysuWh_7]L}ws1 $NsNnO?~'%& :tV8F ҷ7wN:8 j?NƎk,p|?:5UO*"ܞI־$??v;HefX }a~%Ԉ%W֨}k}k'r2buu,;YC)a?DJBH-lDR!4 l edrz"ӂ} @6lxCH놿4,pNdI5!$FY?*gkGhNP@3*Mi#q Ӛ-i eRYΙӎglJGз'ZT4pV $H"|RH `[b9# zߓ!wߝ] l/I1M{}."L=wf> i@:h]=1s EhgYZ7zXZִF! #]ŗXiɟ1$Cܨ }X 6^vWn p^k8hvkfIqiD?/㎒^׻oq]61;Ј5쿉}Q?}@F(8B|]]g&z.`Dc0jOz TXR₲PۄaÎL9wo$xw-(D58n#Q"q]?}YjU( \s~3-*ځɍA43J`T=n_FP*-dJLo@+LgYZ7zXZִF! {]ŗXi%Bt.Hp3ls{x eW"- #O4fZ˶a m[ݾw}h1xNn%nmؑW5Q2u Z(Ȥ\`?ՏyaUh>2;Fv}V Bc@su& W/57N:B_.:`+i/O΁' ڊ}&w둾w2GJXxO`kmV[#ŒPZ%[}"2Kmg ! {+1~~,\s 'F/ñ W4kZ6O+8[١16KoaϦ9' 7o@:T0ϳ^oyI޾#ҎDuW,}quOS|ocR#2pB&T¾l)z@+$Z\1sHJ]Ԋ/]PE OpE(ܠItLPJ$Ul1)(:Jdcq D,2.8TKюw1_ ;FM^L 0*7lNNTL;݋ѳ4+6&TH| 5 L\'DXw@\eQ=X[K$5A5c|ה$݇XOy͢YRSVf5&;SÎ euanpB@9~ R)԰w/0tntd .d% #bAdʖtD\$OgVVR֥(u~IѶQV(Fd艀`&}hh$8ٮ?\@?}Y>:G/(A,enY0KO0J.%|g)7돂ء%Ƨo+Q;(S/[ybvXlZTE ώt8t} ?2 xtHQ)e>[[LV\yA!}.IܹZ+XdËg3Pەg`!h%<;~qr!_@Wa.UYHV)b?KO]dg7oq4BhF:v!@ ]am: % o4; c|{ >Ǝpv_2lxJjKwCf @ fc_X~sEKl`(:sa~oJ!U ϿAAar2E\wrtP_",< z"noޫ$Ѳa4\,6Ad 5=e "F8mVY?߁P-LO8R1@O\$Q ,%6Q. }pwܨ~ctW# Fԕʬͨ \A䫿u{_sQ$>ZA.UlWiN F^U~Mßw(p[RzL0eMbԤP9P