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  S t|4 ]/ DiskPaxos:threads=2elapsed=52.648cpu=79.180gc=1.300factor=1.507zXZִF! )]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21%K$ *#,b[ªuL+:%jOB:aVsvPy2F!& *X='llo،II$?2D[Ѫ@!3Q#0Mw+Px46jIARj0W KR(ܩ:-@eZ?e][RM|98htgY 0{ά'8C;fE&Bp^a @t/O=qwb>LYS6fX,gr5z{}d!X mf+ڋ>%lkj<8㶕^DO"$aO ?qO f) )Bbx:   DiskPaxos   vaUdQWX Q  脡EhF(`au&;.1~,+kȜ]Xj"-4Fĕ})5I+9JdR ZOc8<*&Eh1'9 XIw$r_7EFtHzjjv {5g)HЇuC/NCDb]baU"UŋA,_j'* lbl6{bw^?jK#Zseo$l[/ $Hblq2$_tw\`x)KD?>)!KЕ%JIJf\lpjR wBI BeX4byqhW>=K7IW}l>Uwؚ|$ew 4>A$qy=H rg2EBck@i$; 54wx?|qN4DB||2yD1}'#O#\8'%$uXx %owYL!e>%'i>f\صjXg@s1|!Qr۴|Tg0͈P$dZBo}/Ò3v`! W U~](ṕQe&%7m%^jpQ1 jF[PuG%+n]T݋sg%G*ưn& 23+΋?ܥ;eK~`.3%l묠Jץ<%jZJoY{gOy@OQH26S MRĐĿ)vUv*R`)ߛV41?mN7GQ);(F9w+7|5洹gZLgKI-nQƢɬ&isRSLQ2gþX㐟 TdwHGcl#cX@hLZK@b[ [jF WvTqXﲒ ^T6m+ƅpjdY=c-2rsUݖx^_: xM%4qj㹑nma 9Dlaf6#͑ ~KGH/}c ^c{sVJg#. iх޹H8=w!IQ( -((omw6aʩe#VqzɃo1 rbi8˙9jdn6O_-s:u bCZD$*)Aο"_xw#5/Cv)jEq՚募(7&&CJBuIV#bK֔%ѦjS~rFM]W7Ow%PndaUP¨y[i,93Fg28ѭ'B`,^Pkw֥^*L3ӽ.{Vr˄fdoc!eYG݉oX.?)Cf;5+RY#5_h8pN,f9Rl2Oa~ I2 lútBQmcO,kzQ{?^6s%i9$7>D \fӡs aQ,PUBn#S|iҵJ륾S wc pmd TNz@A5|HmɷQ-޺@CmΣbJxx?. {݃$!`JdQ |jto`_&.9K.Mmud OC/jqKXFG$ƭ uJ"i1 uʱB%~a|fk >i@tcL708٩FzZL!.?r:uɄz-\o/%WOɏ0[#;a_oq~C܅!J&ĀTq{HxF좏vSJ`L={Pw^+)ld2=-\ۡIu"sn ĐNڸ#(wd^F|uHݡnǡ j#n/ŀ.͆@?8ճQ?PR޹OaOdp uٲMk2=I6f!I96sW1C@bd& Fs:Q,oV3pqi`,Nf<"r5Zz&R+I,v6Μ2/[Zx%5\F~MZ -!3+:{&_Vk^B%HRg̫^n5Y,;u< .P} j`9"\U!sY.1nlmt9@Gi2o^'/aga%X$]E+OO=Mz 롲4et(F߮~$˽TIf;R9*a 1A@*gYZd0bb8f14dfd0e26c5ccab2ce7b5a5571e366443ca70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39