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  S;LT ] HOL-Quickcheck_Examples:threads=6elapsed=75.637cpu=173.336gc=6.752factor=2.297zXZִF! `*`]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlqZnb$Wh^A %`?̇J#-߃@s@]IS_ 7b*'Xx;zDr)w9үe볨Lb2`s5(al]crh qb}INrW*C(` FJ#,)OzZ\8SD}#yu'|ݷ^LoVK4zԽl$apٵ-|BqC؄yB[9s4]Q-7?e47rp/g:B,D$~0?r5ӫ&j k 9.-_c@O3ښ&*KBi:SsB,fXr[SB P 8fpHTL8^. N[ga*?b*wp"*'&Z ; HOL-Quickcheck_Examples  !7J[Lm";8 W=+ %\]SS+`l'"4瑔x4YJFPۥ+?DzY;@_ag=k%kNf!9W7Ó6k}df>ɴv>> +vgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW © <]#N `]}! =ή1l rLJǂp} iO=s3OAХjE L>\d7F3edbtV|1^hxL|쯞bLa}d_644 "qUЕk~ av4vgYZ7zXZִF! i A]ŗXi%@j%6BXcSY˦7P請^Xg1NOp1%= <Ǿ!)#=1Q(p?h_4эXeH?s)V;+1Շ 1A(Fzw5CZ>p\BǾ< i 7eW8zqOBV Fm^K骧,DZ"qSa-~O%Ii$[N#L[@#*w65_j+.wi$ G [C%@y2ˑmNY0]F>1J|gZ]V:ӼUHlh`?M}&&@aҖUjK5O:A=uXN S~Favtk$P^pɆ*g7ERAX+~.a?iAv۴.?Ъ1^ ݶwx7rUMko97)lʾb'JP q F_|'CtVvD4N,P-yCpM+Yt"T9'@ owAxDĘ<}C|z ZdUJ~s#;Q:<~ 3G][8{|ȃu̴J2ܱʸ#BB{£yòE^1?Br$QeL8h+ǡ~ZXچ'#q 9B3A;>l8xij_^Dgȏm^eQ]٢e0=>cJg]Gx(A>C5 PS:<ɣKd*I:tstZNCkjh][pfרV8ӄ-M$kl{XE_ֈa'SI@'[[EkM2{WYO ʩ6ڴUduT~E:i&цg"% i!';RMapMqjS< ›fcL "`a3NM36 SAlU#z Z$&caʅPڱtD =_KĬZsԯnTOiV4-jJ q{S~^mGL o7pu'0.rmUai!!A; ޻r">j\/7&]h!ȜZ|<~/vwqEHLB UB,&+ɹߵngwCQl)^=BVt(BH`:˒Md+,:`203Yo+ Eў3}9{@:(t=Mu}I3R.FYBqG0ڲv rh7Z^Re%Fܥ To#gB0x %) H]R]qL@"RRi注"]OW]jB$>\Ӽ¢l@ڸVld4JHH_a*ԱIH>h2/񪧵=gvіX/GCwzDpTTQ|fܒqVuS3»Kuh;;+(7*pvylV8x`I|"źeKpK2~7@? |U6$sk=76z] 0HSW(&Z{)zK=ިƝG?tk10y׍bw9Aoa"#Zؘˡ1 tBiA"6 K/B!sY/їg' ec[}D&-wq)Msց0n)n*x @nc\'Vc2ֹWMIhh^C=;3s*}q0z=-v`Zq]{O)(}rWJSQ|J L8^뚣l#\j(Є1&S-䉔xyzj|ݦAk8,6RJClR~R`~)*%wrɓM%8Y#~9^KrkY[d&nK;+ ˂4o a8Q$!}Ur^k9r0Qs;S+ϻZ[d-bč+ 6U?hWd6HGs¾i2Bo=iú^܌ C