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 L;u}bwG*Vz _tshqkyZwlp9o{H]ELwMWX6re`cibZ:8c/?KрvXq=L8^ю뢱 mp81MSZcO9 *O1gYZ7zXZִF!  ]ŗXiɟ1SeN|6z_מFP5{ EߋY?^~m;a1\]6nRos bp[vd`J8OnOCx6._7ZK%97 k= J$k"2,F旗Emf𵖏GɆ|mn<-J͉6kgYZ7zXZִF! 95l]ŗXi%;^-9JgyZVmpҒqE^k x딨|%)@/=LsDoKI^cC9&-7UW|n^f9ݔjOQ1-r~kW 8W)/LD̨a{#aB VB95^]]҅yh |lg$4f`7hgxgklj۠N9>~4irAvm.W }x" גwon>>fI!u~"]8= e"/d/p#QJ, xX?q$@LO^T``cIy;Dpt$'Dd?PlY QMcGbeXbiպCP*6k%q0Xw}Z |3ϿWEp5l𵍴,(.8ȼiIW*bh=sv%~qzI4m/D{ˈT`q׍5V\Ia`eg9R2{i0E%? bXrffݳl 5sd~V~KMءէc@^_j'xAvL>5;7Fn\eX-˅O/1Z) ~K L'Ź74Zix^ʲMs" xWy\)D ; HOL-Quickcheck_ExamplesvdaʛCu۷7(:`?ߜ4Je:u4X1@َ!u^Ecs|vPQô0*#i^Y-lY3_b(SgE\ z FrFL_%k9 ΓP] zr^Fiwpzg˅_u5ЃN4M)3*HuoMI'^"/Cw!Δ4z y4[ݡBGŏ/XUGrtGa+ ߈C<ٹ;2yM"I6ZB,*b'gcFgP* `\[F0>jh<&Me>DWT*\쟲*5} B2$T2o'QPF1c$U;v Vv V[&&RoZ(yrtGW iJ8J*Ev{)cQ-:+a'$:R Z+I *dqa33!Z\֔#bK6c}`$؊crN0KwNB A#fS]wei[s$L|"!܂S f}g45U"֜TYER 79b~Є㕭wUGmAmY}q={ZQze }&:$P0i#5ǚK!A=a~*_2ZU;*8_1p7{7Z?l[,ߩ@ſQimK2(t{Kf324q.p[':`aњ V?X 'b;6k9^Гx+UE{s/ɓ[yA"W=M\|~CtVQ:my_2;޽X=݂gg!5;-5TjH=-Y_,閯tꖌ8& XH8 }X@s;]c ?N-daң3sю}{W1!1VьVBNd \[Ϲ {(~_n`kE5Iod+& gSϻ>pTZ֩0ÉLk)áZ}ӦT1ZzɆQ9cgw1 q B,Or F+0iqɒg} 35Ed{ [ l[# J%G"eo,4B+SwF8⹲긤ܵ @-2{ͧ%\gp1sf œ&oj4nt^(׃+] ~h,)9[K|iv)R5"NeHUȕ5=)kJsufd~ &pP,봏7K321&mrހ} }&$|Q-69 d(h]$W:rΐN3_!XԿW"dy=< 9oͳ%2y!⎚H+NjuG(T"BG&Lgoavmc?Bh:bA;է`'BcZBnOc)5˶3LGM43^ si=/59-Ĥx0('shLS> ] LlL X8H]BM| c:@$pZA'ZC,LɗUK^Нq1)nl[/D r R':FL魭ĸZΫ'DYu&U2VoW,Ͼ5YM0WsP}Sn#O;9&u-V4")x7Vb_(6<#69}&/*Ws`mz1Qn6Qڅ.^ag \cRϛv~͜5 ZP|:h A >WU6&hqk9П3n- :aLq4 6U-KB#˼RtLArC'1 AR%>p ^kݔqVW7"'i9%7iyX> d3J :T(\#&zsV7FaЋI$pڢs5,-nc 2btY(@+sړks%YS.̚3dvM 6(ݪÐd4W-U&;<T*N$.V}-x(+c[ /[/pkfjsAEK|uUow՝:RKW˿9UX$ܭ!*tL3~ ]8+Y&^"d)^[ p ~cՏs 4!keƠ=g4Y_%b;9޺Z)X(2uw\PM:|1PZ~!ӡOsIV $< [Z0|8s!^岉ď]ndGɎj']f7@ 3ZS%+`'gYZ4c556a690c8719bac30dbb2c24a94d722abeaf1987932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aa a3cd75fa2f445303fecfd31876e09edc3d66ce8b