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 !!T O/ Logics_ZF:threads=2elapsed=0.269cpu=0.532gc=0.000factor=1.987zXZִF!  ]ŗXf1-,;8Z~|3>"0o]@,c9k ӌ ̰WO'IwTþݨ$+8&dbt~6o=p$coe3J־B}Cр3J53h|xsرgYZ7zXZִF! B]ŗXi%Qrn"ޒm%M쳒&N$p==kh+{`+[5V ځUt.=Wg$?\SOp;&̵S$Тxvߖz̎%rFn?ݦ8 Ќ   Logics_ZF~g z5ah3+[g7սi 9c{Q. [󰓀_3Waŋ1aFSq~ A$k;ɦVk|**U/{){v99qhUl8q]+Z2Ү"_Tf$ gJ+gYZ0606ec68adec11f5d24de6a1014281ee4e05393f 455b8f7f0b68b6917f4fda6625c895033cf8e8be 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 59df6ae606b82fab9eacf2f782390c3e1cc49c96 60ccec60ca3b68f267c8ab4f44b60741d2534e44 6a0246fbf8f8e99986be3165c5f37f9479dc24cd 6af0313c02ff8ffaa80b11746ba1cafc87886535 803eecd899d90ed15e29fbf2cf51ad288e1747fd 8f194db846e67a7e87b25a27fa8ba1259c4af82d 9fb9c931110ac7289e3c279810f90d07d2b1e664 a634d2977750efd14daaf8018feb1fdee3310b68 b062f41d34d4761362c1529fed1d44af7fe85c1c c4adc8b8c3edc6dfb4932326e67632bfa942c945 da32be17e5df65605f3b1c4d8e9d023b17eb7cdb df6f32c654baed9b9142e375c508e2f789d58a4b f0ad6c3745e8f50de429643a2f9f68f72d556150 fd2b02dded527fdedfb330e24b0df02361aff2bb30107fd93ce37db2bdd67b83360028ac0c573143 21648982e9c2997b39a9ba4a7105fada3f2d7609