SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  > dd ]S IOA-ABP:threads=8elapsed=4.547cpu=11.245gc=0.298factor=2.477zXZִF! ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09 .FB}+Ǘֶ^t:bAaǐ:)1Lx%e{4 {HjQ!(.YE'C '+gYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgegp!._A5_㻓i %xY ձZ_J2C0_E4󧹬3N.xRq%Cᩓ$v]GJway;+So G6+§G#-3(%-J֤5m-yiW~EG-j5BǕrZ+fR =gYZ7zXZִF! #j]ŗXi%>t}*Zr(эeO&5bz%slǪui:ok8Ak6:EWy ~@Ѹ?5OFn`uҘhm4cJUy,BQ^`V,x={ѝ~=PK>kIȑVӢ#ªG3k#RHS Zc4#_K 'wi5 q&Tj6q٢坯9H2:2df:g;RA˲[B49wT Muy2 X)#k폀L%H&YM AjY n'Ն'8/Itj =B\4(te&ڄãmB5 zؒzxc̶d0+¯Uٓ{>cP/WYR_u w|R}vb ⪎}YkpN~0>%gYZ8d1ce544eeb1ff41169c3e9bf753a6aaee30bd35c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 14157c1a3b8fbd74cb2f80b32216bc456b69f149 d6dff7752c59be2e50eb37904cd1d73e59a7e690   IOA-ABP