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  t t % t ]/ HOL-NanoJava:threads=2elapsed=6.576cpu=11.512gc=0.572factor=1.757zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hacLu1׶Ꮇ#WQڄ%|xEy/AKDЃ.tϢܻ"(XK]L.A ebRǩVZm ;"1%y,z~~ rWtL&ܢ輔zbLMVj; cr]KJ{grCI1,M:xirba4z% "YgYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]EZ6dΙi?,A@pN"{03vw]߯,KQ;`Ƌ4HD,ay'e8Z`y"F8L^68u\ 8 &DBRI%z+6ͱgYZ7zXZִF! *4]ŗXi%9(Pψ9S1P_!F]Tr̨W3i'3AS3ET8l.DN57QvػHWll"S0u<8n)/;0R>ů7uC<"TI.vSFCXbg{8ILz2ys+CiǿgAiW+r 5 bl&@@ iRHEq1x;H,#E]CnIb,,𛑏xi4iϒ#*]1޵`KL ZF̚7g&TFym|Uzpbw&sQLaXM1zArp2^7~/+Y#Ay}+YtRh9}UlbNݯ1yɲ+ TSQӦ~8`]z?*ݛcX(, Fbtz!2Y+2DRhkZq<P Gζw][P5b,5Na{t@>@f߫ei>{bB|%1kV̢-|r_, C0E&Q"Zٗ L<\!y}XlQX6hVYK~zۡi M-CTcT;xgYZcd7d64c600bc00598426f11c2142c18d602f06476f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 % HOL-NanoJava