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  t$  IOA:threads=6elapsed=7.304cpu=30.284gc=0.920factor=4.157zXZִF! ϶]ŗXf1-qN50^Xݾ Vq(ˏ+) ;[1fڧKAog-d>QŘ1]] qt.H2 Lp c~ E9$/()E1qpsf]]nɾ+:n #|ڦT؍Z5r4,@:z N&f9`5ܰT' e%@vEHUEʇN:/v-l}#BлM-%O[R_y|cλo@|9Lk<1[S4?}kn .p06AFS85g=yI*R\]N8hQ-71]&?a&J *!ikEC.v ~` [WLCN{$D1{hT)jri?]͊Q<54wCh[ q,08#MZBCtJt+1B1I,hvj9p)|@TV9t>QcqZHݰ~M?9A<ϰ@4&'lƇ/l~_f\r ɨa[5A̹>cQ*Eν(C[%cDG  IOA5W݁>yG;tF-78(%nj\/+ԨlkYCiM le,m(l[6l3Ӽ ѕ!>.(tX"ziS.Wxћ;h]$RaZ4Ğ&@0T[jT.YjӰ4 nD/2H\+H> H$kԇld?f3w"dE_M=s 1QJ9 @gG>j OTz|7N65v?lb~X9Rp`l2M0wk,m>IpO&+0(?hvL,289ڤ:kp-ެI6.mR2(7T>+nT ꁭKy~+^<0D͵CY3P#ӕK^xO%쒋+Y2;_Q,#h㩺'.n-re Qka $uY1 xºJ]GQbOj*NũrYfVm?d2ꄭ7ꊾٶziC CnXucpCKI!A$+*&EG[17J5e,ڹ+ 73Eܟ*G /i `T DM8FJ%J "unE$0;o'z"$ʷ=oMK$mWYiLQZ+Z޺|\O,qϽ[TA$ WyVf 4*#4JޞAGqSu&QN'2y:V]qlYw I{C0tҙD*a׾eCYwgSV #[leп*~TjVNX$\[-.c L Vk'r:'dFm6Ly[av1m} JLhYJD-9`m(0ݔTs}(,jv-`ed~9*s, EEvV1'Vwz0 UfV;ݪ! ;_ov%H+Iolh$9O!ju3l'?E FI3 i;rI@@)3r$K(i٪vFdu1HQnfMJ:/@e\拄V7ύ?z{`s℀-[D^Mg/ F3e걸׼ԁ-I,ee;t&|&Dаn$Q=v!+ili1Q/˵K"$c_<[~FdbqDޕRCRW!щP6Z`? 0h}J8{Tp̻z4(nwBeV:FtC)XG'&"@$x!uɉ'Qt8 *`C~&']R,|yʌW&;ͮyR8^ F zuV_ ]%U>% 2)_K]"jFRc~΍>+Cjz۲V(+qvJjj@d",_[$ϑKzX}>l 0WHZ߱][gIA?oU 'S񌅪6~ϧ^@^l҃5LxRpV19$!)p XaSrjӆkaVn2(ɪt|/#Gˆ92WPj6P2꾽Θ]+LdEh#ހKa9bOI-]O`]A)Xd #ƳԸ8Oxg z, 7%gC8z5et HCsê6]7@xfzYUm8˹Ź Ui U.pXs/ fX'!,]Jk'ݗEF-U, XKorXz`#d0z3<,[凃DDO;KW9f~U]D$'AdCըGn+m|D}դ?LIj ~ʾEUNx7*Ѱ=$%C-K)DhH۬2&lؼmҀ)?dfu&9\X`sN+xG;^:RBk%,S=c!<ܼ 2TvfalYoMnɝc$N]ц SN#~~(^k702E? &j&ݯG[M ̙} /W69Ñ^xVZoD? ƽIhhup!ss<1Sq/9ܡ{Kߺѧ-BhISFef+j> IM*J  X#jGs`*{*L[Dqn4){+ڋkϙ/}KD$` .$N3 Q76;Q~K].| ?%;=G=R&j"4vԔLN3?r (Q3! n8¡qAgj!:5i|q=]`qʡ/Zuds!B\[ X,*Yf0t`,A ݦ7+w)ZrN լ>lE뚾n6MB(}I&mE!׽Xg2/-ls^"D )48q ] "S; .y]Ih ,}՞UfgT5J`Dp,  ҧ:Q/k7RBfҦ>pS& .6N^ 9./QA9AS>yYil Xw/m[˱͝D6aNRSH>3ovF0h!l lgYZ7zXZִF! #QL]ŗXi%ɥܝZ qK|R-1ǟ5JgqIO/&-S,aUf3zNTFϏT=>=͍ef;,Whw./FlIm|F zIKui|_=˙lAR Rk IyۭlXGp|9>DE5U)~N |Y m>/+,0՝\/{x W QU k_ lb lYs~45bNiÿ tG}=h{c7}>Y!$t|&:L~M%rII}Qar'^VԍY`Hϥ%IЗJsᔠI"6)2J)dR/p R4oz*FwMw R U򫽵j+[׻$=S䴇&>"jYzR9ձ"hٞ-؇g/[ cmJVofyUl1}v !Jv _i^[W#Z[\VyUamȍ[Ղ,,SaNVK_mJ*Q\\:ew)yn &s@'7rSwNc(؆cz?B-\!Ɯ`h Ncx(3i\4Y5)Hj'jcW.dT?6gL>/3v3.9jL">ӥ󼓮Z ,Q혴dx}9PoH>n*P6Q4I55 f'l) F8HNgYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a181120dedac0383d94a00648a08d548aafc831c691b35 4985c043290ac6408aeb9e93b2d670861751f4f2 65be6f0cdd0faf0775a7828cfa8d378abcec9fbd