SQLite format 3@ . BBh77otableisabelle_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 u+ $, ]/ SenSocialChoice:threads=2elapsed=22.043cpu=37.564gc=1.092factor=1.707zXZִF!  ]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5Hh',Ýnh(򳉋LY.u\MLT)>={PFe^cTu2 50-Xmܷ~ [@Bk(쨐Z։=+L'Zui VR>b|2R>3pVC72ttp5!twU0@̦Y9hacvW?h+S̓.Y4C"xrzAAgAyE(3mOl_cgaKiSԊ~4!Z7:AsI/~2C0O@WnkK[ oeFKp̠*a[=u}ᬏ&mMsx8,˪ABK.E>`ݞVΞ<&nCɚ_I9ZZGO$H/o- jaԏ r#b서BX۱^kHg_Z9[ޯڏYǓ raء~uz`$>e(.[NIi1ng%zNV!ȑgeeZSAuUq xU>vƚiRO[7T=%ZY1~NS/eʨF| f=z _Rmj[E\[K1$`B=D(or)>)pI2?.`Tms3v8XA Vz=:`otcb"] <C2-rdy=!Y Hu+mg^ dtx'׹vL◷ؾ[/q]uF@? tTc# *"WTlt/KSIyU,@C1!c#,uoud׍Za Ӡv57Ɯb&!f߈ƃ-y΂;1l۳1r۫<FP]K axUm 'i?ڂMKM2ΦUwLL*HV {K~&[: ]aFBa9M'g컂<$|77w0譓JjH6&+^6?#/]oQ1%HScJ"^5Q O 2[SSWd1^BDj~, 6qp_s6jN2 7duhR=p91- NMe ߆xKBMl+[i4TOKoCTLCٴ_zԢCwo%&.($ٴLVg/Hd`>‘VK /}Q\~pP!I\jےJXy7ՠl-SL6 @O"B(6qP]>I%iI9X0UmYQYŕ|ye,ThVz#KA-:\ZgJt/ad jȊqܘOΊ Xx N-~$ڗ wv>x&HSL!;MqY5> àjgYZ8cab632a016f5943fb220aa3f519bdeb937ceaa33bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e + SenSocialChoice