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 $-$$ ] HOL-SET_Protocol:threads=6elapsed=24.337cpu=110.140gc=2.416factor=4.537zXZִF! .,I]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;4T;jӁ(HDP<%@˿)b;_\[u6HWp``|C`< ;% q^ysqЌ2}חgg}YK0h~@(%ݝpˈI īS`䒘Ci>"8:6!`yv^d $n]lnk~4 ET?6 'Xh'i; qi9I_jh/q@9󦝾 Exщ[z - HOL-SET_Protocol  C+#ٍY1#:lXAsbO "-ǐCV>0Ҷc =Aa^HL0,]% |5|'j\FAR} |tK脕gy1oመMÙeAR_VBbBrC"9|+'1Y%KJ1{E 10 UV^_>^34CO[[L&OA_KJuǎgৢ._Q/Q& Se.NŶ6elH=է #&5qZ_҂O ۅM,~3_*Fs8Жnk҆Tޔ2_f>PyʛJqsI9}`h77ۀ*~Z;+ y0E_Iz MG%VN(r7zaw&ʥc_rcBȋY[Tu(Kº){w`J3uBӯ!W ' DpO_zP eΆm-\Xc~b5YӔ5:xR"l[۪9{s ̗cJ(:>סx Xmw`hŁtUΆWXGA˶.D#ڪHm[ʻD{TRڤoN48\! ogYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTcNGW׵ =c-hfϿhxvBS/XtNxG d h5WV*KMc/Bg!ώ/_ :OEa37'>`i8eMp7T1tIސ{B|@s} d2gYZ7zXZִF! w E]ŗXi%I4Ț'|[l§T.72PaڽQp ]Qh}%=-|&b WC@ )Z+ޣ8*ATS֧i:*\q1$.APSeZv~@(@rܬσ`/ <(FViMA,p_ Od%VEk0}nv̀Q Q7b90v99y]3e H0\ SeK ! &޶''Wt#,Ix̰٤sL4~Pۻnc~fpu;YYy;}B`4o碅S^2,g-p_ngV69:',"odޣlh`#緕O%z)+ -}3{Bt-9! `ؿ!419xةlx5͑m[)? 0K0~)OP=|K(f|3Q&o%~.A3_x)&ZjQ9m淫Ԇ 7t 7 eV J 䢨pj0vjmh--h"YŌxP}{f6V 7 F&WeqF$hɅWq$(>5ym3EȞ֭S  Dž/59J}mtbdj@pf]j4ܲOOMIRƶb+FT^U/)0j}rz&Yq,UW@6g(xo;Ah%3,+,7~πH><,~;DvP=yA -i uLnfh4iAz=mCf DK\YA @6!vN_vmIq?#0#ZY!9 zJ>cZ<k9q=nA0,3Ww?I _E oY÷{ZuZ TPs?0&,0lZeAgn&μdKe,c[e g*cR:3V:Bp3qM.,M n3vz*BhOXx' &"yd##;t#"ډ=3$X^*ikCjׯhZ 5Tc,DcG = 'oধ8kI,`i˴򅟤1*a\ӹar%(v%[b1{"׈/LϒQDb1#SQ۾mDQq+{F@~R]%j#E{>)Āl w9_&NW㿋8V!oz!5f rG(< 纆##dRɉTE _ceD))7 y.b?A#њ^_L#A,Z#$Y; \NEn$AR]!*&\ T!R{M9,9RB|EZEg +6!>^HC8H9<{.xSK-h" Etx-642T ϑnC]ImVqM_X5;ܞ&5W`B rGuroXJA0oM럌  ?G+G?̆`$$^gYZd74eb485d6287d836b02e44bb06abac346ef5007bf9654100afe32c7d5bf427df7a0aaf9473b4b02 25da447281407266ec378fa715a0f0d237e17a82 d403fcb36aa62746c75c7a9da58026bfa7219c80