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  ! !T) \T ]/]Stone_Algebras:threads=2elapsed=52.939cpu=89.504gc=3.944factor=1.697zXZִF! >g]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmV=8͍>$PpVMdM֢Y $lOMϠpЖ⍩Si*"<Խ8N1RE4N"W0~W&Kum?_}.xx[Ӌ | 7Z ƶX`ntcHw?OT WR|BoPuyi_W,7]yR絰Ǵb%ѐG۠Ckݱܛi(V&yyU'^ܼmiR*YF fDґfvy{'Ы5!6P.nSG}Y0nh:#+!r]4~e{d_'G#Ng@}Uzas.CvʹfQ =CȻV?Ri0*Mmw5-&@d}tOiT?¿@gF~䷵])Ras5)l.}Ϲٵ8y$aC,Ǻ1܍pħ_m!(&ap:ip .t )8a*3eMmד} QYeU|BpiUGM"w2HS:@z ]XmEAs;vqaLj6|v*Nʅ{eڤZ#ӻ$1RwۀE [!e9+7ҾHTjHstE|,Y凤z^=n[xiPKՇŢlvpF5dBFd%?)(JKHAk(y=ZÜ)M닉 ) Stone_Algebras  t( .y+{_֩2ːlEf0C0j8fZxQ LG2!9|i~34K~F^RLm|}OyBRÄT6 +'bkPld~תk/m P-Ta%fY%14M8!%O6vK޴1DM@6:r^Y}$0{63ۏ,]AwA 8]K$B6W:p>R>l8< |L܆gYZ7zXZִF! D]ŗXiɟ34Zg'-*O'X [ȣ/ES m׋R/s4J_\=Bp3ּf~T/ˡuSa(G 26u1R'Z@}r~Fd142 taY*L=Z_>בN*M(^D.!Z|."]HD(UKrʽ2hm;HD=0 >P"ۥby92,`W((2o_,нʳ X}nZ”MBLX"OvIYk}= 9Q'/ kـkܖ%Q2Q6O?2 S-L(FU$hИ8sϦ61p<w*J"rv[K3ke&h=`֜u!]."[pH7"Q#Qom3?۲K#RYNcN1O QF. "ԏ|Lfz6kZ;Y&CEr=r!H;n* N}zv>Aܳk5`EM] 6cmLi]\$V SF ~LI`N#!Ds)EmsE4A^Ey?'֓Ug/##VxrW&cq9jϙ@ .X b]?~v m~G -##_ NZϸ7*$+6 YO~;"{L*8p  K7a+ϝ'IQFr1~jĵ3US9>t C5|T ;'}v]=_K!bb24ms+ Ws^#(BOS#N87G)amWPi2n^G&.Z-\uj<祤h8X57lN}1lc9sua a%WCGr^E,+=kuETT,eo;gP/g-^vD ۫DQ?q@MKSUdsf폑 $L+&M+ј~4~~[;Rz"k 3L]~QOgLc{4[}&'?w1|5hhOAM+{f?bFGR{vkF*1X[\QJVLr9BM".d_ڋX}MluXnӧ_OtsጟT_붊{7N|sg`.C>#r|Z&kۏ8G26jAw\y1z8jUĽAo*;8/_IQWt48G&Fν^vq񝦅E9}Ysc%q2/8L./=ɸ"ʁ<ƅP*k\j1mS9`rZS)~U,{Ɨ9M6,BbѦYD pà)S 7A ޛ//:g>^ff>FA3ΉQ .{>j1<MSX1b 1acR g)r<<߯Ke $Ac$}f46.wiҲY( '_yjy g]9RD \Ah?V3B Ԛ."çD`!8[}k15q*h>iQ`JzYgE'P%ȭOdF?cPi?wRℓ n6=~f]˷!U?1^HVkϿ3ؗz2S&D7s?x'jIy$PR /쉶JY;{plla - B-ōЕJ S )b*Xπazf3@aZ1|ѫj2cl6*sھ^XtӱKZS ʱذP`mrD.Uc6tt[Y@EAJQEGMs`]5L&tlǍi*C$s8#U;ߣra2N^C)ZR;<7'(Ũ`}S WQu|hN~H