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 ] Dd ]/ PLM:threads=2elapsed=34.258cpu=56.600gc=2.156factor=1.657zXZִF! )A]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^SptK~W'k2-լtQ!o>dC Z Pc/s~s_,jzY#'LװrsZT2XyV8GQ>ht̘HIr p. o,ߖjڰNkWOK~Pm?w|)0khkԎ(TiqO~mgWꞳa X(P [-D %hGS(_/>  PLMjG3p/Gi4pCσ,uHä=ʖ l8m /;,(^\, s/BA1sAh?`Ff XA\夐9u!@;IBTd*j#if%U`^m4#Mz _/B^=\fe s=\q#^>jG))uSxi>VVD݄|_Mt/8,] ٽb:"0<1gnX%$~r9ӻjbG(A/xz~gIt]{IӾg{7V_CGhId6 fٍc"Uk njdF+ܽ\?-Fc{.}V|)1`7(Bh:p%f[q&_tA)l  Zv;2RFu V2٘eF;6u\tHZQdT!4?5eNpSe9Y" #i{Sy8M2R#*D?¸/VJ!m7ƈu'O`n6Z9ūC *"tSzV<3yeaSۉ -Sr&ms 2}c#诎8vzϞ_ৎ1"lf RygYZ7zXZִF! .]ŗXiɟ1˦r p0+7bOa\ AT6_՘M}f5z2%DB27j|jw״9xv_wk1. ~3k=$ +: 'bLC{ ]&0mۯp Bس3crwVbeuiKeh%ƈ.^%k| |I5F Wc |EgvymlO(Э|!m~t-k PU nG!Ruz)_b wʋl8Q ,pRs$5$ t /g(&L|0G#gia 1JD1yP^")j PgYZ7zXZִF! * ]ŗXi%6\k4 Jko1[?%4B1^U};X8ҶucJ͞O/?N4Ԕ]\AvƲLVĘ; .>WCn;c;Dۺ>[~_M^p}MNRz^tT*͆p"8΀.27!DnS^*C+d-!}%URmBvfwU2s]C7XjXGrpŪ6? C F]_|Sf͝s&ԷݏLx1 RT? )K #/1P)/?ab~Tmk6z\`poWFxbJEgV#+RU"Bs:!Z2p8_U/edlsK|\47}pi %F#QO'!dr`ա_0~fyLw)Me_p R!tLr1$c0;ٵ.U88CS qJp,av*@Pwo#):kG<.B"|6n}eϩ/pruЂ7]ׯq3_d hZ # -rf#-RA8`V'_f[,VtuD $1"q^*ałm#ѳthQeku4+MSmx+T$1a  }QMvPIb%댱Ȫ3Th\MCvD-^k@_d.^ifϮMX.)e~4֌nZ2}!]/9 +d{nN _[r:iT13 wU4R&GLuaɔhT/ZF4'9tȒ`W[9s02xIt@{7IC =wͫ.E8S/:tFC /foUn~68b=i~5/}Z!,)2NiTN6?y_SQ?U5BPfcDԽkpli̸CzW|S~lڤ\HacN/fq9DwS`O¼`oJ..v[QBȐ;0 -f_IRվ@|P>!=ff[IbFjX(۞ZfkNx-_ ;4ۺyRltWh_L̚anvWYoKraE)-;lM64m2ӭ@B^K\ѺkrQVьHLAkŬFʫYBEFscV fLJt2aݪyXӒ ^ed (Tts3⌱[(Ч RmziPrHě9F蚣{_Yk_6b7eC=킭;ӣx2 bpf#{t(i]ؐ7ҩbWhDXY\w*}]\~O@w/XY$Cnu qL *\^µ+O=U,|43SԮ CA\_y3j<4Ȕ߷R&7z#Sr zqx̸MO?oAm 1doE@'眼zr &1z /q> c1 ֙sL(-tYP3F rX%$'hGC#}RlڡKrbq3Ē3~^x Oƨv5 vE&>֬w+$Yt3Yh8yhz%K; H0v5Μ'qCݿjPD~}{/Sh6We ۫G̛m+?Q^[I[g;8V+cS\[u+]ys 5o[I l=ǐLlM3pkn U4JγZ9̀CG kk?,2t/AaՋ !/UAVUst؅F-6Ui2 ;yU7Rw:a2vţUQ2}3X?=aWԳ а<5FB *fΩXsg4ި%=˿YxLO/7¿5:-T@%(W~4g;wñgYZ8434adc591a254fbb794740e8ee354bc23b94c6fe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc