SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7+ dd m/ SenSocialChoice:threads=2elapsed=19.167cpu=37.312gc=0.728factor=1.957zXZִF! X]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR E3y]PX 2\v8C8~js]Odv 5däɟ"qO0/ãR3u 0[B$ݬs񫰇3& xأdNS?BLh]SEv,Øִd+OgūO}?WJE8k4̨{DO0LCO_|>+q(HS! N3G@ Fba&*Y/Щv]4s}A~zDdI٧%r Eഔ˄XQ|#&/ZHN ؙz?T0&KڭÇmWnRO0N <(r=2+2^VDvle8PE%ᛯ~0J4_U_]xtF2"u?_ - :`~B =nkWrw0G4cK,;0)$Fb?۔[ yiYە Ty*AghIIx/jI}5 4sC + SenSocialChoice'0W'ldQ,rn7u;< #|y';q ׈ %j.lmn*TѴJAPwR^=@r .n,hS\ Z8@Hwwוu+hvj֐O'k95Vz\'p'{k lE?HzQT7Ǥd >H#eWsR l+\HD#VamͲt/R憸jH(?&ӴiېZyP~Ap NI}2d2yoɯDQ8.,G+ޚܶQ#G%rf!#Tpxvc519jHg=ֻq ap!T*#F'` lܐ .~'y~|kŎ$$2%ɦ{).vx:.c (sF (*/R1g"/K_nC!)fմAtU (<Պ辩c,JbaM), DQmo5wUI%LL |GPC!-0d%(<lB֐* 9u3 2tD^(jrRVyX TU_sh)~?]B[=+?3]& '[JhqW` pD;GkV:nRYع un0%qn49^pDYxϠ)?`A.t$x}_H gRcM.#uK9B.t!A{=cY4Ǡ$f-wctu-̸nyյ/ p]X c 6)=gYZ7zXZִF! g]ŗXi%=qB +c)tbHuvf6tg1+CD̛?8|^1}DUdn݂8i _'^]P1#/q4ZO ;>#?J/b;KOoU^\ٚ"$y\)\Vg`4po^5d=%iZRJt Ķ|pRxkmqBPV#~nnX 06H!6S)=z^p9߈Y59ߺ B0mrO--V\~0س'PҡA0= K:a`ۓJ46ekDM/19.e]q-2;p7Yx+&!Z]5G'c ĸ!^@Y,2aue2._4Ʋ?W^,I.{< ֓ʲjh#֠kD f,оHR=Stp[>ݴyTk m7J({r4B'e GϽFmcQy"?;vD'43LUX Ή6>kg6ޮ9\5RL죔$w[&dt8"3E|#asaky,ϴ;ʁ~{ù4Ds%K5F+a||%Rmu <,,1hpX|~3*6.v֎$&2< ʜ~Jzx U q#pN9DHBҚg5(~ |hJ *}EUo-?&dHnk;6\p4d6TVz[!(b"Q.BO,keDr,iI98F?N0^C0Ps=&IdȑxJ(Y#Jzp` >\o'Yd8  &0&B8SͼTl:oUfVM廍l< !1idV,@86Kdg 'ƕLM F& 2|MiX%JmM Ʋ:['\6RLjtDtFdʜ W~AɱvSu7aV%PG`\`:w0npvZ|k?b{\^D rTȿW B \ a5$W#!Hvz?tPtyJ;9 衞Eoؼ Jnq>% |t_svuyaY/\]gk;%Hn©#,7ͷWn6]Ǘ.v8R6?L*g'Z;8[e\]&?y<_L=*Eܯ g gYZ05a06f3ddef7b225269b834a7be4c0c2069565fb 10b1972a0c90bd8bbf55a586c53ec664a27022a0 2028f07189c74e1fedb96a09f47f629122e10add 3e8366e49c7f38f9c28d271592b022632e6a9555 451f33ba83231717536c8ad5edab9d27e21f34c4 6861795d2a3ffc5f9e0482235068f61634116440 6cf8469af468f73785f7d3a24c68536b67bbf316 f0dfae02efe9932afdee0fe0ee2125a97d790aaf fc8b365e685b24bdf1f0714a47f7443575e6b6b8878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457