SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 3% | w]Sepref_Basic:threads=2elapsed=23.700cpu=47.096gc=1.716factor=1.997zXZִF! 7]ŗXf1-q恈NucvAݪ4 c?[2C IfW6{Ydٵ;z#=jW঺i;%ufjr2`}+3VUֿ-K{A?Cu6~r2 7_L(NS|ޗQ5ꢭY* :VkAgEjhA\dbv-T 9꺙`Ұ f!& pf7|c/g{"P%ز3܀5t_CfgT¼lH~[C* ,T\9̬ΘꓥZ2 OSpnV+#1ӨȥHgGrZӃH} σod;w>J-2A_S323ooɅ΅>HTr Q=>C}p}#l@6X84W7$  s؏&>(hVȽq % Sepref_BasicwQ1wv5 %`V塜a6g&\uxs9Z{/2V94;۹t; 1꾄) eXgׅ}kY6B[6n&HA"Kt,s_ (a/]iRE=E› 2gC]! WQ"( >R^ F^rZ4OPKcg8;d9YmGhCۻau#xanCSaoLϿ. z?$2jAW9v۠cDuUQ=/*DyToٰ} ~ Vn.7*~, ^>p׃Z+}B4sE#,V ړˬ:bG]vzd6?)uAes)y ڶM)Qw"W*J]HnbC-MEl"n\fbS:`8^.NoӦR?_y?F텪G"^ 2ݸ+ˋy/ ` V7b?,AM Cw6Hv CTo6ʛ{E!W_t7rg\ċ8JNE\'fK ¬(ikeM YH5T:/@Yb5jʊi*Dxp`>j&ЭB`Q÷v;%qi]&+T dm Y \s^vw/ )D#b2n^ eNMI;jG6zlZZ0LuO 1BYG^vF_(ֶԇ(&CDsV:Xe$1k*v!*& &z^R2Q-*].F˂VCq¸4Voah̶Z t]/{X]km M0=/$w٥H߄Ti+E&UAžno$"hmC;Nf}JCJZ Sy/ q&n-N-N<8ia?YU_hǜĺbID3R~˘7V,W 3ujĢ*#\TޚL{YbV L/U+μC7UBfOL;]i!4,;[?^@$S}jj5v`>.19.U ?8Z/zA>RԬ%IᡫYQҊӐ)ڳ+# Yq~⤜9gr:ihĨh2@B 1!|Zs DEf"3_ߝZ!8}zMϦ"e| %7ג~}"q/J! uυmW3:uRlkmTY5H/&zǵ_u6fY$8\d;:QFMVaj:$ &xH3Pn/$H"\]@<7O+-p|&Q ?xp*apB08CX VM7hs&R+Sou=zކmlul^Uoщ_ެdErhxѥknw^fz_q=:dC̣ :Tq*,tBu\,ۑK_yt!濞f{WN*}شu(i3hП3F<9]d GK3 +c7maT]TL4޲xbcVXUpKtdCoUPu%9`bniaƙjbvG@Q4 㧛ɼW:yڔ@ZpΨ?Emj}ܢs]l]\+cuObƂFoϦ2_v_٘tW<}1+_OuM?$9j &Su6;Z-Z"IWVw*GS:9pD.a3;sGtf4zS_r˿'gEZ;&3`A}߄81 +(| DaE'5jqq`vg+iIH`VξSt厥Ԟ_6mQz|N@%(~OÐ* 1.w;&TX6|{יAF3,̨ۯYN^mPMdؓCp(bA`\pꨍLeޘ֛w=UNmd$ြ<4h@.7U,x1"L!2k&\0I?>w! t ms&\dj6'  *T,̂9.SQOx:VNĜ=7c6TXѠт˫&w倥*kp}<7WK#Còg)?RCmC s"Adtm@T_$&mKbYmqsL뵀8+;TG۾ h!83u&V.`!ҧ*oQ}QH~ws4#25G@/h+ZuT_[F9=km1W9/-KC?ȱXoG_۬s/P<LQ`OGԎyt6*}mM[|rû&\xX=|R)0)>qKMvosh"a"0 gYZ7zXZִF! n=]ŗXi%: _H:80;gTksޣTNG9?49u/hF8,b vZtRt@r~1}T_-_",Wf0< SXGtHCz=3n]j-jD6e61jݞA'o gk3+azgzI;#4`ZR ]@5d |0I0T+Hރ?,;]A*~('($dadH#WEGQ(e޼N\%,X qa16}wkiZċGf^3oTkF4:LF׺:H /hàzO] ]$DpX͹|067пrlcΝ,qJd