SQLite format 3@ . YYQ77Atableisabelle_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, "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  T T!;Tt ] HOL-Quickcheck_Examples:threads=6elapsed=64.401cpu=138.648gc=4.808factor=2.157zXZִF! _#]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏv$AoӘF"Nx}z0q٠~U-z Ɵp;uvc3#]0'°/-:}`=)a߻ڝR{T '13T V3DTCQVʎqF 7J""_>jF?e}e+# މxE]ZGЮ!4Nfݑ5*Ѐ=^ڱP+HA~iV O&4nu\BMIob zdtϾy (Y׹1dȞ~j'eƔ `wW&i>t(3#{eqLLKi`EQִ6}%Α{ 3~rZᝮ7NȌZQ{ZF'd-%'V~Kt;FJa_j-E.^FGƽ~zY#LxM,w.Meoߕ{|SN껂ZL_ !]~Vc^VVwsXhҳz!?mjv#';I vuo\2QA4{Ev=81킂^|oc[6Ǚ|Q.1 ggIW7$Fo:"mX <3j+<',W)++ŷ19f3U?j|q+1j*:%@B,l(AQ/e:RW7-,-S(zWaꐩ<#&(#;6DypqPM$꧋`%gHf2*1bAqe=DA#}ȣ]Dl{J'kmBg{Yf1.t:b2ӗswmya%@m"!q*:Nw>e3&JQ|39z'E3xT :isCN ; HOL-Quickcheck_Examples_y8/q⯮vQ=«e|4ϻ^1뼉 D44yMbQLg%G瑎gG)0Lwɧ/u>ʹh]M:T9x?*eiء\J[`+(ޱGˇ-d!1+"X > f]̈́픹"ق?UQS+ڠ97,3|}P9M kO g;} ཌྷIEQa`:.[`މt78^X?LPǞOl^9²)R]=~"$4Y!Sٷf%30Njk'7r8415Em苨q" yԝfYoߚihixtZ-Mc`>"S, +;Y5p ٍkwpuiF^nhZca{gm ? )DZgYZ7zXZִF! 1 ]ŗXi%6Ʀ&o?wTkFXh |{9 QmPHM2g ӥ%B{lY>s.TB߁Pp>:7叕l7j$ 3_6%7w_!њ hxX_]`hH<Oi:<3H$ h3EeuSULf;r~KCoϪ]8jն'v#cRo/^`UB̭<2"؊8sG+X6p*~Sب Ͱ,.w )1h*ᖽvhp(7gQ-9?ɥB~=d v~,HS4@9gLv*X-UӁR۲Бaρ )G"Y֙z-U .qbZzHDhx'Xŀ\%]e#!β}/hTNWQTa7M|zT|2#XmC 9j  X5n,/`!(ΗL6&"]A VQ\$""$iUJt0 X=,2wAق/Oem_&Xw]l@SAҁk1Hskd gu#<+_ ^1^PG%xAt D]ʪ<S ,GWÿIks wt^a' j"%A, e @GM3Ea oq%ՈmV`bO^'F>R}sؾj8i2S@BVU藮H2,oI@"f|' HE WsU~|CZa'OmCY"EB1wاm*HHq?xXc`XIdu3}Ǎ1EL2= ,3ԎàDEd)/6zC"iKRl~`9DEH`-rK].Å)!EĐCOTTuEs)KѰ!x0l_M%~EYOCV|%Qqߎ<>#)΂`k(x[Q~F2fxV|e &/>;W 6Gٱ z,v|| Az[܍+>׺aՎ:z8Fv7-ݸ :`1{#µEv2yŁ BhjxٸR[i]01RM7U' Awzg`%2l gH=㋖ybZ.0R´4 2 Qp\0"_Z|^b7Z? 1p{H