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 l= Fc\~UBtBPrKgȲ<\/+vhf# wN'1x(U([n*=(-J]ZWE})}e;lgRFo]յ-DוWva˙Lkm`<'L@[*\kUeq . P(A?wHplRV#_>"zRe$aGBu>$ k8 r/gt8{ZF\%x4TB6MSPQEި={JIn? Xށr ywd?Pn吓JTr=~KpCX@З~g AgyƬg2 \ϥ&mKCq8эz:-}b^$!˲zìCx(+ڝ8ەQ_xkɸq>(f%>H6T!lGih[0XyKcMzf;8w_p6KLԻ%x gU?h5굡^~O6H)uvNxxYG0ٮ/ M;roF⨉ 3D;V2H&)htr HMu#{"&9BgYZ7zXZִF! ra]ŗXi%B:g档`KtHT!Tjzﺀ$6C]!J-}3. v?~GaXz)"Y5e\ܹO7_iƤ%*\CK+NI>B 6B6s-;:0`4q`RC.xXxQТpWeOo#v j*&RRV=XdS#&j4hwcr_+lM,}Dx 3u`. \72TއBA3 X{ ,?ov!z~dЊx/'::Q5Gc<>(ۆ1 LDǕQ"/6ESt{J`t=gs8GӐ4n~ >[2N~ 68M vm*ӱ[㎩wUzlrEڐܫ-3/!@kQZҰXaLaE]{ *;y3a!P:zDhW{ Gy'.cwǜq76WIĵcS}M',wCy_7@NGq>|Hj*T)H9>o=)? g57 o `!CWdS  c }bҼnSؤS x(02I) /\YjV\',kF!R4*d~]M|?kJLF!Su&vhH/Yxes%9p0iz"YU0@E#S}yWL"#vWyTˈn0[L[ 6:zp{.OSӖh=doZm5|zyc5\aȝ G-CFꮯV_׮h`ب76E{S*1b 3gz$C֜nYs$vX=VR7pg/>C>q; @o9lk/Kxnn)鯵\I656x{xadw]A$dx0߶hK+72ɾ`aaeJEVe!UQ]Y;(,,^sAȑ4\Aq BZ٫:R*͡%?0 Ro8CB8`[ )[(it9pE a$M$