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 6 T ]]]ZF:threads=6elapsed=11.445cpu=36.712gc=2.008factor=3.217zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(|p/ S6sq?QF>sQQ;kP̆iF}kz7 5YW$&X\71R0W933 ێm#h7}SO6lKٴ5iV~*Ifp?RUnR Lf;P+ O9P\'2L¸wM/o\`Bǘٖ;̚ߣt4Wj]$mr"!!zHքgGV!Jo0&"lģjS8:B̕6uv^5q%BTWiog (śJ<2Q '+vpn *Xipt^gYZ7zXZִF! C]ŗXiɟ 1FE`空Ų]UjS3P9n߄](ӔX !H`m ޙDC'OE[QÞ1+|A, ;Cr){k GO[r׎@?_UM26#_L;zk `fk'8p{ʑg կH\::@d }jVO҂f-5O=uI"fHP}G;֚2%F6-5QQ+TA%h4AO$!y~h䐅W ֿ?< T˲dv ,`JrN>0S1V8a*BbTeWJ<$Չ(2&'J]mf-<O#F,[Z%}J\YÕ^Ø%޳C\5Njk,*=Ì7ɵ_>Uu L{aᛜgN\_cr޳Ehcp{j, 1k;;,ζ&# PMN~$4 - .yօ [8@ + \04_j".Ƒz2{kŚd-CZu)x4}OJ'SțtczIXq+f~{IAC|[9llZaU8$H6Gp 퍲fP: Er4hgGF ,5eMd j#`C#JQK8zSRxwbL5[x4}L܈d+U4r݈#V:Vp+#RB1nn} 䢎|D6^&|~`.gfJBɡ$t*Lu@۞\90 #Y&cGYJ]D[S?5"&6O ^̰KYW^5x'xvŽq)ƺi;{v[4ռUkAkCE@XOԕ&\?yxLTHC-ÚXtڬ he' P_޼Ţ n!F(2ѵj#w͞-VuQ%L,X|l8B;敮zr)eK| r|֛+/`F"f6H utlAUn4gUb9"^df Ǝ*YYV\٦Va1J܎U x'!3!LP^1 sB>e!GCeҩ e#NFϵ"uP."{?ӥ[Bq-'k<ÀUL8M*sc eq3z<$D <ƔcX UL.֪q.SWpvi:nFZt!2  Q3 4Oy q+}EgYZ5e59f90603865cfd03d76d1ea6b03ccf05c73eb60ada86ca64541a14c3b4bd3a93cea3b953b9dfec76390915678c46e6dee1fc920ef61c57cff5939c  ZF