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 + \4l ]/ SenSocialChoice:threads=2elapsed=23.024cpu=38.952gc=0.816factor=1.697zXZִF! &]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5Hh,[v&Wb?3~U!/&͏_VXSiEԢ?ӺJqS\c!ܛO#~ڀf~+1:hRJDe?Ap FH/2U+]'{#'ݪTlEYf#q ~v~:!E= n]~ZXǘi7;ؙh{,PAĞp`̗!?LMB3~?naHP=$~R w*aƸ ɡK*sK\`:)9YB!Q (^/ԨGHzFR9eZ}wUAb@+ S;_)^ B^')PKiiFs $^ĘLlx-Dz$+^F0k ߗ(gGߪVOA!FEEpeCm (ݙHTӔRuGI %)՚؞iQiUHNOp%Z3ƲQvjL#6[̧75Y+4i@.!&ϽFn. <&)P =ޞ2ℶzɐ~5FK/az3{ZLfƊpĖ:/)lmV 03_wlP($_c{rެD>~&\olm)fWuیu"t^@ =:#=q'F=CB0q3W# !e~cQ#zwƎ?q"ytLbr`z( &b̊p]Y33:}o{{$h<*~|+ӓDC /A ={)i6NҐsj-{˳&ZF& ȤO[¯22B$ǢHniz,dI 7c/g3gW%E!>%V3f DV(65P 齝aLDk]┪5^5!xԩVIApx"y kgBH^H j rD(àI:#6LVa 2tgYZ59a9766e9ad01f04721e8da43a24f26213509573273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 + SenSocialChoice