SQLite format 3@ .;  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 Y+ d4 ]/ SenSocialChoice:threads=4elapsed=17.358cpu=48.480gc=1.240factor=2.797zXZִF! ,]ŗXf[&QpJa5bi\0/ n~@m \<&.UpDV>&WsC,/7>^?NQh[&y87S&(E8<w5wāۥc wLv &~ E_FMwr2/:L{zDM{F\5XhR*9*u͎&L8)V?/|{|ya㓻g&,ƾVJqy}3j5~0}e&1`0M(N'7gYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDd//͒4g.V@w*E0 sǢXL,/0h5run|8`x(S+^ʊ dTμlL&#zZ{n!"|gYZ7zXZִF! ]ŗXi%L mQc3u,Sz ؜Ӆ`Bj'D.xnAs R~A'0WE<4f.\&molwECSt!T؀̈H~d3<9eE]ˢMvNYqwKr)6cl՚"[>rLԻիA^_w"$; c57[*TM?vO{p16Q$  v,\D+o'Sd(P "dQDx J-:I gȖw-9ŪZ#*rN+(yO!Up=VY+Ru!B3[7SRx[\z=˓(JԴ#yߊugݥ{^(MEuW33)W؞25 {Wҏ1n^ Q P͍L:SLpAm3}zQjA7>:U pF[( ^RQr8 m%DI 1Oѫ`G2XgZ [X=گ`K/ Dja ^Vh#~-7yy<2k?mg=AXL\nd"N(+sôF鼖FM[PR7IJ/篹A0|V [4nomD#w`Wx m]'EfX[L\(p! IK]hqD' LȢ"R9]CWy%o,sx;u06j0'>DТ>ʋ|sKC%p㓋!;Exl~. qepo4_lXtb:#].ZuImT[wڕqx$D Β]>>ip#@^)%}#p.i2ƾ6ޡ!X﹮}V{q%Z[W5$:MʼnS޺ P(vZ5kE ? Ҕ'a,9\%Wb'^V >@Ly#\mL{$UA/(Cb/pTG?fxyuYc+myxJo.ܹk[8(Ad0ϸ}.=[zwiX-v})<.Y"X&挆nuhw±l#t(S砓Hdȡ@2:m"E2_ t)ƣs8|檍بW0wțZ(ğJ6y?wԼY61?g^Sb6(P;z&A