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 hh1 ldt ] HOL-Metis_Examples:threads=6elapsed=13.347cpu=60.060gc=4.600factor=4.507zXZִF! \a]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVVi_Uڹr-ZӴ:&Aߚ)nNN8qIh@(_R"\mvX&Dr/H\bVr:&s޺P> tzH7lq|*$͓a>A LS]CoAtp/UFN*]-áZO`= E,Pt\x0b{sIPV[I4/jDR)Epz=pQ-YLRmRTbѸ,$F0ř5dSHh+jW bzn#)~00],h][8,w8!x {b]Pi%R `(uzCczahGu65<3JcCGTW>Yx2kʮVTv#Uٿ<u $ eUz>FPU9 .LS~/Po)Us8-_:Ii 8S5w8t^=ꄕ]:iyy\p@ a jYiM07ꝣ*`ޅ-+pL#u(+BDPdimnmovc܁΋BNO%K@⩘q $t8\(V,˃PꉒWC,xCt[;įysfD)(Fw醅*8frN'融 +J%V[ን{.fץh$(K[{3*#.Co fC)aVybW`#A/sA%osh֠Ѱf/t%F,6iaW.9#涼iNod fs^s8ɫKwPm xޞR7_Q^eI7(k|3 h+-S|U@$GV%|!JMtpzX,a`:qzHFcÇ|A^od6V?'||env.۔Grf9SLbܱ@&L xN:%9FBнu-%nN u"` }MkhEl-g=^ rzU'IB]g|ǖRJrLA2)49]WO118T_!HnҬZlSj(P: u %yzxE2C+`c)iQ=J)_c^dh'Ǽ.5ǖc@͊nXw= o\}n#эxMhI6WO%wr7X֓ׄ `tBzD57v>!yqԩ0~c oZǿpo~ z%AU?T-<dba$Y ی{Y!--hZb79\jlѿXt9g^1;Mvc"<&d8qg'4M`V4m?ԧwڻ.f Fu!wխ{)DB i:"\4|Ss/V GU&LFf gYZ7zXZִF! ?K]ŗXi%>ox͖ d-/LV\Yqw04+O~=up(ڪ8g><=@+tN´L1M>oݠ mѶ Ks6DjBy|x/}\O\ϓ+BtfҁPؚ-[qu!ėQy o|c9FKTm\,zdG)uK4BM"f, b?*pI#ULp%E'npY@^8Лnxo{έfZ<9;ҙ?aY) z2nh}`4mHB铈+  BT2i($uZ0gz~훠˹.kVe*~2 iMs13%roPы1$QO5O?_~N A/J`[8!'M]Ucϗ<;$f*ighL`Mݍc!d 6mPkS%cS%aBɈ's(,k4り@Fj[}Pl/8K:a)){^)ӯBOxlJus !מ[GOuGj-˶Cr1*5>PSPW5ˣ[XNhG3g7S*椘OX>s6FH5܎]okq |;;eieVX͢1LXp%b'l&rɰ@⫹/=:JRlt^(O-See-!_Vc(̜͢SFRWL BP\>" P2.^M ԒNU. U+(~'|&UY[{<; '2ǦHs!MN;:]1U [4Auô ޮph2pOYc>n ]a&ϙ# ~Ő#k8zR(X\f YKg$(ls!q- "O$cPm4Wɪ;h@ʯBFIovǛkY7~*2궖J1?Z4Ļ.2\pD6M谒j9*k 4遌cֲ@r7vڑcQ-pBING 1lLsuUD;6Ͻ@$avdxm`9i̸ +$