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 x 'dxbZW{oYt^y|=O?lbH$h:P@=5`[;6:E9& >mm,C |6mF?SSZ.~~</@ }3I9rM*nQ}ıgYZ7zXZִF! [ ]ŗXi%L VG,BA5 O+!`Wڗ~tn=97z8 dA4 Cbl>QYY#?cjr]:{4>K- I`ݏ4La(>9eQ6sJJ(ά0ƛ"q QɐƯss2{;'z*/?0"Q9 R D_f_cU{U2GC isc_bLMsL% }t9z;rΜQeQ̢LWPcA7w_܎ޣ~ŭ`v5XQw"̂Ԅ ǭ%f!~`|M!X1]eb"nILjG_jp_p1vDm9Ow,.[uM_~,[^H3mHXXYAOq!eJ1+Sp ZvJՑ5f/WrC8 !}=v%7Dkykd=c1~aAp>Ov(=3o vFGrA3S< *e왢Ank!9KcDUF831}cNdt/s1+ruM bh ^>{"yaEr(bG!q|Xsubb\Sx\ʗDaDV|*j/fCidIżqeC;zݾChlqi(RD:s)i*;s7|{V! b]%*+w*H2KA:&܎+: ^%nwaDΖCitgM>C |B?VV)peFOf(!XS-jp4";[8bO2iUt1I(w8g0Au8g<6nήSt/xgF`{hk8p1z^ecYJCm%6w !uO$P.Pք4W%CS125x~-.ZH~ Oڕ1nn] TC[,m֚⵳> & =<3Qی<{,`ܖlbAbn/(gIh `y^"sS=Hjy@bh`䎩j$.m[ z5 hļk`:W4lYO4w2|"#fB/`P}1}gP~D$E >v@fB$gZ`֓5tLB  Ya#/y^l!=(=_wem_ FhFscԍUvhZ{vT4O\/89ㇾz$IʻCt,0Wl1g2XY{ze!LWp;32D ϿЧ5Р>h|Rm)[Jp*è*j+(Z+lѮ!gMQggAFSLYJJ"D#?KQi^4zi= Š"` yK"%p:{&,r-ky @DhM?mKf^##k"V܃En}q|Ex)I=gmpqg5ϺjsG-C0X/ey K ܢgYZe7ab87cf7508d0e819595490b565e623474e9745d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a 984045017b7b077a7d0043094cc4dcec56aec64b  Show