SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ^= d\ w]Randomised_Social_Choice:threads=2elapsed=24.239cpu=44.668gc=2.260factor=1.847zXZִF! al]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p]Ǖ{ Lȥ[_XUtf! ڽg[Pc*/{n2yf`7o~~^895d~{W{-Ɛ~RJPud2I@em%̏]68ynwA?PfP#g BGg-'JiD2l3,=T:[YnwոEV }+F9ݝbg#[q}[ϳ|2VD:]{rS`<n<<R0/}ߘ NPK+% Y7)ߖB[G7{ؖX|=Ccw^^XRӑr<̼ڟ$5`a+]?L0S0;HY- 럣.ZI~򻑾CuF*lI꒱BdΣD̩(mUk6AxW#/O+옻|Ӱ OϢ]N)~؍ * #/ 0VkL]|u$-J'M{ډ:_̥Q~2W؞ 6*jݶqȣakW7 SPrLΤe7cАyYUZ=rq>#uϹ"A}kt~`9 Ϋ_Jm"čRjMh(! zL*.-]kmx IX0`x^+u"Nq7 gNYQz%@6=jVླF>[1.mI5kќ̺Xs3PCgNvĥa'Ю)cSM(SMH%@\|(59/?6jE)٭L Лz<Ղ'Տ2 Zݍ3"?W.0cҷX$u 5& x#Q77TߒyA|c$pcRd..ЖJ$]ƾet8}yAw\;. ]yma j-@X^v-U_p