SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 [;Ld ] HOL-Quickcheck_Examples:threads=6elapsed=71.403cpu=163.456gc=6.068factor=2.297zXZִF! a]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋll'7fO|TaQ ndGXrw?/`oxh'`Q"2#r[ 0 PW D>[XW |Kᠹ/'e~7XD0/eJbu3YR v]wVP7/Q)xݨa{A0젌|Yrn:nhi+7-̯V)bJ[fF0P ^I=?"2GN̿| ٲo=wWƋ @!;G]{0HTAj+\ɠ]O8BUA1gLwǍmNTE=u)8 =e*˕r:M'N'IGؿKbBH3âRcAI>(,sP Ϣl=ZPzު^ %K{>&]oc p3!;kzC }Èa + f}}wL2-szDgAm]{t]ӸI>]k&`̣Ä~Vh8ֽ;A;Vgpvm2 y|gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW }'KX(."ϭ@a>kܦvK[d wA!EF8gj5 {}ƝLg3Cd iGE\!0Ѱ6|2YØ&wI'`5,sߟNdU|yίR~k?X`}:ܸ4-$?@/1yj,ؒ%b*DoG{'C <,ɏ9!bZhqisw;;F?:3)30/S;z̽%H!2Sۼzm??4q׉Za? gt^˱s$ݪM+#rljsN ; HOL-Quickcheck_Examples  LsG3֨pc`~s8uؾ'aU0~5?C青Ң>#YH` PRv 5ok"[&A)PexOɫ(T3);u49B}RxYM{0r^?$.@c7ēAxO{2 V~?bF +mW;*p_$D4bir:BvT$4eAF' d5Hj[jɏӓ#j#}BA =(mʿբh80^JkMg} vJ=8oWY%mz'XnrT{DM$iKRhW@.*sCx1)9$rcS鹚$˚,F?kȔb`~G5ABz6L DgA滳P˻%IڤxC`snз0NW ޏ٭1*p&z rЛj?6@'!7A3kwn3|& (6EQ(E"jO=LBm~ՃK/Que3z߸O IdWp5&g =$E$9 $LM. (;CRɹFATZ6tV>wHn嘐nDžb7y? lgn#qz~b[??FvLMNVT)b z@}'v~c#c" >q70p\G$Y1Zo;\^Yf9v"4I~/*eR᫄5Ӑ֍=Bsj,fB|*rQ@SbUVŚ\'wۄ͝ X\EO(A%UYW'AlMB?~v!^cG@A vxLA}:wʽY}Ml-DƿHbh0+K3 y ݦv PUj&BBk򩦌}Utz$13AL-idn9毌jI. 2P'I&Mp9 iS&{|CL vz+0:X_xzNnEosx&g !ʃ%(]ޣHo*V c%C-,6ߐLXqgJEр#`.큤Ȟ$ 7 /t""He+: <+U$pK `eʌ32/cXR,gFU+X$>vk@=hf5,U.-Vs%2T-u 7珞H@V"})ȡT~ɷ $fՏA[\: 㶲W4汊[&/˄>P7+7߹(bo6E/>O*4HXTYSݶ\0\\4w{&[8^>/,Ƃ(ea()sL%*.͸{mDBa4`]k%ҷCykP35L_CRÖX0#SiStrGQ_ePUģjF A.\ [9oVM$ZV&AjjQON5GG&OȕtS6$5kX|β}n'sx@JsͅD{g 7 AsҎn