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  6 6?;T$ ] HOL-Quickcheck_Examples:threads=6elapsed=63.970cpu=136.588gc=4.808factor=2.147zXZִF! _A]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm@),Qae,!%E r) nc!ܯeKHM"x z<ʞ:.\%*tV[0y n&YH-eཾ | 7 aTo7\*8: +9ٳ<"g',m(Kyl]qJG6T^ ܊d'gXIt丧lEg~նiDEKN:8ɦ0m'1~^g1FTnM$lc md`W]]R^SZ`-Xm'/Bnx[wWrT]f lYèQç+krt!xkBXFJ'C~n-XBJK558n;'U6W dl2=,1P~6JA¨р,N)f_3U>;1/v9Zy]0vg礣]8,PR՗HG*ƥuGv%AF"jaBjKuov{|ZI"5NW~՗7H5:>mJDTY3J;&]4BHgG?ҥ3{YG+58쨲^64(>#T0EdwC%Iaz-~_ rdi2dSo 0p]WN i]jbQTJ9~SfvlZ( s7[$nN(m0. ܒ\l/vWf6+S@((G4vexwЍPjR:el: ; HOL-Quickcheck_Examplesi""B$!5 ,>U1X[J/ԢZ{e3Xj-AGV&ޞf4<7~$ڝh BP'vcյ륮u9Nf{f2W"{ߣzHZKZ"qW8,Kw~&s`- e @A7I -aĽɦ} } Z&eQ E,V|db w8رgYZ7zXZִF! .W ]ŗXi%92t(pT4QM#K[p` J;r EzK {WFD N܏𑿊TK98@3 W (ΦI?wLHs$Ga eJbȝ砯;ۜ*ex@3ud ܝ ζAW'2&(M|"Q$s\lj2,hCûnp]Q~UC'ap>%Vy|m&Df$s`7e:Em -э^%pD%C ܳe#f̷(rx Yp΃mM^sHoA>צ(n*[Hmra U* /Cm1#ثdwj2B*QܳTyJ VϾbX%2˹55)ߙu3)4hHKK$vۍۖvF2mR&l0͈aGB=O)7Ͳ;5ӍSsϾO9򆈭7N˯=F+: s$BY_7Q6[NM"ndx Do1`IZgFo7ogS}hY,rw1؁h$rZ7LԷ6P5ldɛakr '㈎BK1mW(kXW^7ʺ\Â](vsz*sA L>0Keim*6WV<-ob)h9k.τ(>v^+Y~kYWGߗ"^}bUO܊x||92O[y[ɸmOQS=A1*+Qvxj;Sx@e6PVap8pQ rͳeoM #qq 1'cAgu OI|,BS΁+ȹ1"/TQXܭXӵCu۔ҬfF\lV56D ? <JZdl?D J^լ0M p(DSVAwXI`>Wڽ&eVOx:&8d0]$ezu=،j0TCwh]px}tj策j8I^hxJZjPxJ|P4bw0ɸNIGV/~YBk^-, Gq޺Xcc/TxM.Df_- dO\>HL]^Le ec7\xt~ϿC!(,Q;.'`j~Oߍ !+$^A yćrN3o\?hQϸ$ 0C~:|1/V"&V܍P]8f>%)jϼO#td<, ~V3W%Ҟ{Յ{g!nvr8[zʲ1D<[[ڹH%4]2{ۤ{wF(=Ia'J\.^>ʠZPi(u??@q5rg GNSa~~^ľY6چrDNi$&WGDg٩6bIĢ_ߕj|fv?Nkkƞ咩>"yP 6kmGIcꀌ&@/r/敹[`?ۧ;il5NgĮbTYf*b+\ eS ϛ^3WtFb@IM=/Lj2F `VH$Cagc^9pF'](PRF矀mZ3"F.扏/ƚ8* t PYO%':AͥxW`ꓸ+ء+.ܟ /m’˻5Uw*qdr̾-mvg!(>,Y5nZjo[?\`Н3ao4p nrkkulʁ]әR^} ɨGς0OOeX&M+PYFe:%(/Vk `{ PLjΙdTޤ2ֻJȵ(h;e0C!fgl/DqE53^1ȭ\ԞQe|(фXA* /!oݬlIetB(2 $ΡX[P D\rV~]g5~!ED61et#b6S9kHX[gv&BpNÞ1L`R:|³ YO*$