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 7L$$ ] Vickrey_Clarke_Groves:threads=2elapsed=108.912cpu=188.588gc=5.844factor=1.737zXZִF! JA]ŗXf1-/6vR[7.r"&FD<%s>= Ήpz?Mo@SsQ÷'3mޕnXᙡgzrw& p)YW0W1F}fʊcq?,;kܒvO'I"M9c*(TZ]^E6 Yh%j,hcDF3&&m@ߕcIHO.K}yى_*Ԉ/Ag} hsMP6{c ;(~"AQAS_JB+L6S[ROW*>G Rt>;HYAHBUX9\4Fww[_za>ְ7l*&JSyY'yoh;-/;#Ģ'3ndOxS!K3p>)Ƙ)&iga 2}CJ\\tv"ul"YufX ^6']GE]x& r"̽=ګ  { ”]gYZ7zXZִF! I]ŗXiɟH$&۬J,A*{+H(qMEӖڭm[!#/OHavb(PY2O-w|ob&\c šyq&յ!k_*Bߦh୓~W.S߱t| X|gc *:MQ)TLC֍gLfmv4v;#QIdJeR vdnaWh+S"KJHU` VKL\/_sAp|_Pw*!dm5/=q]P ?e_ lЊAOE>3h- Q2gYZ7zXZִF!  ]ŗXi%;тв@$%zyj;baN P*^ZwCqɧl2b1=nxpk){.(.a09ϥ.ke:fETy D =Hq8vX_`\5m- E&4p%_v>]#`E宲$w0spfNhu"wu_wiIx8ݰ3S_kvi^H쌖OzDA1 !>M?A4MV7{5.$\L'`E)^@&yD Vet5,DKJ0YPsX?P@hwt#"g-]Kk{V1ɞm3)FO,@BObsKj5ryqKkI<$&U5Z;;4Q,8_6;YO=z4/s'% ^ʧ/9T a5;9Rp-F3Bw7M?5X1_b Y˔lQRt +1bj=GH/ytJxqjv#':tP&9k}CS&Bk8q42qgN.1!ϣ~&8_zM'cЌUaCL]_`ϛ* MMm/pqPG! w!:E#vL\dᓽ۬dyҼ ?0XA&/.e;dhКe穄Be(H.Y aU`L?*B4Js?<A{Wtx3-X G5|\AH/m^;":Y4«4u=)` kҼ'͉qʧy*z00`#T <9;ldZ E'Lh_OXy'JC+#a4LUx䡗C,JnA~9` .8{.ȼ:4˅H.|ԷєϺ F-fQԦ\S}0\` cM g\ۥ1]wp:_(bف^όi0Y& 1+MqSɎwkox|m%HZX1>mA.H,HZE#⾟۶2 p!eNh膞bWVħBr\ g,x%ʁ֎(3JpJ>lz?4s-@wӴ"f)޲?`TC_UC1,fapp1!}2̋Jݘ@^ZjTd%CT!Ϡ$MCqr,iާTHxU!x S)t"iK9-'c9 ڙ?7@R8bwTynVY/͍%mKPtL_Ѐ9!(i\4ʻ՛5 B~Ru9aw^YQ \}zfs˃Y0ΓVaˏ/NFW̯)R%Ycxoe.5\SޣBFd-'y-^BOn d35 ~S27ԩJprp ~wx o$/a6kEβCd209NyPZtީ/*L}LA1a'5GՋ :2MIDzI~td)7[F~g10Wn򈋘^2kfXCI׹6 n-ftlxtVGCn,Q[x=!f9,ǶFeřs[+ǂ2Zn4*Buk~\JĤ#xR׼wbk L^b'8^/ʖnd)D<GhSgM܁N7U1!,zJa%H|Lp9'Ceٻdj©HJ֢,_kʨ >d_(VU$TI33V/ vbN X:vv=I˭0pϤ4%% g`T@!3ؑ68k_ݓ2!3Tl>$ˬ1B5f-5L-KMV9vDF [ug=R-ugh9z_ 0O!Hs#a;H*5 [&>[+ d L`fJ_ Wìd ṳmϲ u fCXNä*lu VJ':ɿ\C!<"y bJ ֲ XS?,ŸWs!yfFh6Bah$)2CO,y"tkSAD*).̄S7JDtD9F!,+(wła(Ӈm{ː=@?p6apx 15~йǬmnC Bמ([ԇ%3T~nSwR$8 мDd;_de6'b^d}"U|VkS΢wU-(x]{tAh7^s^Q|Rą+`_CC}5j}b*kl 5a'Oo6W՜SŧS#PTcY YtkC(pJh<572v DpөF5y`~ZnTr„{I:YD;MX7S>LN& i K"ϋ,Yk_%@*=O0Z/!{#ۑ ]ot!BY"5̻X)|TY!H k*SaInl-@&Ry(,YdP竢qz'rzox*fl>&j8`d-|th KDiQǤ6r-bXM 폛mfw33\* "7,'4,@U5E$1?cib1 >ѹ`qʭx$ ٧=W$ IHa0 ]߭ ?RUѐ"weƫeWxCxޤVILliLPE|<9o1ۓC҇2Ĝ&//dI-'!%naU}ŚN_Z.(mãzN v rV O^lsfrS ~N.e3j]V'*; tE\,$Ņ_%l9\Ck`pP#OPPf*.[>