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 'DL ]% Lazy-Lists-II:threads=4elapsed=1.722cpu=4.352gc=0.000factor=2.537zXZִF! Q"]ŗXiɟH)0%o^ڛl%[5&fl׿1cuۮe2DzWgqR)_Ŏ 9c{DmD00"ڟ\ {3M;9O9dɝ5JKLf;٘\p;@8c;PrKJ}d1Wج/bC0 |Xhȳ쮝,?廿A #J،Q>WrbFci)aʐR2-g񕼚+!u]7^y*MJ܀"%rN6Z;{FHa!84֩R ۑ#4ź{tHN/-e,b1>՜4[_wukW2cҐbz%{3a!6cA%Z:1L-l4~17&a5t|em'n(d[1bߜ)~U/?mfPSoA{A =m4$*4at6 |BDnᄆ,T̲d,̷I#%cr֠REǸpH2n8C#Lw?H PkB_4h+dǘvGհHԴ"KM+ ;H4!gE|* "g?C@Ho4 I~-Lso;8s*a*[> aL[r>z/kw?aq|wǃRq@0.o@mQ{^aU^$]9cFdg9CVAeU;VhNg5e9^ ;`uRL}VZx]6?*(^HLEwGJB{ǐ莨F.Kj=BZyd3 ^a}YJ?fWPV2IBŊ?G)[43=ހ}]H-mI'hb #GQ@EZh\PD?FRh8PEXzpT3d3 )4qcݴ(ŰļRK7sG2 jQ`xqdeK*\t=:H> + sWK\H9L?jgJb'iӲ%w? ö;n<:M~V[Nbǡ{[=cBp-ւAB(+f n)) d e,K7fW+svjZ*h6gY N=Va;],h"=V.i~Λ-R-V ]. *lvwbyI%ny`+ _W"eͩlfg >J!p*vy0Ҥ^=?m#  v.x j0Jv[,HuioxdH_4i m! wL)>| PōNTm}SR1~gZ>T_u!0wU4ޏ.ے[n<"ԽR)~$ߧo: sҟy_29FHT8uNwZ;~SK1w !A`ϩJ[s8dsTt7 0[\뉆T@y4OC ǿYVBoC׻5+7[9YeUfi:rY@?dHxQ6J~A8L-WuL ZLhqZED*VYpLӢ:ߝ~&(GYsN= P,Yo G w&p za`mto#J 2& Cq132PB5V> p % 97qQȰ7s}9ˠdLczJ%s{eL2bF :w[j Ói<`/˼$?4Mw&[ʹAIn<7{,ڬOgt9[U:,Nђf.^/4) !;Ya8ce?4ɩ }!T Ol^ܫaZH:Cm8*#"ZM=IыNzia.uwfN[ZR%hIU4){eT90Ҟ |c\e/:~a͘\/2!CsNJS9~ʲlPJ]C4dB` d&W~:rN C1J0e)EG`[\LQ|,Ӿ /Z#`Fv]٥ űs v3QX *HL-o+eAcQK]HgqY h:H+AHyF'FV l!̏./'xd:y ?s ؋ &٩{&&@jGZtq!SM$pj:v~E1EO,}7Io2Y7e;h(ִ0NmV& Lɩ긗ԕ>qqڀ[~1[#MjB'V2T-KJ SF, rg gcxZf&w7@`ٌh7taw=p"yIw* RZA^~F^"$ X_6l+}t=lTf˚H>9o@,Q [;aa3 #E#Ȯ&|C'H~dekS )⻯u~Dq 1jx4l e?vJDLۙ*ۅ.GE;/x3o7`Ч@!wR`SV-4P3VZ"\䥨YvpFJ9Sbs1P\SiӔm( Zcx,ﹴGM̒cr8GjM%+Dk4UKFu7a>n'a4 L(O`xHQMbWQ }Ԝx{PU J\N^uݪD&$YG7m]'iLa *&my ju/A]]h5Qzvɗo8 >V*yXC/!i3Vw|TFd̫i}PW ڪWM$5+ ޏZ᷁[`ow*rî,(3HHC;l(/PchL,h\JBʧĉL2'̊xuۡ!ΩAW~~;Ca*7&?$Q ]=)IPo.S 7g^NeN\eal)<9I_ ,OQy"mb-ϾyZƱwu,`u{""hv7Xj.(s /NZaZ\G^ҧ ،OF_m<]pctwU ܓH&$?qA xI.(g-7(F{E/f .ho+ (aٜ=46bW~A bno £`jaxT=u'>MA Z_ٱaqŦ`7 UwO(*ZBFԺ+ u 1|EI6Kwm AQ܅JFnuRq 2 T+G*F)4 Q GF4^93>!5yŚ8R!B`J>CY͹t6삉 i$v0F8{Ŭ<8,S<))&$k@7ԜnD;JmL_"=e1rP\T%hBXP%MC8:z.FD^U/r%_:FχiD$lQ}_Cˆ+_%/"ˍVsbY"ߢ,v5 ܪ4ZhX̜B0:Eo0x$MRwTvjɩY'^ nE+ԣ2K}qmɎ KD sq0k,ozBe1܅G$Np &Ox E-dVIɎii@[FA:,![Vx9J9Rqi<,Tt zc;vo +d9f@>0lQ} G35r0#{iuN^k(Qs !p,#>%&طzBO)sKxK3`rUpe5]Ywh_N+$Zq:wr\N'ÔMn',[G8le0Ls =ZLE4@w5¢&a8¸E|d?NFtpB1^Ge uVj01 d=' sT/mxqz -A /斮 L~o#Ҭ+q[՛ oe5gכW -z;aHO\$ W/TPi:a'AvU9&Id}k {ԟVeg !럯:R4 'DIuطT[h>jBD-wtC"o`*3#c59MdJe$za,6]F]d ՈNF%rc LW:nTWyӚx-jJC"T ͠op?k b~pd]l:b JǔIt h? 2a5wN%|jz!ҚM!! '- Z/?ݵ|]qNAX]xK Oi얽\ߓKCmZu?pz·Y9]cWsqjև- z4t2%&qvиob #E 7۪Da?F}j9Rchi1(񉸘i<4g}ggoQ[f6tݬވE : ۰_jᎧ ' mxc5K]a|n2L8)$,#9ҐIG}جnpǙbkJF 0}5/0ۆdHq$ uPzȊ}dY 4|/QV ԮX R;b):ʏ2e5%QRhcsw]}zkF&8X'k;h=s݃OQ^}sk}H d;bfHs|g^R~a:iݤh\̎ZvQBS;tZr]n:<'HA4>HVuc&w$~?ʼn%}[ L`DX37R!@Bc'^ W%WbK]y ;DXxME:}~r| 4 Z{6<>SYϓIHigK,&*k.M/ RULg'L|g Gwo~W7:bŷ0,+v<,~)Y \ "/M7 &wtGx*9lӬ^x4k[Q^d|fȾ];raU1?".AM;TyDҊ gYZ7zXZִF! H::name=Lazy-Lists-II.LList2elapsed=1.480cpu=4.036gc=0.000&u[aI`S}YZ7zXZִF! ]ŗXi%L!l0n%]06;UӀ$+wMH{^WY܊m: 0d MF4-#v(_-vvBf9裓KO7=#Q?Lm [QY  /b#T]:TQ ?GZѯeTEx7s֗vM;Í7KTQ-g?@l`;7c#B{_/Xŗj 0܂.I`Sm6Y¨0ÖpHK꾘cKgaԡ'\&CJH:翡0ʑ3V,uX[Z]}Y=}p7: ƥ٪B[ҟMVa9l[)j}`Ou-!oIG))0&MeC""ީHu>Z#^ҌCyV>pHG!}&paVw>~fT yf^eg wcT gغԁqGD wy* "1wfț֣{dj9Q|_89Q&w3D/[z"WYz^ 3ST)GAy+p&%;e^2&~b˸XiߨZSd,3;/gYZ6401ba109a3fdc8d7af0cbbf86d9f67cca2e11948215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387 59c5e7c402ceb677c1a55a1491a065696bc0dcdd