SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 H= l| ]S]Randomised_Social_Choice:threads=4elapsed=16.461cpu=59.776gc=2.504factor=3.637zXZִF! 'A]ŗXf[&&SeIȜDuǪ iw.}2 w2o9T#k$_#kqנS+z5`ta-Vش48ؑuOtjvٿ<7-zwݣp>}며^g0ơhb෇H7w~J4.+I((|°8:*(I` 94 *;ZSg?PbNl% w~ܞSs OԽT_ !Blʞsxc,~? = Randomised_Social_Choice   |9)BuZK9f t1;+-ߖ $ץ 'Ecu34C:o CqS,臩\$ aN o5wfJf:q8|4x2О۸Ʃi Hy8/a:L}a \.lLH# k}=LIw8;aXaT^ t(GDvy/\;*~|CX(F Jj a |YB|[rk\[b2,qL- ^a[Zܫ 4xdSھRNrUb!N)] (ѓ,>Lz$Th\..L6l<|R`,`_@ya`YK@v9_}:ܸb3|6TjEDkt}ljsfP!0+ϼD3XG}Af@sϰ`quիyK% 䌖9⷗1~EnYI`}D /BxQYp ZEDNnbI! B <ɔB+}iұS,V(].-^Y@di>'s>mߝ^?6`Y JcybVɣ5'IEYuiI<\Xݘ@y2-t3\At aSzEMd=d+s=-Lգ/;S^ZhER^9c41F]S"bO +H_2R)b`R e5H!V&"S|m {Ini̫WԦ @qkOO"b^ImjlWx ÎN1ķ4o-~ۜ/mok?p*7<2vfXvUžU*|%4X,d_FJtabǜ1i2/вj1|й]7W0тEJL鳁3'7e0%u0uAl̟=\"2B| | ef#.|q^"SFrZB'o|j dj<$4CFC8puwe˘B1yHš=ЫMڧ(AqXG?sdQ.|9TZ,XZCwV:6GD 〆 ȵ9{$%&c:- vBSae