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 */ 4| ]% SDS_Impossibility:threads=2elapsed=57.781cpu=79.656gc=2.012factor=1.387zXZִF! ]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,e -75yS yEN#𔮇1SY?pX3v'q?{1Ӿ?$'muFQH\(.b}ۂEG%Y7 "`u WB%Cr16LNR 4PqUO0`X / SDS_Impossibility  枇Y6Gf Rh虓bm "1_`^sNj9,iAw">J(3?[q&Qj>{gFIހ"}0^j=2̛~b0l9Ր%I/e8 T/7 6S o_T幀HiUW NXM^ }_ h3wFJ-]gYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G Eyٿ+KZ 1Sϥ([,| lNgZ}YZ7zXZִF! # 6]ŗXi%>gA܋q Tl` c(3W^p5l\fK @_߇7(8?np(_ SJP[si" u(>ĒN%gʆ)d|ʗ9Z?Ҩ`pkƤ6b%N{3^/0s[_GZ@v֧JM61hbiיyӟB㫋/g/\ꊕ^UV D#[sS%Tn(Z*} ,xMYF hƞ}gj3Tz7N:\h#dzXB! \@~]>hp0<Ƶ-Э\f?nM$VE -kiÓn:|sb|_IpZ:t _ĭ&Jĩ85gG۩0єKͨlcDh.ph1?j klӄx[1;#'ߟ" Z8 v˃Cmkvx"?][ MTcEVyJGE %fhw6N18RMІHc!HpdVC_|&P w'5㺗Sq`zd;K߫qg1Hu7]$cGr 3Q'=Nֆ)imɴjc 7ȩuW5'grQ9/^^G«fLi޾M2eNPP7eo?d i)MGSJL0#dQ,4@cuA XK%D| Oخù/B/U@&5I*S˓B(iz(`%/=X(SY{2-V(:x[?jIV9ùiI 8+Q'lirhz֒:meO54YaUh \DĐRh f-tvE'F& :"|?EEE`g >/_8?팴0 Rsv6*09IR5gǡWQuS4O򗋣rh&eJ3wi-1E[":ӄV}w* 5(qmsI,7 tOWXys;H!E3mN @NLj]Tn..В=漮+\9;h827Zs!!27"OGf>S8g3G͘& 6HNGXVe|B[vv_):([_d8_CwA f em*_[O9YtǂIs/y/ a`5{jKȠ:1}2wJq`( \Dr'6uX V;(>\u} Or*JjIu0ECz2}p˺K E/ioњX0 0D.־AjMƊe>SEx6j‹ z'NHuU{:˦~+ARګIah/AMà錱-RZhR p{G#Aˤ3g @<.pƍȧxCIF4,,"R:4x_&'NI^Q^AA tl"ԝ%00?ׯwSA|H8-\\kuN_ vBxvF{+4zWE!xGXXGOq):!SL̗ H\Ը-z,0mjO4Dug玙ղQ^Ձ*U7VD sDL&oL=40m8Q/SnwNˣ<0q4,,]G"e%7Q!kҪ/=UrbufnfYdQT Ir[c6ƆK`|Jʏ@Y&_7<(CCsbwdXω&j5%/0fbE_ӱK\PKM8vO1V% f>3ێ K u[S05gtsFxG|Y<2' zBChkŗ"74؆'|?4t#{Fe25Yw  ~ͼ0Y0sD*)dO;HhZژQdg-n<61,Q us#8) _ v?'ŠEt/<.p (Hث؛Zs^!St$J~Q4/Z(l j@Tk*R絵_'٣ܭsSD®S~G85r%7!}ـPs=P1Haf?k(4TA(:ƛ <|-}HDŞN} 3-k3umݙ7KC&ђq)k=u^c'u>]18Õ3G>Sa TuzYf!4>\k2+ݧ>=Züoqq(~Xr+gYZeaf862c8274c527169f3a67be52579a392da4695665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784 6287b454d7db781d7a850744573e8a503c49bc9d 67d6dac5e68534d9c573c61c138d42b6253c0e3f