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  C;\4 ] HOL-Quickcheck_Examples:threads=6elapsed=64.373cpu=134.780gc=5.296factor=2.097zXZִF! _:]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl8ۆ 9GɅ!vSz1EPwǧʓSAKɜreC9O-FyTl_ y&,PdN98q~osh =5 L%'u'4$}t=Y]QKQ#ȃbM║E RX1{BT\0chxE`]%E)Jyu{9$.8YGeVetƞVI- Ŭùx kvVkgX:;3DOގYoQeZv7,(0 VQz}()h7$Țxhu(fV|JZnzvÎ#CXDVR'&Y&aD=h)<  ~>oC%YWV(^)'JI1.xCs]Td ,p&=3DNR?su؇^^;GļrfsH$ s2Lk{J}nϬSHM# |W̭ =&~֬dC:uc?H z(6fp7%/Ч-O]=%{?:,9aB"".C;_8܂l\L<7RoD`}>44%Cc2:(ѱ ٙh9^QrlV ZHnG}S8rZi+o{ :gϒ_/ 6',Eano8;a ]~ve'$~֬c@Leiڥ<{T4$q> I+E\2Skte(J-r)ѕfE\`?e..UksH%)jb}cx YW26A2YN !'{7.~A!-Q龙8Xd,20~<?mJymjZ@ި:QD@|\{nuQ)/hY|ۃ8ʳ($+}v/!j5SheOֶ4ne|l$h*¤NT} )TFo[.V|xmZ=D)k1gXs#@b=5ꅴg6^XU{[H]̒")B}U!6r"(ߧWZ3[&+c]D7~YwhNj$-egbMNU`jhS9Bo|yO&# _*퍆H=X(pˉno6/Ƽ賋ُu8 .J! * lΙS(hf5>brf߆i2'5?`|uGg-\6nȬyE'Jr%O(3}lj5J4jS ],d]4%@* 77gּy J PvL!//06w4`Q=Uث!Ku`1mH˳*-ң#K9ah(+?뭂W=gپn6ԚT#PtҞ[puhK/1|{)(+o2`6HK9l",x"Ķ/ΞM #^T嗰P azm7ޱ+eBG`Ek 0;z畗LliɵrFG9?nYQWǷ"&1eh"'#7r_#rl|G3LDnF\nH5so5\ 1Ш>Jwx-7:#o("rܷE?t!pqʥq㧴' [ q'D7JNu1{Ðcf7`7*vGwL( juƬa]Rqu/BvEnkm`)ﬧ. KFl$(7-2Ӌ*M01~h_@VLd+E̻7Sm.[P[) J$CLŃ Xe)Q3/P]|sZW1qg)JF=U~ԧFB>[= rz}Ye'EƟ7.hh8hZ%!qmʟeXACC%^ k WxjMNic&E<ՂQb?)B_\K.^"D _j&/mzOQhڜ,܊ MkݶBj,nu.nƁy5{KCzS}i*nlj+ĩ:@gLi y$9y}to#YXtpHzmH2fZ!'zSάᩰITǟx1{F0`fQǠ gQVVv!iHKT%"\P7?s[b梙Gy5b DaR"%'b' nFDIKXuXt?P2m/.#g _&2iwnN#}0^P*eЎ톥e[xUZN-Q Lg1?3UqHנM5#r}CV,_MD.gE,fF:߂`˱[&QGNNr}{rR TN@i|ˈpƱDOPݑ=ω]8 UAb_Eόx-ɉ3\%M|6@Lhjt+[VqBde4GޗU>lwUl|H/sxwZXNOlP cʚ;>@8 C>q㽿y.Vêe䥹kl*(6@9 <*Z~D.V},ߑEG^L#J 9}rO؃ZLI;>GbDPŸؤ3a