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 % 4L ]S Sturm_Tarski:threads=2elapsed=18.724cpu=30.092gc=0.560factor=1.617zXZִF! +]ŗXf1-/6vR[]Sԯ'=Xܬ׎_[Fׄ<88}rW F$1ܽUTqTXL:efgLͺ*$4rb#TC}Ow?+ИTpsv_)X)p>+g~Y훃#wLԊby$i_ :@HGۅ#|L3U=![NyCiF+%+~b]^&2I t bOxhopb-Q/.C9qjhA5pnK&.P9ϝ]㥪_Ih"K3mxXfS~B{j)RPH#q'aCK`6Vr\r^45|R3]-P#2< Yo6RBHD7׳-ȴr4^EzFlҸH::oʁz4="ϔgYZ7zXZִF! ]]ŗXiɟ==M*]0tI'ZbrCqF!:@gȍttYy~1SV6]dhޡ5y`gYZ7zXZִF! lp]ŗXi%;38q]:`! {[my$pfroP>N'ҕ5sKWX /IHױBe,! 'Ҏ$GPzrۆ|KWaaɈ8{EA>?so2a4r.VPn`Cs9zcm|EC!_E$ H'R uF)'|^n(6HޣE È<x{S"`ɭF:V~=E#F$7qIL=ɗEvnsO-a,&!*`S)?#􊦍@Pyql\#@v>DWϔ8q෸(%żaeGl&~I$`% Ip(ax8Zpx#c'.; ١"El^(a-&bQ>(O%ҥ_ :tvh@ӓ ?BVRAX2s$r?}OX"yxd M|Dݴfgi[i Ld%8ͷhF:wza_`[><ٚ{.0isƅtv4c"k|1p,/ZYX5mзGR3eW ^v޸l'$ԢÀ}PĬCzx7" QDRg~Nʵ:pc [ .1_{oHcDk_ˊߚbœ8Oon k(k(6\h|@o120>=PVP$UK|~AGrTG$!}5[ cM# eH5>O4O+BpcRs/d)I c28Ft7.LH`vBo]y½ƌZfHBJ='Jq $C@4{KĤ>j;ڌ0IqBhsQ"qqzļI6q!bq-jivyݼ$Zr2-y<:vPh <_Ha4_جpgzz9~KJ)I|Es>dzTO7݇as?%,Npq0QJi P7@_Vƾ3R7-Z1 ꡪ}X?P#_mvA maUYxo![KUT],=kiP3 x>25Ǯ4ZzTF*?gxMi*Sy pz|ݹljig