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 k= ,\< ]S]Randomised_Social_Choice:threads=8elapsed=9.948cpu=43.271gc=2.373factor=4.357zXZִF! R ]ŗXf[&&SeIȜDuǪ iw.}2 w2o9T#k$_#kqנS+z5`ta-8o+bkm8lt2b՚?j?AuR2^3ףk # 21MDtWIUw^cɱ\"y6N7J"Z.7º$\~-P0!e2>BZ> HoC njvxn&jm? 4 nOHtebrלb2^珹o 0YZ+Eg hlնIjdBHEt4f KS=q61b \Ylo6F™eT[Gc<m~\uU"tD.[8pd0i.޵Y Nc:>Ji&U/: UU+_p6.^7 lO43(KslYbDz621䄻M9C9tXGbKu_$Gs DtJ2W3f=$/c+ %e]__z y<[ȳ:f s-`\=d_ulp('I|9^mJ爑2uڞ'ϦsN<Չ+CeNUjdcUY 1)[vaWZ-3 sQ$kB]ǮZ01lQ*N HþJH.0bgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸Ɣ_-\7#vO662Ů9ٜMxwt{?pD Ij2R6Qg#2Ɛy#s\`tiw5IP#>oi}Kf@e栃^T7iρYU=0u@ҿ txq OGYwևy إ#zlV:!oU h}TB)>;)L8}p|` W\Zyy.u\5B`_}NW:2:hN̿L`ԾҲtAeȢ MXK>7Y{HT]cw) Pq}p3`U >1'v al+`:Y ]uwh-- rTQ .8!OԇfXR˷KbVr2o[*+JR5,tPJ]rc^1y>.u5s.I/Us"-T[nFeN-f-MV*W!uA%kVXP8*b ~AdVHbhYMΈq|9$: ʪl4dob_?~ySE Sv (M\mN+.9C.r $Ruk`S_˾V\gS_ksIbdymɶj0 Ճ#Jg=Uq̎ EAiNШKϻYa[eDڭ_&6mH6%BQ{fUF?=++^)i$_V*v**h ' &cK)#{@Jk$-ϯ\]ES۔!*;HJ֐k ʻ#1!Eا" w <*ݸ)k3ۖ[c &*gYZ1b1f5e07023b096c7efc9a87a3879411830c137cc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 5f5d9af270ebe02ef506a6072735bafbbf70c6b7 b2428d9a839bce8c458a1e5816ad0517d827ca5de3f95127c90693853f41660ee0882f4008331107 = Randomised_Social_Choice