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 [[" ,l< ]]]ZF:threads=6elapsed=12.262cpu=46.896gc=3.192factor=3.827zXZִF! 3]ŗXf1-) enȈA XR„KǦ5x@#BuЋB#Z UX Ӎ0"W:ǭAGtBo6 +qhM)!IV.!vr%2 ,bP~Ў; iC%F߂ ŽtĢfw;b6/_?@b4 fCH6Bf3T۴9FV~o#;oΥGh {Q=֝=vt|ƀ@xFkE//ᰈ嶞)5۞'=YX- e2Vp٠Q)Tj)gYZ7zXZִF! CFV]ŗXi%Edx4Nɤ N>|q'}cwd'u3JMq)m%*xB 0(izO,hOg@H2d IEd *)3Ŗ1H~L2NYS.>TI')hLUߺl#bORHT猏YiGBd=ja hs\a|;[Ћݦ^`XPVMx{Ę@wLC]xf GE*{zWwlm Y4^ȥ3GQ^hnӇzid放M©jH>UZ?j8V'ÏXhn3-:b ,B\0$!6|rq3@n3j_O#?}c'!X@~٘bU6T%I_$әGV0tjw>˷X vjsV(cDf۞3V8acvWjңZR["mj9}Tdl ]αF39Ezdųï\+6.# "P,5]'Bj`[l1'S1W:Wa/'Eub-, Ұ|.џgZL$jV -\ n&)$"xRGyF z h j d'x80 ]"a*SWpOS5 -IW$zR bkYS,$lBIs`eB D`Px(E&n#{'wk$Dp8+ nI ?fl.vՎ;2XUѫ+kGCҨQ!`-ͩ{ C-ŕX"]8:^9T\sl~PdBa)[ > M+ ~ѸxGS N64LRD>C^@eVpU=D;w,@F7HiBgN6 ̮j oԤI)nK(0d:c Bt@/jvr -p75AH!5:Q1ɀg;~z cD2H1JDZe lmsis6j-.M٭5g}Wt;-4$|,{ƞ37SVThC^nPr4WNe tj ޘ9U@tE%L4<&WSfhf:Hҭi0ʾMb U ^9fKrKϜy>-bѢO7ȿLN9>\`)^+C([{.*U0p6t4閺y\WFEHЩ+S3oUDl<51pX~ZwЗ:ՠчa ~۹ r 0u%hm̀3^͖;G|Al^<8%C? Jkc !Eʩ}3{;<{h1zyuGb) džIgYZ1e92d8b64ae64d2fc44a5f96f56b694c92c65e06033aeb80bf9e42a1e7357299354530b3714c24e41aac92200eea811c46a1037ce343c67f7486e403  ZF