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   r L4 ]/]Nominal2:threads=4elapsed=21.978cpu=82.296gc=3.416factor=3.747zXZִF! **`]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟UڐEBNF]Ƥ;@]{뤧wN)ju tx<6Nn\2B*"#1jʰ4 Ў#%^^Lj;[!tz'*]lsare3)ǀ([2,?aI7O G1weo ӰOi_ lNf_tb   Nominal2  I.,5:\&vP*/U%;ZShLc*vkL) -Cx6l7$ϥ~gW_PUOv 'Al z Boyє’- T~_™aR¤\kkYMGC,*YekBB;^XaHȟ~EBg/%)]+ܗEk^<'7Z^~8([)CyĿ@XAѨ?~/f܀HMlf 1d'6%P L6 g $]vY3E2c<[\XL DJt~m $zF+7Z9ċސsg+֟Μѫ{,-Ē@ll̜/IZ]zˏCeTW+XxEУ!Cn&qą2snW|5[l2ocn+a`{nN4I! EI$)|%6sCB  I1 ?7Ij_o\cY+ ޸c8o|o}id.59YBT^T#oϫ@bw3a0ϯ~}Q> X](ڧ]t_(5[8oIDݾж1_ [f-ƺl%cI[ P Tv jgYZ7zXZִF! #]ŗXiɟ1˦r.Hil c`1X14dsx&ui Á:5oMDW~LDGI5764RP7{'ϑ۩qn3"cHjHkwtD4M{<%;d5o.:4֜1LU/+גP&2k˿n !x*.G$@+~Nj[[ƴSvB8l#1FiTb4/G{] IW(xke[%NxI+a6z{ӒCsqI˲9u耗!ie~g_hv۝WEPҜyhۄp4DLGFI}*-TXOڳ>yHQT2J:/Q}}IXцIHq]6Ê92{q4 dggYZ7zXZִF! ]ŗXi%BjSD ;"A&6Pa\ !S\o:É5,=Ji T;4`k*RCb8)xlzl}b ig~]Zx*uJDj_40T?II۴X[7ux+E/U<U̢6xH_b.. J}"WjWo31gz< /4*ȆW9oY 6!gw:͟]ZFPF|YZ{2a;u'U|[q@HѲK@¶/M&fY &!  ,>DP=.klk$JwG*듭zjG)1kS S>$ )!}?$'GJr4`işFLaGϲE6VaLn# m(GZݬ-x\n2~kVͯ 0Hޗ:N1nYvjf+ EVMO>L U?9no_,nGt= s W^mRZdP{:]dtig߱؎G|s_s<.*[+s&Z#ԸLM}V^J  ' W I>`pC C E_vty(QPi%mr7 >q $OϜ=$gM3@jbt(f.1K.w%U#s™ZtH5f j w,pz$6yvw YLl)cNyHY'a- H2Yl6;- eL΍IF$hvMXqHoeޅ@n@AD5)g \Z,dͼ4a źh)2k[?qR1Bhcz+57MR1&v5 @/UDN_( &yUVӤ)[ه8.;6SQn| }JƷuBs2;У4Azd; FѼnFMC'.ȫnNaڃ(# Rm \vJ{y Etz$`ՋH#.emӼ)*r[cM\1HEuz=~o[-HvkObػjڰA/e~۳^y 57x96DiEN'vXQ8^%,oF@R]{/5c}m\xT-5/ sg"[ &:)\b[8}{) AeY͕A$2a>GPgΎ`Dj#ɫTDhR^5$7gC]蓪9 q% EN7Z ?Ûڍ Y3"<>yr1ȓo3˽%Jfck$Q(CIY>g9n:yhUEz:E0x3vY1 $R('j3@?KZi ԝ!΍y A7Pz/-Y#i?c1U=w\zO$oE٫*δVA֚#)նε1+gYZ426710269f964106ed8e474075d777f50d6e78eeddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022b66d4c6c51804f6065c9477c11324e0f4594bef8