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   s# \d ! Shivers-CFA:threads=2elapsed=31.013cpu=60.096gc=2.860factor=1.947zXZִF! f ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kLlW%.2(3C*);RAm1y @}DS :f9}u}D?鿭_o$[ͨot&nlTq9za1GǥףPd ϩ Avqv,$nb 9Ϝ /d@me5c+mx>q:*\sp eGb=43>V8a!0 ,ћM>>.^ݞq|M5aYHĴ S{bFV<0o}5|B?q>H;ԡE5P,>|#x+?=VE:^/c8yg {1QvKcPmDT/r/s vjp_6{ tsyDwtA$ lXOl*&W DQү:r ʿwc`n%SKaGzĐ)me(71pD2tF],VvS+0^_r e6@e~Dyۖ d"~ezfUS1Er:YFbiKͻh0k| #M0)!ݟYݝ?bgܟ.QN # Shivers-CFA_ՈCD2&(5zko /CΥ/Шۻ ]Zv2Z]dcόۄ IS}ruL HF|&^ǫ0D[D)a^Z~w#DmvJ+u ]:ـ@{CXExә̑5n?c I.S-8LĀ6V48)9VlQZ90(bvåׄ8DH-[eb8@8uОG㾕AY'LٴDn)66uR= '@ۂʚkXԌD9adlRv0xmѡ1 bc"+%{09* 0_%O]v>Y9=lgpnCGa݈?rV3f-x`^rMK?򵜚5IK롵2(Nbl;}+%0| J j6t$|7#a9:? $Es$K]dt" {SPﻜH UY2="(hR4AXb%gYZ7zXZִF! ]ŗXi%!Uzc+LY($bNNF/elnUkkw1%} D.U(2BO/lJ}Ә xaF-:B|wl Qa~ߡ*WD(\DGm{#r/͜;K#*~ELrSM{9cMP phiY(ID:*hT] c)2mr\U]]IA{xLzEyp)S wK+!ƏɲK"_&X.Fڥ^?{ϚwڬBJTbdMJ@Upw4X?QYe8h8 p/ ȳ~Yan ByLd¯tB͢!]ɛذ4* Mʴ^\Fco,,+kk|PpR@`H_C[3Gsċa\YxWFg=7VUV/>PhIS,ER_j ^o r.'r({_Q_;8QK/lgbrSl R*K d֛JwR㯡_iI~YݲFNt"-' 5苼K(Rr6 IW/.c\ӨQ&(%_|̷~%g:1'(W%/GS;RP< ˖m e9R`[FU.yJ1Y?!{[KTAMZϯTDxVsVy;]BqJcRS PbQ취o胬℁.+tbkb98K&Ŵ2shY?r)r%a|剢8J(B8eKMp((sP6ХK@-G`*^hÌteI&W̓#lJ+{xe""nةIa;ۆLRE6xqxL4Q5.}09GUK^h(H4fՠqܭZ̓œH%U-Gfyd-!5`a,c1>%j`pGw:Xy*k4t5=xj;I{|l`=lgqFxb/s'j\XZ1*os#eލgdG$|\vtd'Ji_SM ?qwΑ >mXBO++vڮK8dȤ< t[G33m >Dfd[@bfS8Ex5 c1d,0NR'4~8h*i49U&)4/L!HQ$7 "/_u] @bmL]*DxT(=ƐQoF;rȄ,aN[$ =`?9UB" 5!ֿ28s! jKm0r>n}4Ok