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 M(1td ] HOL-Metis_Examples:threads=6elapsed=16.091cpu=65.812gc=7.5487zXZִF! ^N9]ŗXiɟ{Sos+jV8mZ[߇g|`ODmӇG|c-.+"!D eFWg,NI֔%*6+"§JsSlGү/X1ٓ9'rd W$p]&TzSV??eB6(ܳ/&3a;4 &F"C pY`M3z. z. w!VA2#k^\](ü%SP=Yw +z i9Q)+ *W1K%v?A0.* 3zakZdLNd~j0ދUS¡E#SekgbfsTnc>Ē]J2RKW@f<`?ؒ 1 HOL-Metis_Examples   %R 5;4"߻ 9Aa DVY7ng,C !7,1l"7KiQNL3jv9tٹ!Xo0Ko ^6_)}@3QTSaX6Z.JA<쯓:BPKZMTUmWkT`$H1eˁc$1u$Ͼ_'b] TvD|z'85 opz ¹jÞd_O7"zdj5JO1 >V'bva.]GN\c^8#Y7PVc 0*T"C/^5";,uepܴs-]ɉn48QQh;w WZeH6wG 5>z4_:*6=H Įo|qt+XL_P~L鿒{:79HּxYTY+?^4vJ~97Sv?nN;o@vI~u^"k$W, rtկ!Ubw=>I w f  :.Iԓ;-\0P80^O 3Xb~TffoOA,Rq{UY4]ʠޘQE"ez!z a=̟B:۵(v|9ĽX9mx:5+#VYj}.r->P5roiSgE$zp:̭kE5sW}8e 8RN][ ߂AN!]ƴ/ ;J}h4)* mk 5!ژgYZ7zXZִF! ]v]ŗXi%L*=Jz8lXi|mj/7+p'sQX{6s?I ӭ5g2- ТNs| w J qi=ANXl&jd<(-Jvq t\%y96ݠnf=Tio콽#SP$\c ]гNnntQu^]Ķ q 8*HbQ2 oĐ"D5@l_C{Tt56rه{"ٴUa=K˷ec=ϙ#QՁI_7Kn IL$,$6=aaua T# 8x|Ljb`' Ҕ3܅LYHT yJU ˕jS$*kWc E=oNTY!M**8_6fQ- B/gBaX' M$mC2K9Z xrSRf8yۛ-E u}JR= xCZ8BMnxAQU*`lOn+X` ; Ba_D!(x|5 N3imNb ZXE*Xyanvp,nδ~@8ioe^-`FB7c+g bd% 8iBSs^MTӰeSS-#Et<[YEA;Y%e9g{FoK4#/Y43~rbӶ 8r7]segזBPޜ/TɟG$-pusHIfȮ OAxjQAvRMVNCsXPC_^5zI)Ol`JB2C%E3bcB q'KHHQ9\L|f1г"d]x>&E_7]bURIuOe.N7ELB}q SH]q$^I\^E$h;eݺՏE=iXmnH~i7J{PϨk͖KL0#\JdHC51ѧ;𿑋ܭ[J& gtu3ukd#n< /@y8T$} x@ >Yv?L64cGta-4T*9ڮ3_ O|wFd]`>`dkc]TմNA #U/5w D-s.sݼw^1,V4:h}|Oˁe"-ힸ^wd"ȩ6c7PS5+@m:ؑ7$4{}trCEmN){N vlA#Dd!X@j8"KM7$HDu]nqs:FVS;΃tɨ5u-jpYz1W.vɞ`f,k^1ܸ&—7,5og,R(j^i~C7J_Dh4vȟ*QLjlQOXL?r}gB+*k 睘l)4Bq֪m5 8"̈́\ Pm(t wYHK:# gD8 [cǍm;U`n. ئeQ͖&t%@mӚnb;ʒ`0lh^1!3w⯫˱gYZ7b0ca42d150510f1a527e443f13dce8abcce767052d50d10ccdc465a02bf994ffa404cd98f184ab5 894864dd28b977490995f7378a440f9a7de17a67 20c038704f4f82b1d8063d9a1ac8bbdfd4a8639b