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 I+ || ]/ List_Inversions:threads=4elapsed=11.670cpu=38.568gc=1.196factor=3.307zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBID Œf`:PAX[]UԆ13E#5pahJʳ2b.ێ۟4"@Dp,t&ON,يZȥ ZƏQ/cG;v3ۥnG-#}$D3‡F2|qUq7(aw!4ȯqʠ@ǴNlʹ8w&JS|С]Rbx2TXME*κ,^áET .k.,]K@`Uo6ՍA'(t}f[s9hEy~@Sgf;P4ds"3܁ $:_fi芷!TA=0=`**.*6L\f FXg]g!$ &\P6 X/|_%E,'3x'kNTGMKlN5NR6q-ꏲ|ȆeRGtC<4.77G_Onk*NdtF99PșlCl3P+w.w:cz?DfR݅{-,;(oi""`,eƇ3Sj bt[~:ל:vIkOF`>F"iP |eelW^ 0$k6}A>H3K#U?sH>˙S_N9 )_N2!Yb ƣD">fگZJڏY: Y/"Ӻ7hPZ)-yӲ$og-OZt)l%Sӧp`G]v y' f?lnf"q}@W9cMҪ^/ڹ,^-܆,hNas I b+2_-st$@ Ė2 ͺȦ,p%]c B#