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 J |t4 ]]]ZF:threads=6elapsed=12.365cpu=45.372gc=2.588factor=3.677zXZִF! x]ŗXf1-) enȈA"tr-j. ZbNVHO8J88tBC4:p ]-矽}ݺ!3c=y?ߍe !zAg{c5`u&}Έ1ó߿˱NHh"2%{sw۝ױ?(R&LҾO|2Dy$4m;*Vʫ cg L\FGȂonDȲbc4.^_gZKXcVǛѣ z>7yjwr gKJڅ$hF#Vi3)I *VʲnUH~&HJy?+u6QkO7#`@m9]EԞtxXHik_0lR`Ҭ2Dz=Q┐u%_ckUw$j0'2*O(4|tUXީm󍭟 -rmcjz`IXNl&Wc|h6_#^(CyRC&!v~VÛA"f2ԔI~=FI9Av_E&mW+]99O=ܶKzz\@(A' maEy,/GF@C=.TS%͜6eIPn}Gfw%Gi B'u1Hvj|&k)',bBt0k&H60MZ]*^`_2ڼDgYZ7zXZִF! F]ŗXi%EX}@Q:]{p8'Ή}Abn-8@:&un5we.%`ƳW|9Х(SwstzqT{LH}ʎ ux#noi)nfqpp٧l]󋟥L=H]8!Z9(=)Ċ)fKBNj D;G9:t|&zHi`~ukg?Ña2$凮~ъ![D?48K" zNu̵%v#~svQ˘4QyV>!L\W¢ߵ2btMi8/=!9yT I Cײ-rJW69^Rl\}"CS#R]aҲ?.=u+3'ŶQlP`e)EhEH90[Vs\ (˅. #uexmOpMK s&Go~sY `"8(ט|7(MJo1t,wU!*ԥ"o1О& oQz3SfR-/8i?\q'Iͩ?57u dDoߌ#mrbK`(9W.8s^hZ\;pxaW7E@,ArYHJcPԥ+A j\U88J}0^džkbV?>wNXoEϣOEǭuN}=@#ÏqY7[u7nqx@\ի zsznX;bGx9(Gz~vj'H:'$dFž8RDS@Da1OCr^'·D$5qA3^MX%Bm٧!l}sEM*5ep}JؠEaŋ+Y5碠Jc8x iMM>B.AmfT{HAQy'd5R#5xX!MqC3wKl"&3r7?wJg(U>2"_iޓ;KFeW[$CP ~E* nˤp O`̿qh4%n-:k# QA@$\~gLlLF$אgύFLLn60C[zZY\R6r.7.}0؍:=u"d.Gzq  gYZab644823969e7be7bf25d8efdd2b77bbadc2d1012659ecda851d7452b7595126eb2a4699eabeda386d701974733c03649ac24e4ab0797e814f93ab1c  ZF