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  l l$ ]/ ZF-AC:threads=2elapsed=5.537cpu=9.336gc=0.432factor=1.697zXZִF! r]ŗXf1-W'S)b-LWtƺ}*5$ws[2\D4:%c>.ypb;I[t 3¤Lur75F`#RD\?E1}3~BC_ݪ|ϞdΨ#G?MB;f +/cBT9 oXyw8>Gi72_gp1ikt/.ͰI唄jgYZ7zXZִF! ]ŗXiɟ98c tؠL\ZGtG !TՊJIK&!Ow]_}{_U5~NBv65:I)/j]u'<˵e f] BY+ld>\C!@:HbipBEJVl\.$ZU {!#`TB6yԞuXtji8K=Z?R0 ,1gYZ7zXZִF! , ]ŗXi%;Ű;y~dŕZ̹QǒDd 2 RpX>\hVPڻY;1jxWЗaBeYCɈLKh viH3tL2ọflji9XB 'sϠ G/z/p9_+ϚWC.;MiX%HQEY./Uཕ\]bb#Ȕ4S3c_1p5@8vϚpL|gӕ`)%4%pB9\!Sb#ALGC9[$Y ͬGyF/'7X |.kn%Be=VX"TS}.#,۾Zԩ[-䱂vRTw[ ?qw8U!C[ߘ¿mZVX&([9JgZ9P wy$PMg*VZ=`挗l=0T_7t^shvMUhW#bX;}}HT1+Ap鹗?SV>iA^m*|& Y`Yٍ8Ԃ;.m: |SZugD_}1mZxJ{Aa`ia\)QFUfNt5zFsN"_Q=,A08yN6 ]])@lp[%;Yy[gYZc7b7c436c41f8eca660453e064ccbc3a9ed7cd9cdaf53072a7b7da07dacaeec0891eaa6642c159c2 0962f20dd1ec52664b8cf934a0792d5b8c764918  ZF-AC