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 T= DL ]S]Randomised_Social_Choice:threads=2elapsed=21.300cpu=39.392gc=1.828factor=1.857zXZִF! -]ŗXf1-/6vR[NDZ2qK7QF({#W,-EK3ApR u /f:8n8s25nOȭ:p3ESxbF+ЙywwwJLL~ Qݮ~k~-90 #|N?y;۷: dl$J;Q"jAB|!% .J-`P[S?G dC}e\>J(V .Z}ME!s BX F@P%)}(@/ l_.Ȩcx`iU,,W{A˻C0.t=:V Fr ΤNtqܽhH>HU9T{6%E&knًXR%bNe|G~8 ͓>/uoQfJf:q8|4x2О۸ƙ 1ڋ;\HR2MKD\.^7S;í!7T[ktN ƚshF?ï TfR%Ko _H *FajP'!br+OcYtQ+rgScA#} R`VHAtWPhŹ] Ck$s2>&,ܨ%= X6E;}g D'Mm}38,ָ@q-Nτ"ЃɊVdq/Tٟ- Db`MȞ2*~5tNt5'+nS,!$Wkg̓edM?,&G (zgYZ7zXZִF! |z]ŗXi%q,*y 5q}V=ӏRm{HRHk~zk s\z,Te@L~H#N;`6OW%l~>%1cZ Ǜs:䒬-:\k/7(vhYØ'F$7m^3cw=vأx}8AVAbF,rvUUK>Zsu(\x0Cpo];~q*X6 |Or"x9y oq|w(uXsΎ;Ws]ruW'U Z\0o'?#:L/㳔B;#2Msr!rz E#8I#1M P]38,7lRR,qF B#-Qje$}Q }5M9"՜j׻!^KU#1WZejA QCיܗ \t= ^q f^~yYRԳwzQ)&{ >ߔ&ra{3'@D'شI^Si5FHI"S! lQ &>jґ⟰fLi߉1qta:O*OHm|EEAmr㧠5IMNߕ/?U?yv3`Q-\+F{hK%ȞU2 aC>Y"3݆aĸP̖Oܰ.=@D~wX { %Ӿ͓=pr-%hpO,.\'8iUNJў TBtVvI!h\0P1zm,!nm_ۢ.PtHkvAY[H:VXVjQ3M#-|@ro([ 񞲗*SV͉(ԮV~ȕbVJiq]0ā\Zq+ Bw4"#4MWU|J$ SPig)bFϢWGRuQ!%a[ OgYZc360dda43ecdf1ee2be698d99ed21d3344a44f5dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2 c06e340e9a5837869c8676b73367de6bba1871349bc38b91f9f0344ce9af2942c6abb35ca6c454b2 = Randomised_Social_Choice