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  2 2C3 t`s^oJwk­f=.r}N'oĥ%[Lgn2xiP&ҰD[8]7QRD x)B]N8;8\3^9B\/zŘo7so" 멦}8ŵɐxYspȫˏܜiQBX\_ʯPZ8-2#>kMO}iZMu͆ 6|)Xo 3 Probabilistic_While  tV]]*h})}={7uf] b?Y]nzZmg_NbJaUf!h징%H&핔=d7n$C~h*&LvCQ"cB Qa돪exsL0&67@z ?(%#(C6'I4ڡ}C;tic6TY _4P ȩFN Zu[gYZ7zXZִF! ]ŗXiɟ1˦rFܬdyU,kKBnY .s‹:2^Yu~1e=_|Xʊ*)!F90~J (5t'몢+-WwDFtG'NDl>[ yj\*/Ӓ3ѻR毖;\t%pJz΃'*ʦ"sTbRyC9Hs;G`h/b|lxhd:d\"M5:w*_,HC2Gk" YeFM@cح؍骟 xcP}ڽ;|ٱl>HWIhbX}!W.`|W$=IH_U[6`7_[3iJ|꿌^!%?JR$|BNi k\go,Jx`I;ş`'pC/}d  w Gw?]@+R >ϱgYZ7zXZִF! ]]ŗXi%;G$hT0zr;Ҥ&>{Wv0Ӥ5 ^cxFVyYi[Q6] #?R|=k]QC{hd0׷]r)UHvv3iKөzK aԩDұ㲱!O͢kҎ5{mmфy3c (i%#C'ؤՒs S(2P.LU 0b@ۯKN' 9V#2ycnhߎYԵK`p yL iPf:Æs%Oo7 z|2N bRT>XxLAy:Et=[G Xї'5L~#i`t2.KAys6Bijbh8vt-lda`nǣ-8#3RND﨟@U0\b2c)c{ mܺ:R#>,o7HoԤ֊6useqOEcWOe%3̋PC3I}Ð@0`i(Fp}ۯZiHQ ?:j17'ZW&#DIMtٴ!˦ ؽb|e  ~Af.Z}-s$7D@Q+>}`--}_sz|AO֐`ub3,"cݕ k~ HddvxP\G J3A*/eҤąu /3Yo[V!D*yv)tRXRW"*H3^#gGu#ņ<6X}8~IF9.ZN&h` *:g̭×v@2O+ &Mᬝ"bww$cɑ A `FXG&=1)k2;`@^g8y`8/n| R)7f~\˻ 7ff֍͖%xT[vO "Z>_w *B*E^,Q<-lê;b(l@kt~ xD[ybRn{2ʔC Sc[IF 8CQ:uLs\9uFF^g &n"L?`k}]Dء>-KpV Uʝ/2=\@UHh%٬RA`_LBjuÒ)YqA̳xf HڳKH)O2\gkj05@pq*{OO( ; T y}Nȸw8H(}11eN q@Uu"5{9t_@QSl y좯sMb3'ò١6dF1n.>2EAħA gk#կnhiM|^5DOףA QQ IazE!_&/DMHD"tW3k3jS?4u"p_,q*KF\H=lW >Uz7.&?&cK8A-N2lDǣ9]j2gw]l{0nApDTK'1e֜fWdYhS NFǶX{* \Zl KD5QycB6U80 `^/ Ù;0|̟EKL2 `yåg d7/x|u)'(EVh CT锯d ITvH[vCGxRl $or8yhԆfSKsI"xGYqrw195ʥzѦY@|78.~,Y,fD0ВRěX~iR]X״:r-HH,݆]!=F3~Pa,[}m b=ܑ4Dgعk@m-0jeW',8jllm~01;,3VhX@p[HF\vt&if"ۢsN~Oov|S 4ԤZ{V[ T.qDR#)Y,NDl^~>pEj^Dq cTnl:IϤ1_nբy Wc3F O@5rrRphlubɐ2uߠOrGC;;2T l~̨q&w̥C!&"3XM-nvK[xOׯ5STY~Rٕ_ƊJGe /8l;h~T!0ٰ`0EQKTIݽ/l.W,tΕv28 !:7p'DSz[۝M ܤ xy 3w.Sjz~7td5]ς;wb(#5m p,#{=L &>"hO,?[w