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 }}= ,D| ]S]Randomised_Social_Choice:threads=2elapsed=20.323cpu=38.832gc=2.204factor=1.917zXZִF! ]ŗXf1-/6vRZڕ/0*]=D2-:r/•UXf6SQƒ,ʀ1F,a =r$@$cIE9z41wKMipeGW"W5 uqa yZB'?O&n1ad}'.6/=m6?,=wmMi"PUB3C+OHU8sHIYXn2VW)u 7FY,5_qxErv5,g~_.^1Q۵@[Kz]< 6y-cgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸l\ } |w f}tƹиԚX @qƨ>V?oӀP]_ 3gP< ˜P;{fJu9\"V8`|>lfHW&4&pO*ξ1j48qɨ.}j!y.HIHhEbܰADPttsKbnFs0PX $İl4XDqZ 7K M Z4#<9vJ{g #'9fčxfm.6XBA<-ɗ+ PɄ:jw*ۥQ/5a$hHH*fIՓYkC Ix{?,~3tS>lG+!>f Dε@cx]1dz5ļ*^UjTV"g>{&LGw1f(x yuSߑrAW_CE\7zJz,,+J (#F踈Rǿ"Ba?_6vZP҃867Px[!0zPv oFtԪ_c[BLJv Wh:~*FBMu ]dAB,OOA)X5b9ԁ4_ؼ'Q]"+ҥU1}QEDPb*gT*i\VlUǾc]La Mny:ܤ†6u4R5"0cHR3:Ɣ{ߏ?b :iA?w@V|hn6T0#輡`{)R4\d)Cީ0K(s 6DLlfbW-;)ٮYVB+ >A}^6}&*06 5gYZe1f59668216ce201b298c462ce18b02f93fc263279d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 81bf6d9ee28ed1525cff1dc4475a90c408937ec0 5ae4ef67c421e6122b999d703a2c04f22be328b04f3ef7a403b440e83daab24442348f22d475bb5b = Randomised_Social_Choice