SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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= ,T4 ]S]Randomised_Social_Choice:threads=2elapsed=21.871cpu=41.196gc=2.576factor=1.887zXZִF! ]ŗXf1-/6vR[NDZ2qK7QF({#W,-EK3ApR u /f:8n8s2@ҩUMÆdAEsDž1̅r[p ;$){`:Lo"m· ,I\ Յ G~Њ5)жG%+Kb^qb3sj,$y=xGNQnZ^y/VCOd.?CyN3xuԴ0gpk,'M{OWMk.MUf>S \8m}ZG >tg}x48,r:+h֩P`lܘpsj6DѓQ&[R<\w,lêR+&U׌uTn(Wm6he򯠡x#E5/iJ 1nm`@?_R=ɄŽ_k"Եvpc{~5hsgM7#VR4yb0jaJ|^Y3k Y [Z(!k>rܯsn׌Aʹ2s ~s8 #\(咣PtiϬE!D>OZUmGWuv. QkQ2nv}מn&gbDJdf 7% =h9uYi_4[YSε<~KKCr^NPEv08(4BO-,տGR@>5awsim^X)24UXBt$m](Ot5a.*Cf(Yw~fa1a=+S3;1\.n @ֲaD 8ZɅ;ksGI}}*Vy_^O| 6gw.xb/kÃFktȜBi~p4kX̍ޢ<0܃tso#.i79mWջ&) VH?0GXs2!yݹ^Ȋ턕LgLJa[x2Z_cEFC~U?naNCIz%!"+ЫζО(,mwU,K~JQ$L:S(RQ % ie: wgYZd3ce3a7b25b069aab2c24e78ef93ff9e6af760f3767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990 7967251fc56b8b003d3640fc3860fa8376b0bec1dfc8af01a4fe18d47f09ad1e815901c5dafbee46 = Randomised_Social_Choice