SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 !!T3t  Typeclass_Hierarchy:threads=2elapsed=0.336cpu=0.428gc=0.000factor=1.277zXZִF! %]ŗXf1-52gضǤ akŠՋrevu?_hL8GX-! n51lC4 3 Typeclass_Hierarchy h97\F,j;pp+) }gYZ7zXZִF! 1]ŗXi%>)&L@3FB`6C,?71L<<(χwY( }21g7lL%JEӫԡȀ`֩4,]|#ʴi&23)kf2Gł y @4$O[)G݇fD"^hSuw3}FsZ2"D*Fa|Oe6>쮐HSʲA@!`/AHQnڨ=#l[\-Dq5Z֕5I %'[I ۸gYZ2af07ec90c29be0bd7d17c001c8d5d445e7448cd 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 4b4548fceed3e8a39dc9f609dcba1505ca65bd4b 6ad8d211cc4c8de5aeef440366608527a9fcc035 71ae97d460b91399ee3c627b2a789fed27398c4f 8e2e82d7680546b141659b673885ad8c577fe4e2 8f194db846e67a7e87b25a27fa8ba1259c4af82d a634d2977750efd14daaf8018feb1fdee3310b68 b549213b2aef49e3da5304ab78395d90a826e17d da1567c528c0591b76c11bbf612dc90f71ec564d3269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b 9a89fcb3bdafb8205c29bab85586f70b10fc5a44