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   d? $\ ]S Imperative_Insertion_Sort:threads=2elapsed=6.033cpu=10.212gc=0.228factor=1.697zXZִF! 1J]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^eZΠeTSikKt*4QHޕ3q0@B>F 3XpQ4OY&TJ;IF'4b~t1Q/9>bq'$ Gȯ M)52fǢT_0s\sVvj@oi4qvy;JPf{~׵`*{Bnzf0_`&_L2]k@/B>\D! ܱgYZ7zXZִF! g]ŗXiɟR\]gp}-Lهmgx]ST(MAv  %b^w4'@4Gip_ˡh"㩔G /KAԸuaLyPs6S-rL"$,!+8N-~Wz]>{vh,S+j3:bGJ}_Gߧ Z_-)^ wA|Osh:?iGHrPTyfo?)ы h|0:.dF:|,[uZc0$l{\o!w.l*5&!?fpiA6vϒĔ^*"wGDZ|eΣ(xȎGԂ`K5^XDx㾵# p N?b~>3py7 |^;:PauZCtd2So(Ewkacjs= J$2G%Vlt-`;&ij[ 7;"}M3J\TWbkjH~liz80l_2y=( t2l}N%Uݎ,4Wfm._PWo :~kWTt?w-y-SZSG kZaXޚʩ;@$