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 _dT< ] BDD:threads=2elapsed=76.553cpu=136.564gc=3.180factor=1.787zXZִF! Dx*]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>̕RG W /,b8G9>R3VכMnA V_=AncKd]:VgZg ZE$2j*) BPw%Ua=ްK?D%X5 &zL[] a薹̪iqǮ U_2Nf9/$KLjJX0Q0 s4"TI-)eiS=.η2o *Ǫ8 =+~^_o-]+B5e^DfJsI^> L9~{7D0wqEB'υ6@ж-I]Qʑ|QP.̆6T G"v'rTM`Y ł%r}sb~{"ZlAYEJHY ٧%ض|M#wn&6yY)8!>Wwsx0]H]}*׊0к~E1Wg%^5\6ب e5;tP_m&"^*mob?Yl~t4)Iɨ ~E*yU3l} v!\w{+~fWf]0p9 .VvQͣp3Tec'9ڙhd;k1I\ot=J짳(RN<.,?LK O06MF``,ټiC~z=dyױ$oWEYփYv}fT !G̱gYZ7zXZִF! u]ŗXiɟיvL6 SczP6j)0vQ#(H*b^6kYt;/+^,rY sCi[u6<0CHD(3~0r=qAD @{'fꌺW?){.l>CCRyiӯ6RH(u!hk+T@31s\&ȄI^6|ᾫ=F]&S+#gYZ7zXZִF! ၫ]ŗXi%;9' jrĆ>.\3/j+ |glDrOwR6H"AxةIr0+T=ccFoyxYr2qSE*mJ(r(0ÀPRc@Zoڞ!]KtXїSj 266phmMD*q+cLFa2];t@UW.&5_`%Mܝ=V}{r:0E冭5n=n]IZN'۰3+jؤ6N<شl#羛Q+-JdT-}B=u޶CM47V/7qkЉrG{]nqf\{94cH-iG2y~^vSS6ygKMo΂]L9Vg *nb$kyUeP5kF`pT/tٗ*NЈrdJݏ.3XOZN]q?^[j3&H9 t@h/̟0ͪ@/'P կFp(YkCO}ϜwuUD7rϹũ- U=&~+uOZ:.F?V '/V8_V*x:`Nnkrn'$XzG9$`>X/~t֐,rۘW%BQNxO^YbZ͚=y%4>Þt?>Ҏ!@Wy`֑V\FW*c VnT䫠2+ 2>-KWH7of>VKlMAH.[d@ F<|1,鍯?[l:!I>WNd5`f"iޗxl?3WSe9u8_*9z4"y7>\s*J THTRY)|fS[yN&9 5%MvWJѮAK7&_8:SvawP|Xh؇R&l%{) ۍDd7u7ﴟnB8 9x}ebխв'Zm}J"r`kbL̩8pM'u@=Ǐ,Gd.%`s\\~"^E~>V[#a4SB;2JI{ esÃ6|D4AȄfgҽn0&}Lu.5PiON_Q> eM*+hbBMruV|bV 'ۭ(=Q7VC\}t 6sYG!9X&ӤcWIoԫLv ˇ&rnVh˖3GNaɾ6jq_׷D8bg^j!v N`)؞\,AdӶN^߱E_Jn.m +G {lm{2%NR+ VmaJjٵCapMNSfNL( 5JT]!ȎdSw-d9FD 7io$= 0' "؇~_R~lϸ\E#M;e[}ܕ=w02R3;ij6j"_#T73+&,?ENfS8;5#x4fz|<\׬4!W,9s&i;IѕuSR!~?kD]-ڕr=&FV@vA!TpweA&1̷%sݙ Z,E[L + !6W\w_z@ҁЮ쫍#\|E$sDG,7U˜Gƃ$Wxρ M\UŠ5w(-eJ/kuJ9rcq)g^kىv#k+L![( =ݚWQ<8o}\x&y6Y+Vv 4lh~yk@Ӹ=4| I-< 9?hHzpGwDʜ׳ꮍ8.+P9^>Jp$5]EzC ې6fеU$IЅƽtR'GjiQUGf:eڣg96{خyf*("-WӠi1Ѽai)Դ.؅aUg~m{Nn0yqYrx1'[L;x$8]EfEUv5 yqXH]vJ*ߕXH=g9{.]mA|wcsiA^Kgp%@Y;oDmF bWDBd먵.:䷚jKdWkq~%DTlAZ;zRu.L3 CbUt(KkM SCe?m%?jb]? ?XB~\Xka,USpXcڪBDnvb"`jc%l̻5ј m衝Y1cazVg75>eyޒ~YܭP}|{ρĘV/5=Nf{Xbz=;M)N,MP&+oOqJ a^(8^qקWR0S[̔+NP5Uh7g_}-Xhiyѿ!,s=5nshJnjt9(.%H0~U+4qG}7敮<__EOPgmRoe#9L2M(o^-?A] nnNvuAT NfZnll!>+ 2+Np=٨HZ,sҾCu:v_XGyNc,ղuF^EΕ+lg)4D4ۓ26h/tJxcPi> $ 颯![\gYZ043b56a10806802456b24c1e90eeba997953231c19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 44cc2005920dcd53e7c23f2eefda2d30ad2310aa