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 oL| w/ Main:threads=2elapsed=1.376cpu=1.452gc=0.000factor=1.067zXZִF!  Main ^]ŗXf1-߉k3TԤM2G%f\>X| N0ƙ}t`גDan|ȒDH Õ`\nMz)7.gYZ7zXZִF! v]ŗXi%B)a)66kvb@qG dar2gz6IJcċ"=2|5AI[zJwC^"rC}uT5#_jYTZ# xXCw`ܚ?t co ʷ*a׷PrTw ]`!& W+*IB`pL*.w Oj "M^j`59Ƚ $E L#)L喤Sц٥8r(-X)jfe7&,aHǀFǂSOg~ -zdnheITݟ}HG5qL;.>gYZ1930c3b7c20d9797c64aa918366ea5bc9f263901 6df45adb981e08f68a827206bb1b05ddbd152746 84388e9528bb077dc24b5ccac61fc9a3517c3b89 8f194db846e67a7e87b25a27fa8ba1259c4af82d a634d2977750efd14daaf8018feb1fdee3310b68 fae6d227bb2f8ebf8204ffbe9d8e7844ce87ced00dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903