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 zz/ l|< ] Laplace_Transform:threads=4elapsed=7.234cpu=27.888gc=0.440factor=3.867zXZִF! p-]ŗXf[& ny$d$Auc}a Lv~9G=RK"mGG cFZħIFxaH07\<v+.osTG-ݏweop[&ĜKOȇ~>l3uFxaKڤF~cyM.Gh#ܾJ]KH1e2r@`BQ =hk›IƞgYs$$'ˊFknʵ+nigh 3Zx`LSJpzSw@F>wtE=czZ(nE;ns5P )7ΧENJn&9ZG]E枇*7QMl<ؤChnjELQLPjb#ZK121I8s_N#B`0#S2 V{iHϘ3/bBS>v$R'ztQ6%RBu-³*K3GSuì]SXma/AӅ1-uLs vCњ´byf1&v(gYZ7zXZִF! ]ŗXiɟe9 V<_xt21 ~s-㌕O4IK(Soce/˦yڷ<$&9f?(a\Q@~ ;CbFدw3&6,c1+y&Zr ta`7&eKygBA"tҤcslgYZ7zXZִF! @]ŗXi%L 0H)`:x+Sf1ow!j+DNVm ~ܠxlWV]]8v5)y~z;8o:0.QY+߈F$Ճ1ڧjڌ.&t- j <xE{Żj))MJQ ϔ\~PC.K 1Fws( ;vAT{d]^]2@f*BK7[k$vނu$rB.vBY)4'0a|U~6>NlLof>z? ʼ"<~-|__iF5&*yACO;f]#`r Q# U[Q?xo;{?[$^pC x]'RH6Z vznƗf)ڋf._j)Pw ~!gVs/:Fdx1ܝ>`<̯:rnb#3Xzyȯ(KւD(%@n?"Y6;kk|jtBy1H+~݈}`h Ж% D|{qq'ȥhq&v)~IgR,v1r_BhL ǨiD shK*t*G :0G {S1{f&2ebB!Ď`$ ,J9AҀu$ (xje EݛiK*بs5Nߌ'uoq[| mf6!iʸ׊ z3UV%kGĈAlj|U-Mv*7WS+F>`'[ UPCɉl6 ^g\7=__8J-o/cp@tl~>aooJxj~Fd)la2ogBlԥC4tIƴl)p[?~gC%W ѻ؍5: