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 + |,T ]/ SenSocialChoice:threads=2elapsed=22.627cpu=38.372gc=0.864factor=1.707zXZִF! d]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HhUJ fS{  GOCmU22`^8;OH+ղmV$J!s)H_X Fc9CQ$) rR"Z_}5+QレkY%$(V E1t1L%ÅxFm ,Ʋ++mJ/d}LIq۞$%;4_J J΀,pgx8k]=]v:YY:VeDjYzKi|?ܸ".*H-\(%uL@t).UȲ4i\Ģ<9W֕yS\ p@ bl쀁d$D)Ce>3l*bhɊpC$IsgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDd;7<7P b7 z ;ʩLŭa(`ZN,w)`Dmhݻ%źPS鼠iP]%/'"oTygYZ7zXZִF! ]ŗXi%>gEpn~_w7peAhhYƵJ8V)D"g#J?BW+%eImǓCr^x9lG^p)hqf~)Tm$SS356H&>o6I/-f*=&ІC\݄'oKIx5(JdF@g99 o:PT|oLPFߏ'N-MIN`U:]FoedO)\A׮3q>qiP* 4-@+b@ unnf֠U6exD3kHO= N(ixRcEwt_yvG.$\{͓"+CzY4INJeokm.]8P0kf(|, qN:[{ ";@dmE`rf`e8UY8>z}l=aW@}"d]A\syjMfZUfLzr3bzֈ(u+l'e0\zinв>dI(wҌ0ڇ<@6;Do)KET޾jK_CL uŇ># -ehY37|IĔ>~+50}+;i ҿgCwD0eXQ}#3&OόB Zzd)O~/ 6a" g6h wEW o WH%qcpn.E2IGsH:/ѾȭvL0ĵ},3؃'S2hlZS~,sTYz`UKXSjKh]bc3mz%uYmfA"Ge=Nq k\s0k +7ѵ;r105ɜGWrk\fT4z)O|8N=W{|/j狁SFO7 p4E"~8 yLyg򯩣sus<ΫBtTi,QeP?'R6#e wƦqPFD߈xT#6"Hx5P04?eltu4+(_ ț4vK0 6% q"aPD.إQgI1|c-$8;[i>;/xGӌp.N:Wo,TpT1ɭ6 L"S(BEVVDdS(LE1x 5[yU9+/6 P J`莚B