SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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  z lT ]S IOA-ABP:threads=2elapsed=5.786cpu=10.252gc=0.216factor=1.777zXZִF! ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09 )NXLm9xxφSŠDOXQ9MQGNjdC&>_k";z z0݈2ZImf_ͧ ?=FXIaqkjNh?V/,O)b \EYgX1ܿ @ê3Dר):Q#j '+gYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPg%w;D` KyƲ hw]`YW #֘ 7ˍs>PE]']1s{"կ^ھk(yok>ݲ7QƘ%:f˴NƎ4^>6:/DET |頍Aww7Qϼّ$ן)w*5X+&=]-qD+':/))osTwF۽=Yׇk5]y9,l|1jk"E)I,Ǎ3>;UFz &EԨA9QV=xy `l )/q%e?4? [iwGqO9Lݛ "bG A _ `O 4swj(bxWrU&I tUjy3ռ/z# yvNwXt߾2:́q/Ekc ^ɀŞٸly . #`.γosݗ,Jk@5Xn`c:|"oܼ#qykOZj"D$ K G4Lyp[Dmy pfd0q@#~,Y)Ӎ|_`ظGeDCwmBW9<]c4JhZ(hM|U` `wBif3AQt?`+쎱ET>2-\C:lNy:}.h94Cnp%vVPe;|@^7 @TPbj<gYZ9c832dbc04315c2f46b4a77a45a7b168c0fb441e1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a ff48b9fc79616b356889523312f0990ba7f74343 026ce028d86891e781db733b32fa5fe370b53943   IOA-ABP