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 @@=+ D,| ]/ SenSocialChoice:threads=2elapsed=22.597cpu=37.780gc=1.004factor=1.677zXZִF! u]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HhV6+!9d:߉pcwjVtL~K.o۪_dǜv8FLs5!e[۴zR)ZW͂ /{ؓmXV)2Gp#}SI%* dWMKVDŽāΒ";i /wڻb-8aOTܤ.2.:` O20ʡgO˳ϦႈDZ TQ^3!󌢿|`TN(g~܅׊̌Q KYdfImLx2)K~Ng7LیmfrX6ɛᬓtWl4xxXAktE$L^Ě~_fAVb -- $kJ=QBl40~4AQQYbYvV{&"׮gYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDdflu؞eo%uTl]`.^r<{\BRw5\fGI\QbZ7ım/X*lA* qQNL`|gYZ7zXZִF! |w]ŗXi%ή++C7.ŢS_|r/%DN.Ч 2Hq@.]_?bV2>:@VQ l# 7#09ǖS]NJ-R erukMh蕚W Q#!@Is$jފG_h9mS5d{$$mlTExd̞dؼd:%4zc|5~!tY1|yfUy3y!. \ 21#?B/xi&.Ӓ)T'۽9g''nzș^qҧFgxb&:.-~+知F;e۔Y+ G20PV*95rvXvM t%@dѫ/WOq1-: r[/H 3 ɜ˂hjUvuU:$="ŵ9Aq*o3(9[-Gp_+~d=M& _VC]""I!؛^'*s뺫~KM{T"dAp'Xh=a Z4\]/xmi9)?Dz6be~Zn~fָam9>#.xo_Dkl 9?=x; mW[jS +ǂ!qyDe6È#J^0.6qĐ/}gOQ塢LʊTH3u1?&GǍ-ʉPժtcMɃIP@,P p͞MA?' i:CB0Bv>!>=kӨODK@Co= p{')~Ma9},6ad/15B$A*‡* Qܴ_栞> bU kʍ&e wU[R6_C_;Ad˄*?B;0>%"ȲURagt:J|%g4u)h9h7}p75=ϜؔˈT#r](/}Pw= XK|XyjD)E/(Mqq9O(CfGOBYҀG!8>$gјP "#}pTkDg@yV"}T*ZZFDe-Xv_Q^0 ܟi]k@p,)8wM+ ߍ9aʾ ztݵ\8ex:vXo&w?"N%_Fz΍wװ۸ n#!Қ׊q`4teôf1_A_X.@cݕIpS !VPHdOKw٭MqJW2dNJ; 8@ Km)]^pWnUNYԪo޺zUfBԋo졋vc0˲?W^U K] Kd J\u؟x׿ _M/Te䴍/3[Rz2>ƍ Z)!xzۺ  sgYZa3dc0d0e0d7ce525abec5103349b5b766d45d56d00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 + SenSocialChoice