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 MM(4$ O/ Logics_ZF:threads=2elapsed=0.294cpu=0.556gc=0.000factor=1.897zXZִF! e]ŗXf1-,;8Z~|3>"0o]@,c9k ӌ ̰WO'Ok xJM5©c]Jъ{ ;)z 3u?As].Q5}7ܔgYZ7zXZִF! F ]ŗXi%B~aԏeX?Fgv%#YHX |զz"-?AO..dzS'P83Cz5eHY   Logics_ZFiZ4lbsG]Y};_^M$}pVbY6vS_S"Z7p”A*LR=p49GfQ9I38{/խ/u܆UgOZtfC\xW#a+2Ea\O]QgYZ0606ec68adec11f5d24de6a1014281ee4e05393f 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 59df6ae606b82fab9eacf2f782390c3e1cc49c96 60ccec60ca3b68f267c8ab4f44b60741d2534e44 6a0246fbf8f8e99986be3165c5f37f9479dc24cd 803eecd899d90ed15e29fbf2cf51ad288e1747fd 8f194db846e67a7e87b25a27fa8ba1259c4af82d 9f06060efbc4faf25adfb7a05ad72e072d8c8dca 9fb9c931110ac7289e3c279810f90d07d2b1e664 a634d2977750efd14daaf8018feb1fdee3310b68 b062f41d34d4761362c1529fed1d44af7fe85c1c c4adc8b8c3edc6dfb4932326e67632bfa942c945 da32be17e5df65605f3b1c4d8e9d023b17eb7cdb f0ad6c3745e8f50de429643a2f9f68f72d556150 f878bdadbb2d1746d3104fb59c971d5b88c24577 fd2b02dded527fdedfb330e24b0df02361aff2bb fea74818b5546700d79f25ccf6cce0c486f5a73c014fdf73a0b928fde39c061b3b448884e65fa152 bed9ba24cdfd5c6d1bf1670098fdd1a4feb9a427