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  ]/ ]/ List_Interleaving:threads=2elapsed=3.339cpu=5.684gc=0.248factor=1.707zXZִF! ]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\hTnDS|9Xryk"<ǀgJba-t*:(m(F➂4 Rqj)}.*OXn=  z.աZSo yb "gYZ7zXZִF! VJ]ŗXiɟ\K gcqF$%MdKRk3{,oq'"s^H@XA B| x %2B s";;?g4PJ^*npZQ,v 9.:Bi7z_XiN#UϖФ8atD=c(͠4f OG5[rȅNNJspf0w`Щ&'VfԪNů[yaw;S^UGDi]^!hkiSKJ%bz 4 sl+i(S94[=43Ǔݚ;ӑO|rN!#zwI7Mώx?M=xٙq{Hz6}&LLm_Ni8ȌyXH.X، /e70DwU+a~rn[g_ eCDi!E?XxGh[ƍ]ZF_%L+Es+"b_Ac.Cxr0AXE3PL/(@MޕՅ|S(| (M/ Xt |JԲ;C!s#%H *M\jEŃ%& ݉X$g)="Yy<;N}tRJU;sN+g:$a3M"C8ptB gYZ3cf7ec564273c8134c995116d72634cd02e71542767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 / List_Interleaving