SQLite format 3@ .0:  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 hh+ |,t ]/ SenSocialChoice:threads=4elapsed=16.127cpu=43.796gc=0.560factor=2.727zXZִF! 8]ŗXf[&QpJa5bi\0/ n~@m \<&.U[7wr?Cʗ\Mk`4 =#OXr'kz>ᑚҹ .PH!~o֭UC/:z$I#f8+ϋd殦'Bp sfÇ[%0K?e=*k|WqQѩ1Vr|TXS;]Gحg=N8] ̵$Xh[~r)5"(Z^9,W:/|[z8[e N?<hz%s[[Gt^$_HEn'~܆rFr@F9-d0D5~| dE.rjœl~)2µ( [u$g,r mN! s0)@X+Gq0ɍ).?b}ƹXf5zm?vу PK'%M^fZ0 :gSG̕2o2rŪɅF{) gYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDd`x&8F+];g^)\wu5E嫔jY,^VC@כS_o3׃خԻY|8 8堘'_gYZ7zXZִF! r1]ŗXi%Bm/<=>C䜰5R_$wP3~''/u(@KӌEL蔓y`MӮE+B0̊!V#+x8i=QZuPGneutIy''E$KS h =iN);[1U 덎BGsV3Wš~o Ru] T*yЋ''_>=>^Uv2EW?z7p7=+AVXxL˽X1;(ږ(W8SX|ئ7) '^+;7A! Yw;KK4HսRL) 锢~ʊ6Fzy,50$]Kϵ@r}ٚu`@`xy\mT6NSذbG2Ox*=S`{+;C{;^.&micuğcW HikS!2dSH͵ss̽^f=M9%bIk[TkB຅E"<O*p;JnvAʹYeE[“PITvERʏcR.gw&<o%(ӛ"*ډ xAFPb>MĤ$Wa߽/ "= w۾qwL.=R*<"Lx+,+t`d~Lg hM##_P*: ItִOE {X&cFN¡ƁAoTo2X;C,\WWc`%(Nv:^8~)Jܑl!GC2ygSo<'y=x47 'Gbx?Қ> H?:Fvs Gd1w;3ncٔw@RMKZǨ{<9:aQb/: 7{իd!UdbwqR|Z#*x 1.93P^d@ΐ[9 ,/S c'.p^,ԁݫgq/QlRb8ċHwA+^K{8R_Eryz[fRse?#EBV1ZQЦQ 1}tXlV/*&2;Dh#D_ ^'-L816{=&t>)˕H^0Ie8†4Ϊei=<&eqdf.j*xvԸzYpЧm'cCo8.!,VY63/8慂4=Iߧ#3ӭijkwr/&_U;Ui~*(0O{sv@Ul%QT&-NU@bWoԅjgYZedded7e6064b31fcd058649f9b7c2f352c00936eddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 + SenSocialChoice