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 C7 dL< ]/ WHATandWHERE_Security:threads=2elapsed=38.426cpu=74.996gc=2.792factor=1.957zXZִF! + ]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TC(̶xVD4,_s&Ozۖ- OzE1m!w.%̠7Ą; zMl԰`W+}6ۻEj<)J= |?&et:w*8ECG)Ӿ?KVbW:\Y7 =WQM;ri}6}P6w x6iN/c.ho2&5H.7ڤ: 7 WHATandWHERE_Security  uq{n4I6HЍy4'Lx"cW߭) ar> X R[MKQxil3gdWXUw!I P''MnxWt[+,<SV%1Y{<lj}_iQtKFo:U:}d-v9v/jg5٫k-#H AHnV>@`Qa:F'`߿SGR| Um[> 6S3ݒSMdŭ5i!E{xYܑ`6M~#JjM\& LNT՗јzx@+1˪gLj{]2<.!mQDpO^x,!{I9qߢKn={!=pHm8=5f٩Jwߥ r?!lbr)wԬ$ZyО) _O gЂQ\t[-HC^}(P2]F׫[p h!(8 HQ>ЈF'[ɞ2Qr՚ǐ A=CPBgM~?s.vze6z2ISVDgYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#ql 0(vN'L^̷l:jc".(b|{=-<P ~sf!\˙<-鐩əN! OWNgEI`UqP>) kTy~%dBY?y pd1TI: 9ڡq8&`bu3xP]}{g;~%jԎ^>s?0O.%:,>@Ο%?R<]43vlDgYZ7zXZִF! s ]ŗXi%;345صi,NRӐ>bعSnḑgL3189B ;u\'PjHoP 蒘OQRꗌakA!ؐ'U>j.xd] h Q}q5gFu#?j4&uV=X8UsM-7 ns6C4TT'<1LO'/>aZ#D)ܠJ &{|b 1d(/p/8P3%UЭ,%'"nL%-|0Nfmw8zLqm05#6*{B],xB琨rtqȝ'npg>4-_8oF(_O).8/(rHDczi@I^. a+("P؊O1JEܹ][bmN z? ד͋[nZ$>NFE"TPyA/ HzegUBHyZ54 Ⅿ6=\h Mͮ3rnc3Y}We/C.zr04*ܤi;oG(^z'^Zk+:%4 9qy'Agp }==|uvfb2ZaO:殑6Y|Me[sޗG>R'MkՀݡɼ*s( k(nuHSuCB}LL ,-ֱq2Gld%7o@2o*@( U9mԦ Gq" Uڞs \;~Uэ+^9_UDa R^Uױ7 -P|jHH|6flQAeD/łk ^S3}fί[jkU,kF 91RE(%hqlT8q /9XLY‹=XjYRSO)r|cJRDPzm,1:M)q:)6D ȐscdŧwygGːmк;D؅&ȅ԰hJ(gJ^^q2јOGbqyEC谊uUυBAT޳N!񳵫!G