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 h+ Dd m/ SenSocialChoice:threads=2elapsed=21.916cpu=37.244gc=1.004factor=1.707zXZִF! ]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HhAJ fO)"+Ţjd_)ն4*l\ Q9'. SϯVaDX-vz}#9+q',|ėǙQ0]툞<$ln!g1#a #x^Cd% O/̺CbjGinBW )uī" P02 Z gcLЇ]M% Ui%0,(vp O4TEmx YbNʉ {J;@ X@cCd0DIgq$ܲAQ陦;^57cT5+Jm %*> jd' P0gYZ7zXZִF! sE)]ŗXi%6ב -/R2]:m32N揷־+#R3WPePuDH0a݇k`ex¬AhXT<_Os$E~kSPcdm;NvX*ZttSAKb& jvX?%׍ѧ]930ㅚG 5;R@|LlYG77(ifN$ mCUv}a0 -m-:iG: ȷcOw-Bg*GltphE[Q94nj| .J'6.\ @_01u+saKں,%Kq65$_ OA=қZGLmU$ ƺ87щwhxZ:0հ8h@egwthI3WP(Jݡ>J_(>n}Hf_"NO֞^ 8!eUH G uˆUѬߵ!N&zgȣ$#b^RY\ntcvK'=q)N(lڷ_/v",g99XT1.W⊍:`X $nC3 8?]<C9wW.l$ts Ъ^N&Oa^~FrՇ ފ>\{!&<70n2`6-KB"-4?PC+z+FzhFt'$*]x#$ ԖW7ġ q*G)axPޭ|<&s8α:s>lt P `ϹŎ"=Q3qvy%[Fk]~e 9f"'u+9ٮ6PӅvY"G0hFw!L*Zr&pQk.!*{QB92;]cUku}lQ B*{u3*H!nh˹spp5 2ReI70[Ζ-ކ> :dU#>ݐl iqz"0y&bNP&V:tEn{DpqŌl=fH0,f{"%2SZպ:^0vR4p| mI**Dq4f^hUא RҠgYZ05a06f3ddef7b225269b834a7be4c0c2069565fb 10b1972a0c90bd8bbf55a586c53ec664a27022a0 2028f07189c74e1fedb96a09f47f629122e10add 3e8366e49c7f38f9c28d271592b022632e6a9555 451f33ba83231717536c8ad5edab9d27e21f34c4 6861795d2a3ffc5f9e0482235068f61634116440 6cf8469af468f73785f7d3a24c68536b67bbf316 dd8c37e0488041a63b0450f77c7860234ec4a413 fc8b365e685b24bdf1f0714a47f7443575e6b6b8238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 + SenSocialChoice