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  S;lL| ] HOL-Quickcheck_Examples:threads=6elapsed=65.558cpu=141.896gc=6.068factor=2.167zXZִF! `:o]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'ҎmXפ8}4Subd-ʝE c[.3bew ʎUFl X]pk8b.Yw p7p א E @!/QAc!^x eko&7WȾ8ނJBy(sxuZ-Ϗdό8 Vk>|iP%6nI_*Ba 1,^E GD0д'yŠUZFE=e_e8ɘfƥ=#RUt,Wqv&"*.W0Щ}11evaH8 Lh\jqMrV#*Lq\&{"#f,CQd; p12T*- /LKv з|ø8l.2zO|kyr*k%d6v5:a3듓3Q/7:͍89?vcA]S>͠G}yI Bfݕ23Cex'T`0 e-.4ivSV\iw)[n+V|mLn^؎UШh@\.5px+8##z0z2ZXUYkbBR#IA%p@te8{MJU'=cGm7Gx+k}4M } \gFSyCsȅaMj2QpjP=Z 6y p $輕d}n{ i糕ž޳Š+.3Wɋ 8rfnbƈ_tuY="Gm5rE / ٣ I3"`-[iΛ=0HL0f Br&7;t)l t\1 }Ч+ oIf Fp-\؅wITn'BW 󅵌]!YG[υ![TQYV9=*KNz ywW[fU1*ap9%/SNqK@jhBK ; HOL-Quickcheck_Examples@7-/jΦ I\a~jtp^vŇ)3vS*@@/%p.CTb2)٬"]o)Dky.] ٬?F䀑+A ҤW@\N7[rAMRC:<o3.?妄NIx箒 u gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW }a珧UsY1'Jٙ>rnS0~]hG$ҭxq`'ľkgU6(UV8(49PC^ d::2N1 %?FTG!*o/|Lu/.I"J7`Dc3E79(]Pb@ ̺ngYZ7zXZִF! 5 8]ŗXi%;mGLnxybZuUıj|-*f>3Spb쟂NK'/odaOB4#ɖn VXb%ok$!)qYZ9K-ͯ| (*^8n!A.^͕g롂JQwQb T.Hhesȶr;|Q(gk/IBt]\u44HzJc%qb[m@hbP~Zbfx~I4G}Clmdcԇ:9ZLgxϷ|Ԥ57׀~|l!&sȺT?x}šև̯B tgr)B"gķ>|zLE$g4"'mϥes|zʥ7JYR" 9.&vf+ijbQ V*i=bIDJŬH676ėjMP~Bm8,x8&} Pq t(:^C9n a%Q|S&8e"8V`B\J#%qaU~+G0*8ןug,2hxtG©>pkS 󐧓#?6ݤP3v*eַOSE{ڃsfؽSt_=] eޖJ.p*wn?s u斂lP[5ٍϺf.b2Oq{32 M|]lz3؊)U&2Ĵ#IE&+v^tj@q )Q*cW6YXK1PrEZz5!՜NOӊ]CpTGPJ z3F pXцf <)Ӂ ySM/rCrg6ex$x$6`P(9B/&}>U 'ׇpY(ꉈ!śy-r28S "\4n\u-eHyouj@jXPJ]UZv) |or}&+I'] ̄]qBTYj8֗qZO $J*"?2=D҉:S Ί]do[mEZmD9ο tl}EUDiAԁsu4YIyn\څ*DžQ'>:zH}*y0%uXhGɧ=1/q]儬@Q2l>b5i`_„dG;lwFGvY'48 s,n|I^k5N4А16&eg/&KOwY&9Pb W(@vW2a=UQنcɦyrkܜ_K:A[n~icHl 9W77.vׅ)Wwlu jeCq#?x~Z,̰=~)C93NJ(߯ov>%ӌp%k徦(,$Q.$x=-a&xzrQhr͞1a36;ႌ^@'(U\A _CN%yv%j~;H-̇kw"WLxt磙u6"~Z1Tw _9.D`Yx3N&ש#R mRSV=mڨ.c܂4<ҡW k bzf!(٤H5޳Ġ=vlzWG?'^QE@,{~y[W jkEu:ħUx4:m{8 M&SwT'Qqד*%In}!u4F81Qc=iibDK7s =ՑõumXzMPtkvN̏DVlӏ WH(<̀"E$TgYZe5c3bdbcd3653f176b45e776d4315d7d98e8dac133e372010bd93d78618052a88797c5afe4f11382 7daf0c8bd7744b8053173dc61bbf05acdc7970ef b6f41c0185bf083cb5382e1146e55641d3db64d4