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   a1 tL ] HOL-Metis_Examples:threads=2elapsed=45.179cpu=67.468gc=3.496factor=1.497zXZִF! \ ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿r#q2Rݛ?O_Cmʼ3&)?nD!īm޷ gf5<ZB9'vOs'3D,Y5e7?i8sbO?+,=&8GK6Y[I' y 3_2c0z("`H&HP\?ά^kf̯wUOS8q4g1!w*i3҆d fmN z2R[K ֓yxTZԣx 2NiUHyv3&VkqH2dѾo7]2T 9vM=f9Q\.KcLo&bN4~KBqrg8 g[ztA+-rd|'QY;_xj5mIڝ ? M^%MPݳBtWU{6J{ŴrB]ס+8̦V~lMMdx6B\Gk{+%Ckb;O/D$/<ѩ#m#]yו/]}NҲh F-RB &2u_Lkr!-J=IֲVq;).45cF7ׁ^.-&~.zErC!6 o$nk ^:SEVxKDi`zL ϒUY g5F ECLNxAb_ s5Ș 7iL;WH]kebf) R2xP6L6 1 HOL-Metis_Examples$h4zF%f[6(SJNo馽 tW˴nz65PB/;%=8${gsf@Z qTIETHȬkJKRu7M2tdfU~ORcƼ}P&o~x&W}؎!rDUIG\{t}^ d'`΃XhFǏ[}Ts\.Q9(kp8x"Პ3dwC1ي&abmԲ|>+l4jA~F FRSF$K篁r;} 'n F` /Zw&SLr:BԙՄ[q.tƥ#~Ah-)#m2 v57 h,@>~ذM>%lcW>BE:w60l~҄d!]wZy8+yTXkzD ̒ƙh$ z}M^w,k#kU Y R?=.&JYz&+"^ aꤢk0ϴ E돻ғަQLJ~JHeu+r_>X} nuuY.) $8-voeG nm"ȧlhWS| Y p1"-+3XK{. 9΀pqbB_5uqaǻ缾q2/n !Ũto+ee[ܴ#IORiZ !7gYZ7zXZִF!  ]ŗXiɟ1$Cܨ }X 6^vWn p^k8hnc}G/~+|Sp4^!?[DDDKA/1AV;X١ { <ڜޣZpk=^ dNbhՀ1KVsl40f 9r"w'bF]q##l9y-E7=`*,#86`K ÃٛJe4 C$|AѫgYZ7zXZִF! E]ŗXi%96}t ͦEOF`O"GXʒ"+Potfduiժ.^85QQZ}i "|Lj_Q%z蓹ΉYO+Y.Bӳ?]e1}(`2$I: xJXY~@(G ~i#ӄ NR-[Ydj RBNGsR#c&ǖPRn}=0AԾ !i[JmwquԐ1[RC jMNL{:5YB-&;GkDL F 8_5wX6z?RQȞ-R2شSZ@U]'6SLB=DE!5jf[rm=<~; .)6,$`]NDyY%@W9ЄZU3(mh`yYNj{g}n(M#f|PYv_N@ #uތKk5WrWR *ߔیAct} Sء-u,i="hсy٪Y膀êu냏`N@kd4oT6Zzo_1=-lFM!z1I s.SG\Jݭs;=^ڋD*OEwe'&;#Vhʙ;M2h2PaqVlRv_8Zݸon g /\[R<8cŸ9GyfY}T |i.\A_6mgտ 1+Z*රqR4 ]Uݦf@CeK 0ᤌfe9i!@XfۘLžiw"n'P3bTDÁ90`2GZ}~'ИD7A@bB"C%ҙE'p!Pɂa'QkIX/rﺛɔ;Zg#xDw1`*!c~(ӳ{8Ӵ{,қnWΤdMit|*&dbK?;˔k.9F#SeZXk! '~ d]>JO/˥kO\8O/ ʓP>X*b][T BN?6=4ʀ L6ݵi^a5| jQ dqv&b[(Def86C#Qy_]Q&Y"xl.zBeY@NuThZ҂Ky a[ъSukF^=Of5S^ܙHׇ+(l[߲?95B$3޹🠿s|bo%7/T繶7#/Qgs 1óK'#Osh:ljEPr[4Z\$yoZB \90F*ݞN:Wk12v{JLckDi)a۸aoZ֛.od +39(ŁlY;]" !Pf {je(l3C4UպƍO>#yh"I+-i wt4]bA@κkv&{ɀɾAOºO9 z0LJZ8x͵Z1 9t~nM cF"ǖD?_84X$FlWW <%ۀ :J.cSƧa_G{̄GF-.mu5D=\vU]-/1օ\{