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 X+ d$ m/ SenSocialChoice:threads=2elapsed=23.349cpu=38.360gc=1.024factor=1.647zXZִF! +]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR EUYvZRNMgcͼ/sGzZȏ\`=3ŌT<=Ķ Fod{wZRAat2hXnq_7A6]^1&+ CU<립2|%Ǯrf|uSh(P=>o J{T̂Dהpg^V;Smr,lyPΐZ=G_6j>*{_Urݔ rV =sZS|ߪnrgO:S* /%98m N}Z?9{tf9;7-BW+Hհ֕ƃKJZک('{lOA*"`P7p:ȕw[po>]h˕˵C/f2׊u=A5APy9H9O\uC? 뗲o6C㜭y{@`;f?|KVfIuRX-vj1ftJ)]6 %aBuWt:3y۲ytd2u W^2 M8vlICpZ!ܑU5"HPRJs9{Wn~v_;dKjSVl/\|rTbJ}8MNQhB(q> &#ۀէnzN=܁K{ӭ4JKjFB]m !q ǰ aɸި !fǮ5e4I歖`\?G@ПSS{Z+P oDZe(Ao ;)[ɿ~Gi!"f<Ŕuˏ6 3BL)_.C~gp胉fJ܎bD6Jnٶ0o7u{ϐ}α2*9WRtOAgs}"[86H9# S*$>7Sitql6LoN@&p s D^j%(5ɾ*e\d`xI@ BomPb$bl2]ܗ lp?7[|$~?_0v iK{>?nJQ J[DIo"<~j Q!Pn1SaCƃN z墒A~3*GFA;9%Jَ|G[Tj01Dg!U(6L0"tbq6}QLHփ*$KVG˵Ooo|7/5iUÞ!,(OwpX?qk^P)'h\uYHTkS8_^IUrb07*(W"1J EvGwцT9r9~Ir\f\)+? 6Vx\mWuƬ41ڵCuO[L Dd[4ײ4r͞} $u5#V~j֧k=;Y׼L!cb*Z  gYZ05a06f3ddef7b225269b834a7be4c0c2069565fb 10b1972a0c90bd8bbf55a586c53ec664a27022a0 2028f07189c74e1fedb96a09f47f629122e10add 3e8366e49c7f38f9c28d271592b022632e6a9555 451f33ba83231717536c8ad5edab9d27e21f34c4 6861795d2a3ffc5f9e0482235068f61634116440 6cf8469af468f73785f7d3a24c68536b67bbf316 dd8c37e0488041a63b0450f77c7860234ec4a413 fc8b365e685b24bdf1f0714a47f7443575e6b6b8735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa + SenSocialChoice