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 ,' <\ ]]List-Infinite:threads=2elapsed=20.815cpu=37.688gc=1.772factor=1.817zXZִF! !]ŗXf1-/6vRZڕ`0 lO"Eu%&UO Um"'c;X{ZCC 7 \NqjMط4UGZ*$[;Y!Kf쓐5| 0Cb@#е1~+aA(s{3@ 7P`݆EX3JC]ܚDF T(k>(7B/] e>OM`T1MJ܍DwNYOq(,irGhM2 V5_ LіpGNHibh'U3Bw3-t!R$YXz#I>L \Zk]EgV4a9#*L)GJ`a"YpS [ G?N f>tX$H1W WgYZ7zXZִF! ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!b,1 }=nC?P^֗jXR85ُyHrb2f0? K2;\gM]&Ĥ1tbSIEH,wm}[^TxQmd o?}R Luw:MTVy:v \r84U&a1}&maВC"P$G˚:DgYZ7zXZִF! z~']ŗXi%90ø9aݪ @8|j_p HqZE2K;ړfpaVw}#M!"ӒLq̋g;=|Zm̆  L.K0QKom?sʒq3@W~OxxE, 04U9fcQb ǘ~6~JZ;\Nj3eb7HA0(wD )UEP'֍P`PDKd}ȡF)2)j"Bdqga;z<(Om `77/ 5A :' hw }Nr_4 &V1Hɼ1hD؅zS詯`Zx WaWxk,XOY}WGCץ8z}WZKWt7oKҙ4U1eqp*ҥ8x S0DCk^-Q 4V+: K 2%51oT}&aW6ۚ | q.3|B˝"g&$kvSς%Uq})Ap5N㳷$5!$,{a.yy=s&Yxe_ZtЋԟ)? P^`;ǖMT3*#qOZj5\ wWfEZ}콗x"GBfAs-}M3fd˫ꚡÅF9c7 bw;y_hi=:F*aGFUŸ7ש_Zٮa\E>XL?aRcN!X/Ddpe9(KA;tYyywg?ϬqfuO2l;S*w5]K@S(xelf>Ex߽Sagdqgt8&zi{){'_*8>>AȾU4&_7Ǔh򬯿6 |z7+5bUylxIZ7\NIٞ{@/ںV9SЯ TQ&<$dh?$<9žVw(D=:`_X%vU7+ QhDL脟ԝ H#e:7DmB/cSȆBuD4ޕa(*SZyhMh% z gYZ3d0fb47068726af4d63cda328c9fb738ea996460ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fabd431763f6876133b052ddb4752b302fdea3f7a6 ' List-Infinite