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  #;Td ] HOL-Quickcheck_Examples:threads=6elapsed=65.067cpu=142.112gc=5.092factor=2.187zXZִF! _"]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl3<$"E=Xn0 5dď-BL S;1AXܮ̗mݭ\Q[X^~OeSjsfV2Srߋ ƾvmqȽ DqK!( 9eʞ8XxC/ӽ>D V0':.}Y9z٘w=NF4%zR{2>o/ me){LVOrNS r֜\Q)H[H3FdPvS c@f:.Kӑl<̒dȨهF  Mw)7YkToByEYZKZ\[Cy;^Al<?d-ZwMI{RֶeW^2*&BMYRT>ffÐ-)gNꇇ%92QG@nmcؘN P BJG[&O^Ix.s74QHԁ=AI%2zDW|,XrStϹ2-Awkv( TAkM B3E|Frs{βt~5,'_צ(s_Hu{|"[ɇȪ2[/j"Lxʖ;OV8U^VZ/-9z +e"FEb4j*z$%m]aIW!ÐGAApsw15/_f|fU|39!dzY˺ݥwhdMBv x #Ȇ",g%SN Xr} w!#E4D-es:hHC[-Hm( @+\),K,Cf J¢ зgc zaDF,y{/2.ٚ3xûV?tCXM!Οr0vfN?;Y +KGt`+Kַ?eNKC`Cοl^;y)QU jj] B>-[R_n{ZtbǻV*Amᣭq`#(OTf rmbFyRtJzAeeYOYA\h MPl64EI#b_A>TH&DDȒcNNh'!)ҫη%!EģOQmj , ξ3j²U<9E"遼qN%l}bJ4LFBA1<98U \ ;s !\l27 ʚ^Tmۢ}P7T\%* XDO铽xVF^e?wOiZt)!&[|VZ#G))E F{g1m"2!~N8AKIAѺ5ʾE+Xn/YB)_;Il1ˆX|XX=;rdkR@YMx9clic:e9;il֚>YԟBO*(Ě"x,Ɛ`)΋,8ڨ$ݬf!aU/fŕf[pol0vjQ?gU{χu^)?qUŅn);lq궠&u!C͚ހ<HM '^B@:"(}!ϓGԥ8t'[OGplgr.Ēb!"`Em3E,#/0v(J0 ׆]PB]nPAPEWP<ঐlG8ܵ&SɌMnۯ(sڗ3ؔ=E?) :h1@]D?K" {2>|= wn PW'AjMNYB띬ʘi>6 ֣S97IEkvf~?FvI/Kx˺pFƣH ONp$Smq/Cx 3'IMajO+p|=*?6Stj_8")x dIb^NCYOʫ'x{ǀtp,ǃ.ASKP!_HXJ8.i􈛹z}lq*qb-xAѐRH KTK]6r h_\cЦ߾A%.N{492 -"@ꓣec,7bWs2Y2'9*H3y%$ laJEET_ х/^-AF:ek`y(9gD"Mm/_F 51Ϟ[o&r2ˠǷmRx9dQpЄ/&ӹ砫v]wT!2}n S)qǁ!׻Ln뛇xXw'^!-. ̆y>hiuݔ7Ӹ0s 6s9jO;z1/So"C %ic{|ޥyp ~7rh^Ǹ