SQLite format 3@ . BBh77otableisabelle_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 MM(#|T ]S]HOL-Algebra:threads=6elapsed=50.503cpu=157.624gc=8.876factor=3.127zXZִF! ^ v]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!f;;a@mSjSNMҕZŁ9Qγݘ&ٹM娣l ̾)[[B)麽@EǻvG JLҡ.wjc 4o!(adPï8MS^@|qjK]K phݧlX?`= .e4oG4"vK> a`G鎇LŌ Tֈ>VDsbY}bDvZ %dCp :ga9'<89B9("]nku߿V:7$>@{0~"Zǹj]2?`ڹs/7 ka D#t<1'> y.bއi$&7.& y17&@`5Pʰ$sl5C(]``ڦ(zH|*U"y`ѣ 2| ؼXZ&mx[U"\-vU4&gg[مR$ͦ< ReGM:t(el9z3lsƅ-%|nf$|.(4;Z3R:Spu3"y^j73{W!ܗ~.cn籵7w+G)ů/Gg7Zs΅9A3B>wVv$*T_O{zɗ VUD EBPd([2! rF0ZJ#Kuh &!E@ZG1Uih3i݆6S?}o< ;YԍggO_d,ʡLz%b A4lT$/b1oG!dAw{l)/ý(OS'=I"Q - n*@*e{3Ӈv+V[!|E'flE_*tv^6$35|:& [bpTpu583'l1z?Ci$# PU R@61lshd&Q#K y<i@2)df`>p;KXHֵe !T Pxaaᜌ/a/iB$Zr!7N.p[xxu61LبLGCB8F!+ސV r ؈{6*7DoKKE#ꈘ39C3UY @XN5ӚeTQM%#1^krEQsc"O͡o|*H*NEGOY.Wlmq`V-9KA1qcN*V9x;UE,uA!J.4G~85)b7I(H"Jvk3|aS 1XBV-0^Te_IxƓ"nxtp b\8,c0[t4)?D;8Mx#;SzWTs~qN6'?b8;Ed裸r&DUTU 0*'mqqS2uprDdw'܌"%Igc5+]%4WǗ+m[Юd\48/!4F}3bl:kxy <],$iȖAQbvK CbͨH8v4PjSGPyc}M[NE wБV֤Dw:²޳orл@)bgMeت&WZMU'+\^aoS ns0.a({EeY$J"ТSZCm|%#/yƒU`3ìBv"O1leeu<*võsc/YgT~d{U-Kiy+uhK.kZ,*g6I'u{3`,S_0m Tɦ|.\ # HOL-AlgebraE*zwH@0|#]È2B4؃o~)zaKQQ_K*탧Yח#w6]JVo %o]vTo0:n֮hCTzc zi }}gYZ7zXZִF! #]ŗXi%έ%Kg\di q;#=΂sa-Snu[Y] b*˪-?^g$&S|MW\m;8 "pLlSF%&dIi8}?gaGzVlܞ\^޷L".1z"L,Y_pubG* K?խ~/=>?1֊DiUhb"k u3g-Mؗ+U%@qX}=뻳g~\J'[>\`DI -Z5k]&<{'-&K RQ!fC>Jo[J;pZ9uҕ&]{ k }W%lP#1eJkokW)yBȳ}|s;r59q iiX!#}\$\=~NӇgհŊޣҢݫnvzt7߯ѣf3[x5Vl<9u'Èu5MG 9"Yja-LMk_MEj⒠_;)mCHd(ޓw U$V!Heְl5Lh˄bw{}VT="wj3/3NDh7"(t| 0Ck7w38nw$N8,)=E;:&ieF,234YLF8T}yոM_T3s_|1|*94{ Ve:e9E#G tTy$2TS=dGg_4y/aۈ|m-< ~ųӌ96M#ET'S#nįwSso0]=Aꙹ iR=L!WmBp0Uaĥ(? iiUm5蛢sٞh *b%ӘS2d ѝ5vP!7mTN"C`V 4:x"q&FTRYOBʯFfcuMs6,u:VT'W-掻:h JU>VU&lXBH3*3Z|p5vBKDnynT^30 ~5-۠ݜ͍RjV8g~zVΆ AI!|0bƦ|lҲo-1c at<@"iIߝBX}ߖiM;0N=UKh~LXPN-ɀ6Jp6GX q.S%qǦEHM v\BbsJYF䳯/Jcuf.9p& o>j| @Vaoķu哪ayKZm*<͸ފ%É6Cd0˲ S-% #'k]}UH_͍^DwKZfkƸ;BC)!5B2P$yo~F}D?/K;51Rֹ!3{Tibm B 奚pŊ2l \}ig"*X;4 鐇VS ߪ9E>Am@#Z a㠽LLjdzgSjbꮬ<9*~Xq4͔|z$q|>®S“[ԝbG$ǁ2x  1MՇ фViB>e3>-R[ܼz> v\="-6Yr^'o/Vx RX?H9|i+ᗐ?j ~I+NJ~U=qrL4,pz+Ng)&pi |b V C[E/i\6sng|tQ )g Y2trsofgԐs$9 :g|Hʂ?$ƛ%f6I"-Lɠb;0H#H"ÖY}