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 &7L\4 ] HOL-Datatype_Examples:threads=6elapsed=83.998cpu=302.800gc=28.556factor=3.607zXZִF! O]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwTrRoyNL ~8 m5*)¨K _RN!S-!H ."T'a̘wve./̴6 }mlP_HIg N-fd`e> Z=Kt]mȽ@ dK! g&A*u>)pm~H Q[{-Ŭ6 u5|2~1ӧ[DyXi gvǽ]j,94?u ىĊ+[( ȨMC @lgK_Ee?7[!>){;;9%aۺE[?<&| мhN 5C.[+`\ S6؍24+di<\x A299NoŋCtWpvS]|ɢ:>+Gjk)Qc,׌:8~O7Vl#0 =!FYj&=?c/(37oMx-[ݴ}EBj,Qn,Xll[5o3pEf0Udr+Ď'&aOJmnaqm4ӕ{α&tw EY) 8Qc01fX49/^iMw+{yY=?P'kS5s p K`yͬ}w :oQP8.DG$ʧ[<7=2V,=o!O~aZ`aZsR.вѢjQ oy]QgxWVWQЎ}aX@_j{Dxe|bf_> ^ >K//n P?e:4D ,Wڵw0VҐ:v՜Njk6 %={QZL|Ƃ|H԰'H͠t^(0.Tn~ԬZ>~ dGPؤz7 kkQOvAsC,anA%Op޷"A.m%*̔J ѕ7,pCρث:/{`Ѱ[[ifu+@ \`R xg0 5T£H4}0Suh|оRdB#%^4/FJ%$N'zmXh\ +/kG|FfvKyp|3lɁ&{ 1gSq3tHڐ6>kf=o0'$&C Ɋ7,JuY{ȵ21T.Q_?QX[ʾ_( ]qQydeN'`试w']Z ֺ1-cH3Fk#(#qusMmI-/B*9֟o:߰?A9DCZz(b/ !irʖo2?|6ڮz0tnYʙgoxϽ˃\X{׈TڍI >Բ GngYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&XD@8(8<;*9å:rX~{; 7?WⲢT׏`oƂpZ&Of _qLB2hSx%Hw'n*=u- gZÁ3 DLՎ3"}tb f&N&H Vں^ѿ=䉚ma"}|?ahaZzśO[Y~F,p] 6Iqخ)YDTXx!Qʓۄ;li,/xu٧#k&Wtiηp-0]r*>LĸpY3 ;x\):AFWJLGЋ=&VnB%lNͣx `[:G6mb1B78 :-C\?ž-wcUFsYc]&by;"Bk}0WGB4;/z{ +LLdZJedb_9ebMw2XaY88a-@ܶa$dg(km ( =>p &dRm[[E(%d6wd%>{ 2й@jglY) .O"6D2 k{tdUtōWpԸx llb| y0*C.֭#3d't>A1T7Ch]U =KY@ԇJʜj2>41H.,ERqp$ZY^$080 U犹ft #R(I*wL֟=/cꑲ Ul/<a; o{6F3XC~#},kxIv Vh?,p I&5GO!*ZO"YHY 7*~B|&)Pgₘ|yc-3F_և;5qڟ5陵ފetjw-za*qO6~tE ԾzӗqƳܻb:+=jÚqMњ'SnԄ͇-u\5$8f*nxilN+4AK1)9@.hID.?A0oϳh52[:m &!g\bGu{Щy8.#`M4henl=sS7k-7s=[ZwBaGXFxu583G= jQϠ ]'ԋoOq1lmpAFKȎ[ȓ=C K*D@bzeAMGj'ۿJj94's"GBMLf߇E3BWM 8$|Z'6KZk3Qon!H|:Q(ie^Ӯ _-6 Mwa<-;'@#CC53!(#'N#̇\m\C[od,akh~EgzraɠLksB+ҳqNFv@2f8ozD{(ܧָM $s+/_\7zO9% FWZc _7JG ư+둍yqfvn*̠JWE<~v0͚m_%AvkܻmZ_ 0r ħAYφpQUOZ:dN8Uk\#AO eHeT)\܆iGu_v7!},E^q3\!GfOC,@K>89򍸍y%e+:J;vpu}NpL6tUxÀI˛ e sX?ݏM\_>stS^C5 Eaa,23__[;H^i@zN3;s(vÂst6SDUS?FQNZ>US*r#4^!Gkq[שDvgd8^Y}^CH{9#R9K춧6Ala_:VI^t9< ډg_l@Mq:W/KuIQN(׼k"*]\5 u_# Zp +Ikiu!5XQ|萳6Gab[_}%x*;HZ.rt9Iͯɡ.XaKVX`A!|Z((YAD )@bWJ & .rGHQU>TӆhvGͿ46W-5q^Mцk{:Zp[4X1 |!/+붌UB?Ft p=8aSjId_oY7ױ7Bg*MZ-K!uM3C%$2cuI?ʔ*]أj r?v (2X*u^E.<i R9+83?̀ '?RvIԂa~wW^~8 #09*t+Q#x%!Su6rZPZF¡gq\7H^}!Ndp*1wA]gҎO#V"~Ə0;@͛Qta+O24gu\8VDb|94b #(Si[>@89!o%LGX M.?q!ȱC g$P1㊷ulV6'[x%Xmbec_Ƙ\,ߕ< / kZ0+zyp:Qfxԃhe&jl"rPR*VkƖllH(}(zX3O\QٳB0'!* mII2\}u4X7ݢõ?6>Dsy`! d͈&YoKd$1r=h,6Jiy`XPzeMCL ʉMi]0ߡ 4\J&2ƴ㭾9}%6ϑbmj毥 sAl7Pʙl8ky@9ۧ!oTZb@^ICp̯d 8Y^8YG&8WڮkCe %rM1K.EfT-sm4;>78B%f[²z,{SXlr|BKmN^zɄ˪ʭiӯpkf~\30f;Y:RhҬGo|zܬɫ|kWh瘯`:Fpt(z7]vL֪l?3;Pjb>۱ת0<"JXwc# ZXsZKr_T+-|OH$H@00Yvy:M$+%jEQe4OQ\(`3d„"lށ##/U߸r$< ``m=;:56(mkşG~zy f荒4 ݅\V .(/_9ސ)_%bgYZ026c23601239ebb26ef05f481a7d6a6b1e015f8f2e856cdbc8976d5457a0edc209f4bdbd9f5500c1 dca18b1724a67012412f5a3a93399814c4427184 b769adbc3df07dcd5b16efd671cea4c743e929b6