SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 sIl\ E/ HOL-Predicate_Compile_Examples:threads=6elapsed=48.937cpu=154.996gc=8.000factor=3 !I HOL-Predicate_Compile_Examples.177zXZִF! \p]ŗXf1-q恈͐7ӺV )Ґ=Dw1eAxm68yDZih yWZɖIpa .jb;C?E^^=V?%=_fg(,*8#ٺaķ.~7q('j֤q╃-18׳O!Ce04SPGN$n^I7(iҏs8l:{v&x Č1"nJBu'$:}`fH1{P%&LkV5.9kȽ/:%[?"Z&̪.2~m9* ,2)=iJ gLKk֌P،Ys`ɋ企pl8!*xqr·&)$p\ t+b B4,&P)@(sF3 4v?\z7}W/N*K[#ܱÙSzՍ0Vg`a)ho]lk ]Fk:2xƊ!#14xm=i+XnZȄ,o,$TR 8fQ~)9) 4'+WhP`ؒԍ`HD/d D2r+tcW4IUpLEurpXϢv! )ZL{b'VúD9i> hk+e eO;¼V(gupwuAF.wtݡQ0~I <xR/,=؁yWYت`ɼV&ڐwl-m|*˛rv5كDx|q8ewDc_*>߾*;{e•<,q0{+7.*ĆSgggw3Xr ^(=Pt~".\yj-5?Q#(Hvo.Wb\4Ւ,~='l9g ǎ"dɃ$$շIMV@Ypx9R@LUu MB /^P5?(hj>l %@#' !fZ!OW-^j Zdbg™V.@_:gLz+A;I{k +&ጚe `ÿ4EvP}%zw[ ӉveN;[6C:x0 kL)*";\jcvsvΔcD=e\&58 &)Ll1M۩u`۬HTv@^DELg+pGx&z):aH/5\o9_ߘ\E{9} Hоa#P#_s ok0;}}R%*ZS ֚{TWf歩8΢a c0Xu:}\[/Wđ?NZFwdxyIr\I'%+Е1MY <=EdO>5pH<6Y:H9ᆣO)ls{_O|Tr_ _TBe#./$k3݂rCb#4v85O N}O}:CtB~|Aݤ/ɺɗ\ q:~k NvEZ0k0YtO|WW$=|H@ ) "Ej^TxE Pln `:kћreAg9 F.kE~M[?m`0J :Mf ʋ^$q7=|#eF߻a6AЏ%BJ)_W!qH<ʣZI;㆐ԹEH>GHBZD5'sZǐSʈ gC$B^I_[;*݅{v; Wz;Rs+;VAu^J8[W)2ym#`{9hF;A/RPؑW,!!} ԋ^b7$6ɽrueM]F@wΎn#(QTQot׀ȼ+zPL^KJܞ}j#?fJ8q rMCptvhl~EwRZ=rjooD_hcm#l\;<Lހe#QJ Ck!0=o_AL;r).mthȠ@`اVpMm#+'Ѧq>]R>b5cW߶չVUHe}#%z#asE[ 9RdKث;0 :n$SC k,3Ĕ_9NVu#h UXf:,"^Kgl7 w,WB̥TM8hO(%d#5ZG&u&$gj(s;~l޲H%`X |] |A9VMIdeWxF"C9_ [X8U1?C [1@Y$@u2p!  ,/f }9.qZmJ\!'7,24u.?3wd}BtO~NO/2XyXR#/@?3RSFD=:޽lJ ަIEDu>?Qw$5Ck%^I u^Ƽ eeuo#rSMoY"nqo8c g :)9^:UPz؏q# pQd ڽȸo3CncD =؁u&/oaknȪ~X `U_G= <;F{KjnXV,< 716lBQlq4Sc?]<5S3,t-d>Sa N;iUcs-N[y8}WRlځ5@vo88XhJar:O]Egg7TĕꄙWj()@)͹ J)UgYZ7zXZִF! e]ŗXi% 0Rז=4dj pω銂Pu6|˕X19ȺL5LEj0*2iM=Zn)]g6C}, lD* )- \.K{V7SKxC?|<4BnEgY2mWB[ür7Ze se9Z(@uDPĠ7Bƚffe119r\Σ;kTT7 ^SfN E1v$P Lw ڑkt nMWi+NTQ?EgxW}~v]J_%p3Fcg^%)v"fdi삶0_n% Yϖ}P jǦH C󯮨2 ,{#5|YN]}W ).Q/Axzx5޿7$DR1.!Lx";J:,Jwu4ҚUw'LZ# a˵Cۭ8O# gh~XA+te Fmz>X+=??7UlQ]l_+lIMtDS(֔iYqs_v|5w8r[oᇉ6APPt\*` (~]Q15ob斕MT2[z\o M"Rp%-BHC WMf5Xc;jI%KXOJP+jxŒS:$ ONlO_xOoQQauAl<؝m"H`R?òla@RC˒u6_,r ԕ{yH^-׭ TT{< z>\LnpBej{_4U8i\䛩 \&5eqkjJT*{;#>ЙmFv~h>JM| 2}s $0ɇlXn2٥ "e^08nWUx޹w yDsr :h \k#LαJxd,$&S]hL? \7+D vdɉv]bNi%Tq 4L|::cMmD = L7'E&P_)9CQ8>n-Q.#c@#+"Nlx?C(NyBOG."SBYp,;þ>m {>L'\cG lqCixڜ.[ifN}z>L//̼F\3Z(s>wp<:@Ͽw@iǐe*ܵbg18}+U`ф;Lͻ|@{$mpFY" ;#@ jpꡏ<Zv.;+<fJ N"-'-[pGw NgE%Ck SRB9H _iaRg=< p⽜N`&欛mMվqFBrĀk 1ك()]alc8Nbyu:΍0TCG7 sODXap/~%buВ3PLF2PtGك?, >8Fҩ0 H (G$PGg;.Vr@8-}Q\^<MWp.nGMo|.3"]2 _]fxF:|qmE]vMy4tS~g34&*s#_sPpƨctM~un8\}7 ;,L144ta:M%ûے:Wx$fF=~`{}Xa\$m&p