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 ,,Q < ] IOA:threads=6elapsed=7.551cpu=32.676gc=1.496factor=4.337zXZִF! ^]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K E3/"+YRפ_MP/0RQ5p؍l0 HiJ8E_J%WrݝP|*Ѿj)QhWGMǓᎣ gD^P.M8#@㣱镙/g3 ;͛ӳ-MJsQ!.̠([zr!A9ixo]K%xXvdCK.7B|m_]@;^bDwT8TBF-jkىJY- s+w2ӭ+U:rh 怪mS֮<1ǧBَN[?DЩ*<5#AVk@Rϵ6A;z~E F Ԫj5l$- v3/;SQ#?Za#1 gYZ7zXZִF! `{]ŗXiɟdN'LvH۹$&'vYex,¸ 'PulW)[h7WTYN_|5|bF]wwsJ_fIDPY1WO#; _dQ(la^Js"cݾɋ^>B'5{ɃfxT|ƅ*G f5@1Ჹ+T+b+%@m7By\u F+>)khϛSN~S=bs/=ۭQ·|!!S먅XТ,QUERʱaBڍZJ1OvhH:)l  }+gYZ7zXZִF! $2]ŗXi%> dA6e#跊f;%(MBKFKV[kqx.B ZEPmFӃW 0*6WULa|Xř-'G浰p `l3өTH 1וW :b ys)\Yz$71~ z^|BMR!&B$)hiΈj j6eg[6\GGu^p 0o&Yݿ̀X]K/j. 1̹~dZ "犦p39?V3!N 8xGXJ!\氛+jutAcAkwOy'|J|A+1_Ek5LcaqWY.9\g*純 &9!CEefíW/XpHB;qk>̌3PSkΒ0㥗辁qGomZ"! 3NȦŭKeq"G bnOُ}؁OM4ʾ Õׄq@USEtpH9WgYZ5e8ea1bd5cd6b1d0af1ac8828f0632792b90f1c986b56c8a9a539e895ed8d31c0f69ae143fdf0109 fcbcb977e730059a53bc653bcc4acbe376acf6ad 00cc0a7ba4cdc3b1bd5431eb2450f23d6d329edd  IOA