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  k;|\ ] HOL-Quickcheck_Examples:threads=6elapsed=64.708cpu=139.428gc=5.412factor=2.157zXZִF! `(8]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm?vr@]Ӛ6k&s1R!%uV 22>z*Fؖoon&RK񱱴HB$o` 0xnM8Uzs32=4ۣ+l=}QaGvE%owvs>8P9 /~EN}j.I℄ed.H&hv|)N> F; EKNB)Mv->vil߮*:]'cKsywvD́RQۉ7DחF.WK8ϟap OLhbΨGH^eg94uqwo?RW( Įi sM/TLdvˀCxK!VFG&sC~m嗡 ɾ>T`L:y;Nc7`=+4vmk ƪA:h=or3/1/ + GL@Ʉ B&Wy^UjTcw~V2nqA tk Vt%9{]z-k CÂ<;!+[D"5c'v.ړNBވ^E "iaLw4+VQfwJ31UPcքH)|zerZޗܩJ)](r<38ɕgV"[^JHR lÕgb|L(e"2-CP[_N|))kxvu"+x.z E(pnVv cmƞ;hK|t_٤^V mXk?M^Gy\?;mEF ; HOL-Quickcheck_Examplesƈ𹽈GohXicgC ^ IuO ##Y@j!;@9 Wsl)Lag|NtX k7gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 2 Ž'EK\9VG ]zKŶě[C5dOulSәn6XD+p;"%@U!ѹܠ|úA{"QPҠIsO U!t_D .EG4ș\㏮P1G!o&Aɪ]BuDzregYZ7zXZִF! 3D ~]ŗXi%9(O0U_db H~\S -9+L"4  ӹ_nnurNWV1K;kOv1)۳V&Ġ*u=fb 3y1^wdWkVfwI'Y˂)n\ oںf8{Ѥ ׄitqbKL.Lt`MtؚuY:Y qN6{( G=!Ob<9Nl9>c=\p\Y?]|?L{=!#d#׍]%CO^sA ,?7J%xi=VN'Wrꉤ}?qHĠ0 L&K3t!#<5Yـ.FE^3G#+4 /[o9MX^@2!~S\5=hH?[ ?$E0V]I]p#1*WӅsi(8qzh?N S"֦RhUQVڼ.~BU$/ ~+`-%~tP9DŀآC&rʼn)~8Q{Q*9˅á"xz[lzgWEj#],B~*אKVxm+ky޹jӬFN(K\kwNJKD.ɭk6-bzv*s44ɡ1E)a>WV O,732c5XdhX B,C؊q6CBTeIFq\80+ݪ.I s5jލ<C =rW/iOVKz(l}Y7)Ӥ`U2߼9 { 腴/^QZ&yI=aep9߂YzY):݋\9g+/,t7.>ƌMl[R)m@] D]#JylI4΍cyl |4j#sFETjkEA/,Q$ HGSj*Xis֑^;4cܬl|1^ȋD8CpJ/SV~3i8BRBD{A屦"x,akU@b,6JF{jGfAÀcG5 ҾWM0; SI>-NcxuF,muIΜk]| +K`)"9<3tzߠ|V%Tl*и)}A 5t$19܁pP])+i Tp*ǡE5n\G#sFlk0>¥"*\/`T;4CWi"ހzG'̀'m{1>Y*d 3 RΊ?J:s?D{w\ӰwQ(2wڸ{! {-XƢKZ|x2 O#Ep5]qGqƫ"$aB%ĀлBb3b]+" "Os7͝|hCc/޼8X UcNБ̟r@߆ljW}`]K `6) nQK&ҹ'[rm/ \E!;N{b4$ŅPA k_`%7lmWY}ulU2:1:NGXs4Mp^N} Q_vªu rX!0ftFogARܰ2qN!mpLI_"D Bo2pVch O) ÖBc66H3 ivE[x6&4!̉*+u2 H?k{/Ϗt>Xqk/5yuyF ut]þhgL,C܇Co%.0'$@HSpk҂b"u Ԭ Y+7J4 切?p;Ij'L^?tg6\k f[ kB]&q֐5#]QP} &\&u iBj*-;4|/{6>Z$fx+ "I祩< I^DR7r0|_Pw|hfPNnl&nZa[cZ 6@:7K"}I-`@rmSgY&|OcELQg}{d-gZ #HxQI0gYZ3f804ff91fa8307f7a7fd71f51747244775b8b2b1b1b23cc4f026b8efee00153745c0e90f4bba172 6b2c41334cbdfef77e5fd462241eacf1b847aef6 702227a203ac9c30e306ece801105278eba7c7bf