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 + T m/ SenSocialChoice:threads=2elapsed=22.122cpu=37.872gc=0.576factor=1.717zXZִF! Z#]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR E%Jb:&RpZ;QrNM{.]o_iI׭={Ԡ]RV+<$998˅ݝ^s Na`III }t"F!˅" $~ }SZ#C)S@}#hT;bBDBtyt#~D8hϐ\pebZ[w)("8@mBm>=m-ƾLWt#Б, gkB€ISo[;5,uo=+Jg?5ڲ% + SenSocialChoiceGAM)4#5nLx3fk{·-8]bIVTiaӋ;ц \qNG`$9jpffHMlm $/*SH HU|u$5HR՚gk_%$; B=6uzvʒ gGioW/k3CX[hlBU2@o100DJo)]tb3,VegJy\c3SͤcY#,v}yܝï5$4LQR+Oy"|~?qH;} =q?"߉ڏbw ^L#+d%+˞}(p9Hg%цw%MsuMon[]O /8vX+q>k llWf^MernkN=YV)Y;O 1TF>ܗ,r=ЅIk]1kOhŴUfRNu3~F]i'v;Nae(ـ}, J ST-ϵ|iwme)Y LgYZ7zXZִF! u?]ŗXi% DžmNս&kPJk$Ӵ6 gP=q9qVKzJ%mOj&G LdW7ݶ8f !1Ȍ!g3 k&@$aVqpB3ito_ Ε$B哕pI|a#o A$aoCI}`d?gsVfG_]/f# zf A _mȇ&:it3qύD%v3;CZp]]w%/s;&oԑmc%f4\'TWr.~S}o-ORG d]6deN]-}.|lYW6=h D+{7}1ii\yh?s/%=*XqZ]TBN٥d4bI,1x0PP0hu* {IƨB([iU[, A4=bBɀ.ޑpbznrwvE DancuNre"\lƼk9gm|ϘM<ZdYdϵnOO|OїLDQ?7J?;nhigݩd1F8l $mO8GxI~Qdr(%0E[d}<|j|5'OFns RuI!/8`pv1G?;yd4ER{(6[= ;->XtMvv^\d+ rUI!2&ƢՄng I]_{_d둖</`4nq!)uu[R ~ԮUǃ{ ":]SZaOmsý %%L=,6\g% :%1GY"f( 'A^E#qՔn)AyZ|؂js*N3%fR+sDQCebpXl0ls昐Fª/o2fbN}QHDrȏ vgYZ05a06f3ddef7b225269b834a7be4c0c2069565fb 10b1972a0c90bd8bbf55a586c53ec664a27022a0 2028f07189c74e1fedb96a09f47f629122e10add 3e8366e49c7f38f9c28d271592b022632e6a9555 451f33ba83231717536c8ad5edab9d27e21f34c4 6861795d2a3ffc5f9e0482235068f61634116440 6cf8469af468f73785f7d3a24c68536b67bbf316 dd8c37e0488041a63b0450f77c7860234ec4a413 fc8b365e685b24bdf1f0714a47f7443575e6b6b8728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de