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 \$ O/ Logics_ZF:threads=2elapsed=0.273cpu=0.524gc=0.000factor=1.927zXZִF!  ]ŗXf1-,;8Z~|3>"0o]@,c9k ӌ ̰WO'̑a8f5@+)}I QMO~S/(8*>n=1"0!CYRsN ЭQM"ݠgYZ7zXZִF! G]ŗXi%>)w !x>0iir$̶'ɿi}`AL۫ԃX0:z vF@Svs7I.{hV[:H"x<8B°{4Ѽa l lY&n4 GG   Logics_ZF sqzy-d |"+١WވwLZ||z6} UhcSdQAQ#L>+aa s3T ?E^LGPcvU}˚;g}!x;0 (H@?F ssgYZ0606ec68adec11f5d24de6a1014281ee4e05393f 33425b5615d72a257420f75a5b6905c274f45d6e 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 59df6ae606b82fab9eacf2f782390c3e1cc49c96 60ccec60ca3b68f267c8ab4f44b60741d2534e44 6a0246fbf8f8e99986be3165c5f37f9479dc24cd 803eecd899d90ed15e29fbf2cf51ad288e1747fd 8f194db846e67a7e87b25a27fa8ba1259c4af82d 9f06060efbc4faf25adfb7a05ad72e072d8c8dca 9fb9c931110ac7289e3c279810f90d07d2b1e664 a634d2977750efd14daaf8018feb1fdee3310b68 b062f41d34d4761362c1529fed1d44af7fe85c1c c4adc8b8c3edc6dfb4932326e67632bfa942c945 da32be17e5df65605f3b1c4d8e9d023b17eb7cdb f0ad6c3745e8f50de429643a2f9f68f72d556150 fd2b02dded527fdedfb330e24b0df02361aff2bb fea74818b5546700d79f25ccf6cce0c486f5a73c3269756b47a6a9653987fc2e45e2efe5ac3c9347 0e544d0fec4d3c0b14523399e03591e515f8856e