SQLite format 3@ . BBh77otableisabelle_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 EE8/ T$ ] Well_Quasi_Orders:threads=2elapsed=26.185cpu=47.984gc=2.556factor=1.837zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫff6 :ޯ*_y~]9u[][6Q")%m(?0{in:2Eމ"]IWEn>kk*TG $RR>B`xcIGxUE e6!\*>)5#0kaK*Z 'f&h},9*Z\w^yNl|]!37"Lsbzirz/KT;NR|#bMf7 (U Z{Ƭ8C,TINS[\W,>g TDqYAa6me׿L32ˆ\BajoXN44/Bv JDGyuZmU07@ѤvZ::8Dm_!:Ճ ]$E6;iյZPq#Z$z"M]}0w앗@<)?КC[a m Cn{ĶN$ ̥13ZO&|l '%wg{֘k?z3+ "=-Ϗ &,4,0HVEa VT SQñzJX]fh*G]߮y1[3 碍o"U"SEqS0vqF`zJap?**nWZFtJ'}$ank:0!>Ue(d'UG@(PFU],)ntw%1ENHyj @W,{Jk~=Sgsݯ5c`gYZ7zXZִF! 2 ]ŗXiɟCrhi^IxDY?Av|3(듊0j ^-vۜkۮ^V~دlG.NvLZiexu?+yֻ*v@ ]O1{TI?HSr4/;턧OIB-qC}ʎ^}v%vv0iOiޱ͜^qCm Qъ?ʉbNk̵%*(*ƻ3MV6+MRj@dg=d^qRF%DYsI"& HmrR Qڴ8S2O iz*8#[( I*S>ބb"]ZeA `6 <-6tQҾRހG<µ2,RKbr\h@@ I74pah cV^#}dgT-MtuTLgYZ7zXZִF! B]ŗXi%9#qqiM SIkbQkS1NMC6 ċzNY\ S 8SR+&eSńmqya-ūc,0Cf;y*eG[uqnV&2Ks0RuX\գMPj륵''%OW]ZL:!Iujv%Bfc(F5C ើTaEJ5JQ)겥=$}~q7鍙 UXTtr"1mu^g8 %{rA2wֺzc0P'|5gkc[joٞ`㠼bRlWWKu/{{,߀{6`G$XK?EdCړ8̋KX2aAI>Pm_Gn 4?ݫp6Sփˉ/xJ2d}a` ihŔ+y0u 2{^]>nƱJr1;Q+sö1um0nDp=gf5'v'RhN'0˳B 됮O‹{e|QGhDCmLNyj-(5`\cřըmI5ҞA9"Jh 9GMT̴G_wKA .G|Z2`Tg$֜!|lW*o}@kPYMc/!&ub8S(4Iv.jfNg"HIgYw{:/6CBnyuRk"h d|ϊSGbpބĒ S(}>rگİc]u'[^ :dFӛ;͙'A85xgzӻuӧ'2Z9 D3FjruH픹KM_`zL$%y>V $ͅcw(dsx%pLD,qq祿=ˈBSGjNUF7} eطU*>wSǑy"kRѽ l*=sR)bjn ;cl3IDLyVQ&E6Η31-¿Vuء`oSwG&"|>1 y /?,@8MLB!O3״sccsT2Í 3޺jKljv+0fg:à8&|c7 0r [xhVc)RQM*IS۠\xW2?w"un|ި!?BFpu[ SxW gMd+->Y\e#B/zXQp$df?Y]{g!aCeH1EƥneoTqE-dcFڿV!jA]9e",OԘf"VJ Zn `q' C Hh^p/)z餜v!*V\czX%