SQLite format 3@ . YYQ77Atableisabelle_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, "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 66G' \| ]S HOLCF-Prelude:threads=2elapsed=37.550cpu=72.396gc=2.604factor=1.937zXZִF! -]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(x!$o4f󕥔wU!5,D +Ƿ/׉\Es'z^c5b2B%Tj[=‹rbP#t)>=eHYkb+N  9U7'<{M 3mcɵdgQ: mPW^>n8,&ȾZ̅#{𰛰Dߗ?ʵG|Fx!Az rr:W|/J~a[nL S}Njƅ:Ez^gBNm-7:ئ-/ O')&DR\o,&"f\E1T8\dW]uҾSA~DmbmմtJʤQ/OjK>d21Y", >^-_*$dl*Ww`& <4<|٘t#}m@U.ԃ0.xR5nD/ѠRÒ@U('goFcr:vKh`Mn]A)|q=m#)ϼ e@Gn[HA[0Ieq 3Kn6!I/48 +^t\{MRLQ%v`LsFoS1ͯcf fYr!DRd[<tٗFt"92S|-[#b%"}~ZglU⫙zݘk-ZNdG DH쐢tfpڵyk8a=([J*R.TA/Nʤ Zi$0a࣓#^O73eAlaH6ݏNX'ӓ!ر#9ä iԉqg']?וVגloΎ3QɎ[¬WʎODRCLo; Gh΀ꪲ:QS3BRr;!|~㑡1]U/j#җ.xȜj1M羏)Bq]A>TCTqj84 +d3\z/Ivw>9AcZ,Q* [bVpgYZ7zXZִF! ༨ 8]ŗXi%60npj;*?ص={؇$uQ8 !3<.~ yc6ZafFKڔU$nGTQĵ=+,m f) mi_Ѽ\|ܽ~0Vs!m\sb1YJ!|OMLxn_M34+:14붙Cɏu?˙$`ƛ"H*"[叆`ڬgQ'`|+ &cdg-Nk|4`<7%r z:HWF;U)'ZgNwaFy%Sy >/ l]Suy9ߵ nj"7HFIm^"8ժ1]L݌+;=L)l'BL2f V?iBxԷ,7mf8V%'뛖#0a-!hhNR?ױpW`.B+x}*?}AЄh.6#ms QW)V^BMitaV@ģז04g-EM1Z\Wf5^SQ5XS+}cV Iǻ$joC60AyqܢD5+EMJ7NWχ=8L o} qC}?`^ N&V3 5D׵ڟChq{~T@P]oZU7S_l KkDžM0Ulo ZJdNrXm&Bv#.B8_x%s#o< pkQ 'OD4KYj{f=͢5LImU9+UoJfJI&HF>6_5qsUga/"c,,nA9(ZSaƨOaCґy11'?Cq0 ᠤ\%t\!IApjg=($줨۪j_o7%~>?9KMzhjOW_ms> Ӳ=qzz ir Ph &xk Olrum?Fh6CβRVֱ/UG:.aZޜL^{/ ԏ Cl2YoUMHK(YlU6l9ݩnՎ4