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 DD91 TlL ] HOL-Metis_Examples:threads=6elapsed=11.987cpu=51.736gc=3.172factor=4.327zXZִF! Ya]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓 =J(}hX^)Hݡ\uhN3*(Ws1݉-"^$Α^v(`CIqY99/ e,im]3T{o\jN&|ėzUtje{Ys'BH#5FPmDGx 4srN_ϓ[L&'ĩ.d7Ik$mAҌ!iBT_iDp'awc$S6 )-38W9%c:dXS9YOf o6z62!xz>2џrZo}aA.>^hKI BĻAv9L&PI8jgp׾)gCދiP|3eKLUD>ډrs ~- =klox xy@jӣ|N Nlj`6ۜQlW tox}M٪xq΢f ^ftߪאtv"dsYX7Sw >v:Ztć|f+,d/LJi =[)/.Gs$8*XC'ŏimh/'ʞfeuG>#KJOF d _Gk ov~SUi;8O\Y"AY72W4lp0f͉1Ć~PI:"w`$Pk60  *ɇ͓;k6E1k?P\ #}XF` "w&kpcK{K(e,ϱnUH uP?*(*8K#[Iݓ~M&(rX>BIfAǖ2vw1>tx75a0# aʽ>{#shC:R)=?g+f7zJX+#WYq8s–jx!~wIp&Cr9ʹCdH&HE$w˶%9\h=fswiIUȡ*8+"%棙UD7T rr_mܕWuj&c{Bm"JOLօwr3T"c(cP'P,jeѿ)u;Ƚp`6 0yϒN:s5=Tges]Cʋj|{x]j`Ք(m&zep8D'ZP[}&,HF>o |(gYZ7zXZִF! -]ŗXiɟ1$Cܨ }X 6P]!ẞ \QM3|kt=oQ0Hc#Է . f^[o=txHo1BFb\{10XY<f4+մ*}ňw@}k<uj֤i Lvy089X'^t x(D1 :˾zBYw^[J;ʐr7ZdXN|]e? L?tWfSMSڿqni#w/6"&B/] ,Z#L@ТgYZ7zXZִF! 9^]ŗXi%96è6d=d@۴0qgl)ʫAB>c,u>`L ٕDtKS+JZ͞h&dg#ܗrCr,+¶?6Tg)rPaݏ)UqA<meʭlx Y;G5 5 Bg"Lo-0}P\c@GK5Z0IǠ"l+y!JЭ,`+.H#WB )"|:>Β[CUb R8 I}yK?lC6o p4AVr~U踊;s4iݵ-}tigYE, `FReAK@d Huu^[&{2B3!@!~5͊ 1,+$_1;7yx8ƔE0:{Xu1#rӾ"]*g{ ! ucٻKMյFLkn@ƅM0Og{me(f']3D])~Ի RaC=NZ.ss"9/Ϻc$mUSL%af8CZ#iʧr go)w ?^e"c"盪θIxݟ8m82z 3C^lBS{`z'O**aV}Sv17hg!ls_ir\>Kzx\wVR@V J[ɬ{,f mSd,mڣSh²I7զkfQ XV8A#.\ NPG 3Wc gGv @&W(x`g| ɛ.]⺇5Ut4('Z‹ DyF=cv_U{pʤX+S#phs`?q'b7c%K *˩-b=ea5FO=\HQ43`X붢M# Qi kR9cĀ_a},WvMfXL Gx ݲrބ"FU7CmZk[2*vqz<[EX)4'% 3M3bAKX\hO-7ۺ RcY.M/TSv:C"n4dBo~즊hT~Z_]E*F_3+e4Lp+ɗ b<˺Fd,Wő"E1ùG͉\J€[r,7#f/(XmeF5 r4-gYZb15b06f3643c440d614a3ab23220575952c8f2eddb03750a2a02524ab90002b6aa2f3fdf73801456 44f4a4d21533e163309b3b046d80e673f2dfa115 feca8eb19e6906919bb5f8c995f7bc97212b6f21 1 HOL-Metis_Examples