SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  > >7;\ ] HOL-Quickcheck_Examples:threads=6elapsed=67.084cpu=147.264gc=6.648factor=2.207zXZִF! _H]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl|6O-@!!Wiޮ~V3y2}Q(Wp-T6"` te U"Ej-qF;Q Mi'}hc\SHiU;b HGܭ #xpx1s鶦q3-LWݬ:~6Y`X˟fhb%g2uC|D X6Y!m+M9ՙi]PlEM?=/NC+}p:dpWL †SW.N匄DYj+` ̕۴0UZJԧ_b[xSH0vwˡG'xecr|IjQc%@GEo9' ~檛um__Sb UY3]KT+o!Uȗ_tmkcFUN6\I¥M"̙EnF7p^hyC)qWNx0ںWMCǮ! {>棝k-Ztr} ]-=P,@'NFbOjٹL,c/Tc .̭m(DW{6l>`\jK9LQXƥ9S<'z1+)DC #ي߫.ՁD>EG% t 8y&5^Qث "fi;dHܞgPJ@S+RH-GV͡\K\ikloy- g&n/X֥?=Д^¯@%+DZYk]bZ8wCv73znN*ss~FjVVjuÙʀXWF ~*fY;GD=L1~liuOuh6(h\jsod=u~ yD/w)iB;4\/4^nmj9;ʈ̠T!r$UӺ~{\N=GDDrp(4AC&gԏgYZ7zXZִF! C ]ŗXi%>gs C=j{aC0BF#ء2u'B'4A|?ZRes{ X gטX5 v)!˓0*߄ I32H^َ +ͪ`$i306&aCovK).ʵ8I<%u/*TbIZvuNc=2}(ӳNܺ `>_\q&pQ3,LV=[EuIEwS#Ak6'25rޠAP\SIJnDdvyiG;hwXp?bZP0(eEB|RHÌ+rP;꼬{MVƹkn ;{dEkTNDF, A#\bs-5LXKf1 908]G JIH))7)c1^jdx!ԈQ;2FA/\]5*r;v4Z)R *@ (0j,A*8(B9.R ).W TЉbmi핷5!)u@k5Y)G+ryw ;;ub"r$o`֦؞J\5)ҽ4ukй-.kΡL2 j-hq?x*ATA\kʫ=Ө+f,W(m",_Nw@ŀvѧ?9CK&6G9%pʛ!NNkgц\0?MFyM37ߕa6&ZXr}X1 q')gyH s|YI{ P5 cӣѩ5cy Um,^0}]- 1H+yD;G.?&lm}ΧEc3j<`o]M[1r0{rQj>yVD\H?ym}BpXKKZLf1ۣwd]105-ȸ̥53lV@P qZ䖲@˰Jmqt0X5D OQbo hREKM)FѩWM-8{DEnbIIIm'5+أ JP>+yE: aۼv3V;!\{5Vsj|=ð{pHϟȩQ7rI6ㅰ}q#c_˓f`Nf7ZŐ2R1zJ `+G:wC-Q⁘SmG L. XQGX2c C&DDij~oy;熁=VQO3Z8@ݧ_Ignr]X:3=IqNm]ftİZ~c{<M]bi]|Pڎ$Z.I3,.ƞQ#@wFeq'VPڏ>̥GJ)AQ ]lYtaksX9 XRn<$@4Ob[ > GG-98@VU[33; eCғAFu:bp^#a0,Zo!w,.o.k6i[nxUǿٱ@َVn;Se~@1%&[V⿅9p䇑'Sp% vb~]ȕl3]~zb HA ];8nF+<瘛 ,v_~Ɡ3W%$ra@U5vR ֢of\2>*9Pظe): LAU?̦/>5ŷx-FoeTx:2FxXt}Ǟ:,gAkOݠНsG$wV8H& U݄v*oSXt,lw.,#K+ !ƽ$~U>#J&]ÌZ=l_'K@ф^-hDI9nAey OR;B\9*8M" *A TO+L%z; 'ЮFk9?3>`Hd 7B~_8Jv oܸ/0o__k [{-3/Ѝ7ã/J_xb0jv͈>^P<2pڜ rEL5c9*=2pk!yͦ;ٲj3yO3``ˍ;Ȣߔz/dό,ypn4Dݛlĕ<"ݡΏ|-/:*xNRɿR #,XYsիQk#ъ2.ȱgYZfdd2606b2060e4d411b8a6a6f47f53f61cb7c44325555504e46b569cf22a309b1f721af8629de804 fb16144b26eb6a6115fa228e166dbf6a378a7734 68ed0c808b64cda14cca10657c86c1f3024f6f2b