SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   n |\d ]S IOA-ABP:threads=4elapsed=4.942cpu=10.524gc=0.340factor=2.137zXZִF! j]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09;blMPl 9C/Nd^>F+3MF /4wY7TdS.a]?E 293_PA?,\ܨ;2ia=>#sh>Jyf)V&6  3 T FEuy1\HlCpg8 兩9ckt -gYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgvӥIkaHθ XT:e=9rvu{P/;D%'Qk[Bj҆Ҟ"_ LZ gw0% #~߂ h7"܅gXzh崟x[b7)и\YD>  (` c=pV3EZ6D_9Z6Hq gYZ7zXZִF! ",]ŗXi%Gcř1. hʫv~fu?l}EOgj }X_ @ʣU &~GOO{}c=Edat10So hRx7Z*J1ꠍ hri&-!_(QM%D8"%Mp)+ 1}/Zc yJ^3!>4dhbA.BlN ҟϼnge'28@pAB!)Ǐ0]~IDo_?hlO#ۧx2c9ҽvЫ8 .=`1c'ϱ?c-\\ܗh\҆ʧԆ3&F?] \6,&H qNwF$tېjV$c`!bY .@S0P;DU+hۃdTPTۢ{%o&oM6j!o1bv];R$_zVXyS[LGVgݷjr^eu2&P*2kjRp>RjWMฎ)(EvSS*-7ʼ31% V0n} ڪ1mjҷNxtD<._d6zO̾k# eRT9u X 'ZSrOx#)[(1|H=O 42 CȞ1dF8ftѳj@\#7p|Pn9F /'㣭O<ñgYZ5e73a39ce4ab4e1738110d40a4690110c40479e01795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 946967d0ff27c8358b9575a3ebfa35088ead3814 c97f6b8020a2914f939d13e50d98200e51377a71   IOA-ABP