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 v= ,D w]Randomised_Social_Choice:threads=2elapsed=24.817cpu=46.252gc=2.120factor=1.867zXZִF! ]ŗXf1-/6vRZڕ/0*]=Dnm7 3}qZi_h`ױߓ/rDe}kMIG|aN; Ϳ!rZVN,n\DuCD% ,NףULcf:×`AD^WA…iI<.OW]"su`tE`Qk݄~ ߅P#aTYcU}R{콷;mk)L5KztH2KmR{Eb׫M49O?x"z9ƦSR xiüD0,zu%FR(zKpUT$B Ƃ3S6'dY3Isx+ڭ̥z{Db!"YƮ'P^VwZ Rk$fA9cgYZ7zXZִF! m]ŗXi%6S%0r㼘"jJuP=,/`lm%wgv$0[%Rn =+Rv1mc&}Yo1Fx}HG% .L疸MsbwД-Y~H*!x[K!>-r 0#ҝVׅ cE~h`Pս*dP4QB.m,-Uv7۰\Fj7J~/x}E>wFJ-9ƎorՉ Ji[:m~$?|֞ uIe@%BpHzdzH÷ѣWht m?3D*;‘51PZ.f (F|K'ѡ^F@D$(˸/ci_L>2ʏA,qȰȧm a[/\+B9uP!RcRFyegh"Ss/KBtd}hx4ݺeo?jF.Mbˀhw̨ \1WmZOکqI}{L0\Ȁui_EگH|$MO`(i[svBr`fИG+"$\\jHɜɰ$@Vԭ?/FUH-,2ݺri-r2v!T>T56JPfOBFv?_r㭱 >.`Xi$Pl3%hMhvcj;LZ@,ǃ]D <]!=hl"S^5pSc~yI cPq7BEr6CfwRhش4QN̈qPnZ+Y~T#v4<ߊڜs Uu3Բb%WGl >nq=j\'(`a @y'yLM/uoEv7T)֞zƴj(wG|c~&vrk> õ18HoqE&{G=<ѓ6{P#?1)t&J.uWگҰQ4,X;m>1ՠMķLݨR21 WNQe f3ÅS2b#dؤ~: E2J)持-R(l\,y'XI9YQa %W&dE? ȋE((݊G]I2O(_)Eriq3qѵi^ǀ'}VF11HnFț]YO$7ˆ6(nYY;aD?