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 YY$+  m/ SenSocialChoice:threads=2elapsed=21.949cpu=36.992gc=0.572factor=1.697zXZִF! Z]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR EUE[,Xpe<~8<$z;VvvrTHI}}ޣ*N:dz[<(a\ z7JS=|O^{ eP σp@b1Sp]zV5U%N ~ XEޒݠk0]߬qGe z7ɜl]̊zzpb):7!Ub(a'AmU?'(B+K6,!"C7qh.c9`? 1#['Hu d9 vVElw9!:n}|AxqBk^du} ή 7. C]&]|(B x d?)ޣY8'b>1(#s')TSlo j+XEt/BЂZaQ-~kY)e3: le%h"ȯUSod!(l2lK %w6E*:r1AVD6!U9q%)w$ gEykQF)ԝ|ɷQSΪXXj,TQFj8}U"dmr#FO\a:2>H bx"Nu˩ݠZFMoSģ %zh'䶬GZ-4. bl,z_k8Zeth.pt$Te;(r$Cj 'X9%a}̽ge Qj(6gHq7{jnw)[],p5bO,ȯT?8t3rIU谚YQ+Ff"[v>.k$i?IFۨ+,J~.iP(ᎎ`{: )aT\ K! ߞʵnXb+ =kS98clrgQ\wCf lhegYZ7zXZִF! sO]ŗXi% In2M&'s$ d_=bT-{(랙I@е,1נk1㠹?n TXݩV{0 e+mAX0?G@Z8bc]c\49ls)Tgg?m+3#Roe>pOkO.ƲU46$Jyrz<@Fɸ$82vtSOK(jGɶ=$6lv#<Uʃ?=W@hd g|ϩRskq\}ol"`4;n A?PYQdF8U-p1]-c30 #kOR]TU0N[,;x'kR垡0޴5j ǖ9Xf \zn J%qV[Z D#N\?'ZN@U봃hY?*h? X{!b0NJjukhw7mNOs!h(6Y{&\$ejR)S;33%ϣ0Z > cBNЖn30}E(HNrr_5Fz6Źsޏ%_k?{Eze1N„ υ{0ncjƇ[.&<0eC9u]&&K@ p_!!Q ^߁blPrF؁㘥|VBtW6 "$ R}|2w o:ndqQ5KS/$MB_u0=ZUue5R'/,;~XqOca)’ m#5\$g$+ }slm(A@@KckXz5sn#+-|`<ňޑ=ybRߜ%tުX@%h#ܕ!xӐ#mڡI)Qv<5|OC܂]R-hAٵ|?⽶d.y=qV"? _WTEVwĪ3rSMUI z5<{W|ɢl]HpUu3z0j0t FElED0zS4J,e(+wKX\E6]^>y}x0~ ȑ>>Nb3u T-bG>׶o e{}P& Zܞ;6֞!oW`u˹Q|/@l+{S|xIOI]]qSk 3/AqqVNRKܹHbxtv&: nj<.PP{= 3(x(gYZ05a06f3ddef7b225269b834a7be4c0c2069565fb 10b1972a0c90bd8bbf55a586c53ec664a27022a0 2028f07189c74e1fedb96a09f47f629122e10add 3e8366e49c7f38f9c28d271592b022632e6a9555 451f33ba83231717536c8ad5edab9d27e21f34c4 6861795d2a3ffc5f9e0482235068f61634116440 6cf8469af468f73785f7d3a24c68536b67bbf316 dd8c37e0488041a63b0450f77c7860234ec4a413 fc8b365e685b24bdf1f0714a47f7443575e6b6b89711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 + SenSocialChoice