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, ]S]Randomised_Social_Choice:threads=2elapsed=21.124cpu=40.572gc=2.224factor=1.927zXZִF! ]ŗXf1-/6vR[NDZ2qK7QF({#W,-EK3ApR u /f:8n8s28}g>j(WA,2qoR3~,T]-pm&./IZ.~q ֜7嚬L/~bf8~)F~$ Yw e ݙۏ:,c|X.C㝓,2Rg&e˽qHG%3 Aku|LrhjADSC)Ixfߗc(u 7ԒWɾB,GGc#-'ݡU]9L(Uzo3 Pis½)eGXW7M0$ir|$}\7=zc֋6Mux>D Ȇf Q(wOʨ>]0*"#}8d?‚T)b6 PL2N]tkCqܺCV4~7jŨyqLj&o\tsvf݁_:;Yͭ/bwܜBS`O؊<.:{)pCz쀬kEFʂ%<%ԧI;PT)WDۿw[Mfi*>;6qzZ M!j$dSѬ(-ɡcq;&  I,E*ia!i\;3w?!0G`Ŵ/SH2%gYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ONJ ,7-r>J7I^Pi[ *œVy|AN'wgmB'꺆?VW@nuxs=`\Yd9ՙv ה7‰|o^3Ԑ!s=W.\dFMbŒzi5 u,.L4ܘ$S>_TI\-adgZ_үJS1@lWzcZp 3SO5:#|7r@]U= K+h Fi2YXG[ L|z_N?Wbh 'NS7~nJQ+[r0gt;Eck*l,r-_ 4^FwrYPYwN)4`N˚+*'$: (̛'On[8*;z8NYJiX翼.ˀ{ys` LL' Ŷ xEjЀ`}octI2Q O`$݇WOY|䡤!#D{ڻx<-GFN6'HQ$d˨aLkn^TҾғ2ul|!^K{}bEk:1"_ؗ&JߖXrn7`YfpFR)!k.\AL⅌y$Yأ ft{}B Y_jAVx]撡#CyS6<ׅ/ׯ:cn›p]-0Ba&Gh>4NeC0 BSJF(s54,0(}U8S$)H%$2{/nڪƂ 7 2VXlk" V~xLuR³V