SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 8%l$ ] MSO_Examples:threads=2elapsed=67.488cpu=129.276gc=4.464factor=1.927zXZִF! -]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqy^oQ^|19 ׯ\. RkC%sF_6it9W.ZXZp g%3~nlSE@ߟIw_?<:-TN㔲6Dr!Dʉ 0x `[k1̐^fʼn9)?u.,OhxҚGCy n Eڵ OAB1H[K'\ Fm1:n5űgYZ7zXZִF!  % MSO_Examples  {]ŗXiɟ1˦r*E$<Ћ *Έ'&`Cdp/B~ċ#hwE/ICi{حڄoL%0Gt7)k>_S4ɱgYZ7zXZִF! < L]ŗXi%>g;G?bʝ${M**{E9[s ix]njtrˮ՞B^Tk&x7A#Ν@@!)Avv} 3~ a ˝HUZܐ8ˠro8ۇ)'X5(jA>٘h_B]>u "ǎqzX$ [@[^îm.݁">\Afާ@ چ+DШXCm8[VZξz[j̿F|TjAM "Q 7"P܀Bj='HHՄV0A8d1jS&Nr Em4&QoM7눆`O?)F iZc3#V.ॱj-snSJQJ-W,nZ%Cl:&oEGEx@~VR n2%ïnüj.~?ajt)M1U#MUTDj2H0TƛƮpEm Q [%ȯ,F`ۥ|'wC YN Όl43$Zd%w٨nŗtt!7~vȾU:SowxuUEk,yu_::',@=wq'rulK <|UU~/@&#|ҋeV*MhZ$RG؊`^_3Й;ۻwjyHӒY~s2bZOZQ*ԉGMS(h粳|89 ú݉*MCz(-rVrM-`PBXNZNx1OLT;)6\CŒEH0'~s j5f JCr u?l(A9Lg75<$N6i JHcm^ 4X$v]uҒo|88ߐjJ LBgjcB"ð1hRK*TPGR rC$?[l:N2Yٹ|9QRyXO%B{u(&s>EVtHْos6z^LsGLu\D6phG(!>n^qx愐绾LZ_!쁼XyĚ6z؈lRp|jQl齴ico-}2FA%qfDpvCt8@2w#ӸiX7Q C[UElM1?R;<؟9PԤgIW+82/34yTn]CAUlq^MK=JξfՅ%MHnGj-\ՐG3.c]nm7 '$<粍ͲsıEI\߉M6t/X=r'/$$frOBVXήi 4\z>GSLr2y5<RYG||nbk/V pT7=e+ _Ao;Kx8 ?!WGеq$pev/P 5CF%Qow7 9r8Ҥ[ mvB;8*vqNU/@NUk:\?ucP$+|v Lޣ XY_wmeo7a{ښL(B>Ol{YZMxS r ݃j\O" WE P !W >fW~XZ\?fU?b=L$eBsy`ڼ80E`i1dH_$i9s1|nrYqD$Bi[gYZ58632fdc9f6da674c2dcfa48bd4153d6524252aa665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 f2c27b2709d97e6b7dbdcf5363296eaed330d1ea