SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 A+ t,T ]/ SenSocialChoice:threads=2elapsed=22.425cpu=39.112gc=0.912factor=1.747zXZִF! 4]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5Hod6w%`C,G%U{693&|mũFOUe1@cR.v[ Q߽b9pzN.Jdq"lTߵWiУOl2xvfi!nF+4"sKQ;;/^8L{/VN 9 ~yIP)88pP.CzeQ^2VaY⋋ 9.(|1:dUd!5o/gfBJnHMiNo0-9Cn@͘%- ]}6 &0I%1Q.ٽ]M~#a֐ $ݻTQ~@1X"l溌 oqhS!*tN=Bm&-$ͽ9؝/H^7Ԗq}i tcSJ=( ?@fT"~~v".R>)A^iqQdۃ͏D)-"gYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDdf勃ҫhtSn ŅTҚۃÏpk?[9/ dAoꢒQ7ڦ-|KlBiYEX/@p˳qTygYZ7zXZִF! ]ŗXi%;Ct0Fϙ=gk_6˸\s i;^Kѧ\>E]Pyΰڰ: нfjF 9=T$-ʐ`7ZώAey1+|P,eO:xn LdU^L50Sw@.v?΋˄WνT6GM\=۠)`/-5Gq\8'5&Sshe J8׻s(|)0;g&AMQبA?ZaɞAvK9BBX`eD;YK0BH eEZJ31-+)Hr]<%^*EW# ?&7XCxHXd9L' >l~NTSFMc~ÒߐO1\IV/8:`ٺWyP.Wrytm44_CL_':&OBgr8{ vbRr]B["u@^>$l2~$Ws=Fk$+"7o13e̘p#c+[E$rqnˎ ^|T9xk+ lݠy,m|lٞ!s-*[qɸ@N.5ߩ;6d<1{rZf'w ']PpTlm@ !ʉJICVF/k ;{ \!V o (mW"P_9ZS?C؆Q}DOK zǢ;]m,6lvd|{ ~W~tͽE8=`Dh?ȍwFw%EUc*lM[c$nMHoy)Q^rخnF=B`kycwHB<+[f|.̔Sq`n#02Zyq) }c{0?J0>Q{LI[&^%ٺs-)ᶗ _5Ց*Bt[b] )'a(rXIֽ)_GGe莦2z"P,RfPc@ݵVePf&|)"}\)!l3eۭeÐ5Wc,9%plqP0—<c@2i`{yO.(XfjƬ?|ՔYm\!Qr ~XRmӥ!ih75cs@>"X㲧kT,vS |VoI·5^E!|{:759@]W3&7[U/oc%Q y8=ns ;idP'rm40YEFiU2u/ydE@v݃ʔkIVceI5z؟)K?!ypjFW9dxs }C1:VKU U{}stFy=.L#ʙ*<)۰VJ1\|めsqG|^9FL$QsQ4L}yWt.{9{ZXѻ q}eCn ? |Ha.yZTK0~-0@@usXCuO$ EgYZfea39a01076113abeae9974a06aea6dc63870859a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 + SenSocialChoice