SQLite format 3@ .;  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 .3 (a( 3 Presburger-Automata  h$cg{W/Ȫl`T}|!t;p#Eư$s'U)!}j;ƏBjj@~oSbs*%tS47+E^;9436V5C]DPTZlW$Mj2RU֪BI- 2 !-q`D'͈ ¨ȱa1,Q! 1 N YBc N{ -An'?{F̍Ԝ"}bNHuL2}@;"0dE-B_EZҲC.`Lskh)^˜oV̹jC3=>K[*:v؇Io 8ǀɜ{}X1$6iOubs>inWZ{l\s:HA&Tڨ%]Mpkݵ|FϬ> v@"Jnjǹ$xQA9(qgkhUfPa?%+8 @B 5gYZ7zXZִF! R ]ŗXi%L VRrT?+k'9Iwi XjQ䍘HN!$G8hq-K!jO- &h2b]E?~H365Uf@h|gqKfo<)8 GCng8(J%s(Kx<vy.׶ 虇[p.!Q˸EחWyY #8|O 9+Q =ջ zӣ*#s*8MJ?תh:>TfU7 gt])!pMyd &v\Z.=_2w;/pb7)U+Eg[_q  DU.+ZNFxZ0ޔ %_ZAmDe$ϩ𭪑ݛ'bMcl|ǩ_BM1c}g|aЄMcNm8ե:w ?'lZ2>Mk.z nB^ W쌺8s*ƚ94 _pHهl˾l@0<_ c9xTEk*Uf0;m>fAӵ(*~|֢j*k1<7P\?U!!K5Bˬ 'hHge,&nk)K6E(KT8U@?+n8j@CT~۶Y(IVӼ{pN2 D>禧SZiٌu^5S7zdkjQ~+bE|_{2!]Tnղ酧qvөm\i(w[@b"nWavo@am!aRG*9aH/kD,'÷j>ڗ~y%ini&y4sh Ia@3t-nmh*iX1gYZ26e505f0daa099fb46c563caa34962ffbcb03e12d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a