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 #7 , ]% First_Welfare_Theorem:threads=2elapsed=9.416cpu=17.148gc=0.376factor=1.827zXZִF! W]ŗXf1-/6vRZZQx= T_?,&=)Eu 7c4/QLO'=aϸh gV S  M|\EV"ui,ݷ\[y & YLb5Z-u62 !״glB*ˀa'"XRA TUՠTƿe3yԶ w}d}- }o4Ne.ykd=8̾1CwJPCx7I!ԤE&qVˋFRur3ӫgх&e @Ā\`#gc))+0r-Jm\ %#^B#bžȆ0,.Y 3KgYZ7zXZִF! 8H]ŗXi%60nFtm. lE~݈g&c $\0N? )6 TęIv{yD ^=`!\JؒWI,M3^v^?GÕ2[ԋ@g Z1 X;iO2x!@2Z^PgOo}aԤYg}>J8ϻucCug\XhȰ໹xRE'0woKw-aᚨ@)P8| jk&7^)$sDn-MяK7@lO\VLj@'UN2ZѰ|5*;1Mp^4d@1Yɜe!rHMWIC\l.ҫgk+duLMlQҙɟBVpYxSV?&5p-KX'4uNC'˸?_6[@۹#r)?xb+mm˥W&;K  ʁ"S(0EdG/oi{53:5o2ljõ hT>}ҵCC,഻a vH4`dG#+M9H`be$%pb=wŐ ?\d[] FHm>|GS늘zд|4OGEi] {gc=/䓸mQ|Ǝby̓X4{uڙ+EaͰv3=G_9D{t?B~"5U=7s 5DSqA=t=ȁh k# 8[MۼF:nfJ$p{qH4X(P} >B%m%N ],#p!gYZfd64f8cf902608d9daa392eb57f92763bb15278be3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 50dae0a1e57500b43a88785cc6cc74498158411e 7 First_Welfare_Theorem