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$ ]/ HOL-IMPP:threads=2elapsed=3.806cpu=6.552gc=0.220factor=1.727zXZִF! ]ŗXf1-q恈@"aiє4$K4`W?&lj RL_Cn9>W#z 0yJ9&ӲEVy-̊6,h:b!ri廄ʀoI!oZY(zB{FSk$bZrjWgYZ7zXZִF! O]ŗXiɟ1, u:e#_ ژ\34UDY۾"Myr}_kH%Kk''u +t\,ߣlRkpLq'O:D3't\ #fi]=\Qdtz`F4gYZ7zXZִF! C]ŗXi%;sPdwFwԪ1}c6.^*>=M iV#Zq uz]H)f v|&=+$rE>ߤbD3e/rBN >'{|nsMk,)(39 vܵ@ 8% @;CPΗ˔CQK4)J9,/3B $ü R ]PK)H^)E}I4E|di/ llXLpm fJ9>9#nE?!r_K 3\d= 0WuW4eXp^V},