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 ''V= \4d ]w]Randomised_Social_Choice:threads=2elapsed=24.374cpu=44.944gc=2.000factor=1.847zXZִF! %]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀2ɢQڰaDRtvTmvt_Bgz{k-AotBjO3tјSYc@EB4լ7ua-UV::l0g'QcB&#z <cA+< 8{Q2tj??7!7G{W.1pQғ vzQLt\@ GSXԸ\sHg/@)p6Qfx١~.nE>oab$ ұp=%]f혖K:FAQ^L/.)'*jLAk"!=}3o Lx(piЈ-łR5]@E{Cv֝|Ł'D]̰? z0!u3 XQN6zYĿ8+-py/uP=߶2rTCN҉c [ V"l{Sy G4\X6!nne{V! .6{l *-3f^ksV~ŏ5y2  wa-`90p4ֵ^~:}L!||wocE -4ۤFr0A"f$V]j'ZV϶@Q أI )2b(bNHx 5|ȱI7eA@gYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۹ zQMv?&ihY ={Η)ƹ!C=A&8OI] IL?MZXH9\d% qf;jVX팈^j@vPtZ2j9@hvY䩘Ф>˘c<;z)j0+TcDSuoLo?z؆i5Z3S4aP .ѩ0ZZU&.= /k:(`伊|AYcia Fy XS!=Rp ]'1Xh YszV{EU=פ(>xslr\݈.N[ !dgYZ7zXZִF! ~]ŗXi%6Sr >InM3_fپ6irR %j?7b_Z!Y|Rs<F#Q g^. =N*qtU0oh(J /֧3_ޒ;O1;ɵKnuV.Ѧ rєm!RWllK0]Az 1p'B%pn" "  ܬL>b}9S$g$lU\5Y9Lj^5LjoQ4ˁ4,#x@cOpVAX^2_SYZeezdSvRVe%,,ۗ~e\-c)3]Gх9t] ?fpA@amu.omb'wNE$٩p݇5nY=v1+gKdU/kJ;o&%վނ0YV4ڷ1f t],),QT5gJ@=:Ac.5\7)6(*Tv#jE0勞O]iNʻ?rE_ u:TqP.O?mcKk+`5/'?Em2Ϝ_+k2Ks~,I>tBymR%ˣbbVJ$v? WҪ Q'j\?o 5<$~CV;b\*q %d@ol[} U!BP{h}ZBn5(o4Ɓd̟?E])gfI&|;@^e&}#,y`U 6|IX(d- } ½e hI)Ԋ;ݨi7&-tvBҘ23Ev:!8S4c1gNI(;7|r16 G01;N D&/@^fmؑn{â? `SZؕ''dw2S,";\GPlq$9~wT!_kM|f$f};KT5B G;;*kNc8{!^ p[=={Y7FJH\[(xiEu7"hpsG!4y,Qma!YҴjkֶ5xD":, EkIedME5đ6֛;l9q}%.XU}Jl2kYw *PkO}6 HegYZb7598aee3edf009a6bd63a0f3795ac285f90f743e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810 f5a019d9692dbeaed65ec90467093f77d7bef3d870b1688d545a21b9e7531ede7a242ddb6e77522d = Randomised_Social_Choice