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 C' \L ]/]HOL-Cardinals:threads=4elapsed=12.424cpu=46.796gc=1.308factor=3.777zXZִF! ]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܰl%ebev7wJ=^\ln|2_K%ПzPKJpk+11lD]C[h)!S8Ƀt)q ızd"N ALzS!?-܌:@0An-CP>uN"@V;CO AK21:[1~dBQ*9:ˁ꺌iJA4yl.nvJ IxF;ǧ I= dXh4{痄w[?1ēpN+5G^vlYPִ8d-63jĜc~ʇ+|;[T$4Qga :S%b/px*Ar̭W`Y~H^p_ ؍|7gW>g’DGd8,5,sn+ !|]|_% գ9q%EM+@}L5'Z#&Kd;rŴ;+>'QO!3-vWİxfcAَ,$VVǿ坄gYZ7zXZִF! d]ŗXi%B(}p%>H:wL[ WXJOύsIZfޔY=!9߷Ɯ\`G?L i8Q4G^}wUs .G{8qVvU݋cz N+5a1o9]..9­epIPLv0J@RF.'EK5܉e{ E647F)]/D *nH:gS\˽V\D# Sn_9v(YQ|dPQOZFO3[,_rhӬ Ʊ_+J=!Xj ,,#RxI_lZ&dIA>myRAm!cti7͟ot Yhflu[`aS|ӏOOzB%ַ/Aa%8y4wHP&S.ڍRVjP}{$ZI5xDJ7ľBt0~P +`8vslP +J5.|~^'Fh ;g0̀|𩗿bkZDH;Dv~GwkO@C6k2{,}㩧D ervD)Tҋ4*1[DЉzHXnkAqa*OT ƍAZK<γ@a3M6<[LMX4邭22r3,~3w. DzQL+(;)mqܿ0*/gC4bM4l?rAo@h NI"LqZf6nBt a7]SjrӉ$lFVF]L1O 5h,US\(|"Bm+_a?7W,A\Z@>OmɰU|y4/u'*\W׾ PyG"iu. agקU4ˎ#fqB7,1Di