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 `7 $ $ ] First_Welfare_Theorem:threads=2elapsed=12.897cpu=22.276gc=0.580factor=1.737zXZִF!  ]ŗXf[&Cڝ0I'0M C$Gx_ٞ9uFv@ _DKׅΏg#{O}_BCѳ -\]{Vxq5vU||734kX}0?H &~&"J4 ?Ky71fP>|8}(r>M"{-Jw1K;"gҮxbK)] \gz{Xm!^3%p4s| T\ $<~::O ]kOX~<#g/M #?gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSbZg[;o@ %`"E&̂d-G+?'o<L2Z<JGr-#>^*Bl<93GTG5:?VB*Qn/黷dBgTs_;&1 *>Y?S rs6TC8Q"Hh> 5! Z+cStyUoQQ#^#|FqfY$. (`yrz dⱩmLJPPX_* Q2|S_1SGv9;!O l}ElM\:I\K |RԑR>z/뿻P-sb5c5ο/"~ƽ@3B8Re08'ꆣSGk+.QN-P%V);ؾ QRF+ܤ K7m %f7z 1VwkWq+52Xp# gbEZ# ׊kWȭa;|7> =r!R 8ա;c y u,ymJVO0<ի}t$ԩItџ oнrk A2nKJL}f`OOI X Čd #˫@_% ^9|>%Q ~$R.|M&_)&A{窗Q^l[;"M  Ե ~#Rxe3Fg l7us #oWٴa2"J(z +I_71t_4[|:h&jw(Έh Kq3Ȯ0r %ɴLv@xn gm5AQH̽<>Nd|:M)C`n9xΞnxýaLdA^o NP;~ ~ bc ~&v]W0WŧֿuBK1u*9g4\5XK-w1<{z] 0RTTR#M_ `/|fY,zbT7X(n,DDR2q%*N#s;psv]XDo]iAK[ky˜una F,Ϣ! JbogYZc0fd1a7ead05e1846f0d6ef65d6bbd8329aa3bb20779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77 7 First_Welfare_Theorem