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 `l Sw Hermite:threads=2elapsed=65.960cpu=103.940gc=9.656factor=1.587zXZִF! ]ŗXf1-/6vRZ*F"Qc\yI4%a>{'eS=.Ϊ;`DJ>av{$0 “_VjN'xJC=,IcƓQ~W   Hermite?="-'\&> gz㬻8/[sQ"ԁcg#2H3mH##0 Ʉ7gYZ7zXZִF! - ]ŗXi%Y,},X-S?*rexUʺ~B& ,> !3##˜>O[Ȅ׏}t/Qjh1qq1w]$fVm8F !fd}J>qtXo`S" DFfIV P^[",#費F Gh; &Οȧ#9cG[kmԖvLWKT$?hX몵"JOh;!,(h/&+b=9-ײLWg@! [drm͍8$hr 0,Zt \KI>L+^F^7`}):%oX_a_5j ϏKjzE[>wA2 ZQa"-ɏ֟0 j(KzZq=4|-f"FpQu#epouk O$?DLKah <Z%JU5ASPę'+;2:Oﻢ 4߾B 6d^nt4/]d [rT L8\lQ8]8Z;Kqm'AHqHsAQ3~ϝBݞARKTѪC<.@m$8׊dZe$0Aբ*t$o pJ8ֆEFlM >>JzNSY4h<$#C\1jR`y(=s <>G;yE ?|KJWdJVq.,:PuMY+e V?A?sev1("H6apؾU$&*r#9#sIǘ*QbPzJ#-iJu(/QC؝%@(mN}ۮ"e>,{^h|A_qn+B0 K'G[po_$~|BWCiwZڱ1.:+M(Y('.?)8+P.:f׮| .Zyul&*EW)˄"l[VPXd ft|L5u֫g63Z+*A4.q !ړH\?,-)Ac%% @lu UBCE&;wD4 n8gUsbQEg3qԟ"Ћ DXS}(Ǭ!J`Hb6gFRU#)F/:BޝYT2xJQu 58+?岦le&79-0l,E;Տ4~qpzcãrCY9ّO|I(z+UݝL7ҧҩU^f%W9e,RW0f!3FзoJ܏`z lZl+7L@b%4vTѾ o87.<- ⽩Ƹ+ɨJU1*q )Re2s!xIW*VƲ 7KFaStL"'Nwt'ΆB[p͠bC4?A=?VFk~ѝT}IEg?T9A4v2md[%=I-L+ku>Rk$!kAo} TQ1v?|VzOĭ(b@2z+w?y*c!tY;IT0T4%tOb^!3nsȷ{J8Ep*+rJ΅zR}dԎy[;O+!gg#:Va<[w@/58P1߮g]CPIM~prֲ|vnbA8{.oZٙchgyb~\ݿZoEC>rv=HDJϹ%7KQ]=%IePA;qln]JcmK.댦j;F-Tmʾ vX2+JEu:")(k. #UBϹsKVn5Y RY9D 6$% ;FcZ$]򄔄I_FYTcM(DJqvUM(HH~}`%+ d?-~y$ؼ/: wm@Ln A`b?ZV^`O Ouv4 i.bJ=Q8)"+&qo8vyXA1\e #qeZbN+(1(6\\pސa> YH » ume4SjKc1=.6&&^o&U(V jDVGi#3ť%emT.,UdQToB!S 1T6JQK#-^~q8C\AIJ[Ѕ bX]T_|2{E H(³Οj\H:n