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 `+  m/ SenSocialChoice:threads=2elapsed=21.887cpu=37.384gc=0.524factor=1.717zXZִF! [C]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR EUYWvZHp-1V@:w.[stk#{l 4*Qi ػ"jO@V^w{S44(⺭UW0_"ZPv["s'Nl޻&u:cW=!?\SdpL[[VKu :i8G1#GB>ޑu nTk"<7q:5>cV'$dF."um+huMbE@IK\:6zj 5u + SenSocialChoicemr?KA@4垭B^{PP_zXarL넔ey5h0iw/Y=hKZjQF] q Cw>n KbǴ VBpK"/=,|\Q^%KQ: O#vD O!-o*tfML͹xe=NݺTrb60l3)! =hM#4Lq]W.қ3 Dwh/BR(ԉ_?~Mo9Q|ky1+c*jIf[pVx0\eLHs;ZEn,OymqR67iy-Bǩݏ,VWu1҅ҎS ]ع] [a=v(dHG_t{6tp}49Y q HфFϤm0x{Mtif",Пq&u`BY NݑNz߉ܳعY ;UgbStqf FYrxYdmda8s tMYs@%~Пf,LǭBdis@rJzy7?~^ਗ਼f% a N*3N7L@}Y| 6C{Gwv, :>G2Yt9^?( )d][D0}CyB(FDsmw1Lu꫺Z1꦳zP9 "l# 2A2 d TL#܈t9!9 Bs rIiZ{$wSg/zў#:y,$ 7PIޔTJN} / WW`fJdgpĊ DoH>ٌs[ gYZ05a06f3ddef7b225269b834a7be4c0c2069565fb 10b1972a0c90bd8bbf55a586c53ec664a27022a0 2028f07189c74e1fedb96a09f47f629122e10add 3e8366e49c7f38f9c28d271592b022632e6a9555 451f33ba83231717536c8ad5edab9d27e21f34c4 6861795d2a3ffc5f9e0482235068f61634116440 6cf8469af468f73785f7d3a24c68536b67bbf316 dd8c37e0488041a63b0450f77c7860234ec4a413 fc8b365e685b24bdf1f0714a47f7443575e6b6b8c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803