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 + L m/ SenSocialChoice:threads=2elapsed=21.792cpu=37.432gc=0.552factor=1.727zXZִF! ]B]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR EU&(V:W:VKt{4W6Lׄ&{RU(^jb$>w-'߇v|Jgt a @7,DI'4>۫1)lc-pwVقŸrϻ9ֿm`ۙz G w7;]sF%-3>%mUl'CXwbnq#5̻>vvGeB٫^ ~"6]du 9Κ^1e܉&'zJ疤h,zF7r@ + SenSocialChoice(UиBH9JYd*Mҝ⩧n/'5ggCI~MNZd)o͜2\lyy,Y,@k2%̿XNp'D_Hn.QhD N-649&%֧X.@8E?$ǽ{ł=r :S\~l+],0wP7"?ӝ49羭GzCni )}G5=\S&:shR2N;rMHq"~..phҡ!Fl44Z̖^ߒ5".;۳*TazO8b__0osl.S%OT.uNE}+e;iB]6E/䑤$My{U:V hjLA쫚p=a(m|9t\(M=Tj^Z k,"r&zہPkyDP{}emsFx:lgFް9~}z0Js~HN|\߄+XR1AⴠY[xVݺFi8见D s'iYNiTk̛b:zo{-BI|4B E, aR╡v :H]JA YS "T'e1:~ rq 3IL2aK ;x JpE0?uD#恏L?P;lթfݧ3?_Q??:| ;6ސ.㪆G,k^|S q }T'_\W%7Ίo ~"-V ]]'`j`E9we @$lK6W!fi4G7M G BUw)zx:V$ߺł\vS\I4@QCЮI4Y U.70\PC橜q6={#!_Nd$sDY]>87>\=2{>u hC=\yڝ_oO13ءrDW\I+ߥ ?LRod6j=yzݫZ50ҡ\Cm-"I L&P믬=lՐS-YԤoO$,Ըŷr7hƝ2.J w>Cˮ=Nw~?[4 AldKJRXn.vIY# < Y=l.|l_>Jp/;8SC FA xHiDtBciטL')*u"pKEhx 8.j{ pwFxSg u$Bsáj}GbMWn]"Gv^X HD r1h *fzM}VOoF,}p.织SyLSם)i|@ B ^oy:q>A*\-cMA}1"#NVQ™HO61D $@XSf-},.E~yd~DRZ6+䏩$ :+=hCu9#+D3¤Sq>։S,X듸wp<2kgRIU%6}%9nߵ gq@З4=*1v&1hN$u[6-]>3X9ױmYK{CrqH0Ƅ;-@/@QПn̅ǃ'cȜX)LR ϓue5w3bA"νπ+R`Z0v oi2AOimitSjt a