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 ,# \, ]%]UTP-Toolkit:threads=4elapsed=22.789cpu=83.284gc=2.124factor=3.657zXZִF! ']ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMRb,:ݯSDEy)^1o:SxW˕%P߰|ܦh %,U#m*ȰKq^L9e}}?X;z"r³U^ԸgFRF |&PEEȚê+*u|YB(ޞ6*{̀W # UTP-Toolkit  zIrB -m>pXyPsYqlOd212.m50J]%*<߀$,p$_hF"c.!(MT/;˓_']zcUz4Bj'zDkD/MM~9+D&9`IPe"7eT0K 5LJvwaDԜ#\K?":깾+{m?%22mJasICͧQu hdiLb߄#kR4!QMyڥRd=G:%"(uSԥK >Y9d,sJ$H{.ӢmmңSoŝ,θO$r"h\j6X$&y܈ʾހ7XmI{C02H]o{HXpea% ŀv`z[h~ogPUNx!RDh7/;X.o Pꋔ̣V{(|p486z\nV'"fIn8VJ#Y _RS*90:j`x¤N>&C6@G;MjFX Soг.uPDn"j(jH;2nC ;0WfPD12-;K͑7v綎$_"=]q?E]R_- Lj:j~?7+jf7wo9@A.ͽ^mȲJBo'i!HY.8x#pLj@ը5"5uiʴeI$!< Ǜ_׹@} b`"9;1I&]'K`7P Զ iY &F gYZ7zXZִF! ~i]ŗXi%B۾1Os^:;!MB(@qY{CUggI5MsLhR> A6z 0%Z$#w f9KSZ6A`ExWYXvu)e#~58_[N0wCp?g[R WC#QH3 Rgvl7pzY?M&Lte,QɍmׇjiݯHHR~](dfa8!>i!z@JtH˂cB˫ sL|(EXL~x$ g$L>ҞʜC9`u8'@V wN]vDZ:EFX}~P2LS=u4k9*ѽ_FK fqz11jڂi;X|٧\F1'J <+;|@$J $I|oCa>̵" =$zܪճ|Qr7B_OH,WִDT"}1`m"cS7?`@bPcˠZAvm%u]T`:zX}$kװpC>P%Q,z#Y[5JZ&T, }UP\Z "8z>1W;_E*fp{֒"ޡB-$] K^ƳӎNѱȇ 1d7vI+l!X>o>]);FF6voUpQ%ax_6yt꺥GA'QϺ~,i2ɯ= E93j#MٴKGhHE_Afr(-<9!f P.CM^?YR!TRE2Htif-c$B@I8LPAtmKoE'HcK@YM7(>6J;CŐ5}Y:WTCb˼R!mkBq)@ѼKjgqpcH(ɟfGdpp{+uZM+8#jw>#B Kאַ-H{ c'RR1VdK$)k^fNENV%ilKBRDC `MVl8.} cw8K+u o rwN ͝ɽz]yF\PkA6=,UY঵$jjQMʜ}]Tl{50`tAp5zC,ߵxlo {2ө&CO@&H񩻕 $KGzEFbHifnDnNG@ h 3 8=o2Ȑkr8a#tłL+HC A/q+P_E9vF2R`(uZd/}D烄h Ôv-Ǭ@Yacܢo ~,Xq˓c&vZ_aW7L'2xXaD 㶜v|E[ȓm\謢O>pF?ZGCtC9B