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 HQ Tt ]/ CryptoBasedCompositionalProperties:threads=2elapsed=11.623cpu=19.128gc=0.680factor=1.657zXZִF! d]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R'vTH$: X{ʐJbRu7r)ZӨDw{  ZT14pkƜB_rJEx$&GN<80m;2B6#hfVawA?Vq >v|mwt*~ULĮb3Kqق +%[ 0嵇X|53f{Fo[ t`v$ƲEք𖯀7อU`gYZ7zXZִF! Gs]ŗXi%;+R^x#5FI|dG).X%>9x28da&TYGOyLf?!Ǘ' $ka#'D!zXLĉ`a|淀1CЀ6s[Wʐ\R8b  +""-hK*iP:-W$BI)ӵKRf\'A= 'cu*Jj \X%=]-ljnA8K^vG>W>ۻ=2!j to#Ci-)}Ga3 <8EľÜw?&&Cq?aN 'uTsóD{s #]"#Np'V,j/54U'r~N#fҷc&X%Bai{EZ;+,m#l^fA}`.iY~޸Ш=[BV(k!)I!JS!^X%.W??٤HGQı\OӿvY|>BIL%Bw5jtfB${0vy%֮'e=RI>!kI?f>Ӧqvl; []5~O0c]NبDF[1׋`]o "Ds'a: V(ɞ,i D`/L<÷B.]p6)cLT:=Kyc16*׾\Hժ3Dxvvq hx|0^br^օ3tj}3["Qs1/> لAk}NS Ugߍee 1uR&_ٔ{U!)ju.tA8 /X4u}DPwhϧDƿ"K*d/܀rGz+n{§Xα蛡~r[} t8/*zQt vh&PC%S 3{W .QArw TpzWb2J!pNKh!# KZF:p#& Nk[SuV[O\ AMA hgYZ43b93180f756af83e4ceef4798dc74ae16a14ab0d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad %Q CryptoBasedCompositionalProperties