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 M+ $44 ]/ SenSocialChoice:threads=4elapsed=16.658cpu=46.552gc=0.676factor=2.797zXZִF! J]ŗXf[&QpJa5bi\0/ n~X:B+Ӭl}(խOچ Q0zt\>*\)ꓘ(Q=D>ץTʬDώ.>ԍ؋J~:^?SJDW6\syFKj#P GS_QhY~&4QIC&0Z&(SvuY! JV"mT'$M6T.LIi:[8DK*'s%FnSzAa-dN'ؼ M ;ӆ۔<yIk$ -G>K<+\aӸ鋞5,hNO{ѕQpz#&kpb"zw8}("0?]ܲ[PR&"h] fS6T%M2S]) q}Dg\!`w%c+չ_" r9MV_X#Հ90ߌd r%TY&nEqvNQ{tI)jgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDd M_/Lzu8[[,"EN i6yȋibN""p<B 6uEqH0TZLu}>'kR=̪UL\fl)"|gYZ7zXZִF! e]ŗXi%B4} zgCr 4cbo7kx#Ӱk$oclCr'"h+uK(] sÐʧ|ٓ۩ Q񜺟AiA"5N !Gq-d{$WwZPF)iGoϩJ~t;.DĔo˝^$CmiY1>ak.9\O ZZ`({$|)&@*sG䋡)grsZV=I;4M_Qs;4A,i<|:H膦l@b[uLJ }f87=jfF6f2ř/Bl;?/LI[Y Mr* tz!)uO_J6d^wjоw[`sQUWNk:~_3X^e-ՔahiBjj9Ad|E ڤ&Le}־x17MsQPo߿c*L4;yiƆTiV90Ԯ $Krv {?D>fR6m52##dwJ8E(K`||dɶ33c|WF9Vο5YO= Ǫ@Y] zƮM}_Mn@tdC_Qj8 90 V##UcY>]sc C=/ c7O&iJkij p/I$JX(Dj0s8rpZPtVkGVe-4PG/*FtǑ:P-:=5Md *oc񁰵C(ZשaPZ3|Y }Pvs8Dq+{@ZMN]_y GB]~%-X1ݾesd@ҩ`yxӯ:=KJEgPkRJ:p.%W&1Ue07`$8/_qA et?D/gd9@Ա>;steHd> B8pX( 3[1hGڛsO,owVABÕH.{)d}NPC-sB0н> 1=gYZd190fd2cd875ea3ffdd51cb43ff8e7e8b14bad1a9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d + SenSocialChoice