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 0LD, ]]Word_Lib:threads=2elapsed=71.202cpu=136.312gc=4.212factor=1.917zXZִF! ^]ŗXf1-/6vR[@W /9% ojIV\|Ͼy& ` F!߉lH`}>cT8QCfS?Ȍ?oO<+i=~"DaݱX{x+gicfSlk#_HILM9eBؤv>]&/G',1ۮ}$f%͙Ț9A'S9|E7CI_Iw+׷:˩~ [[&8F;vֺM>nZ#A{sBձ?|; ؾkf…WGs) ;(r 9FeUNTh80˪(Z(*H*~CWf! iH3Cf]ظjE 2HRTzux` Z#Q\mum #Q8$^ %i.Ob2\8A14W DYB#QDTVNQ1kT|Y7&ƝBE1GdA6@A4:Li8eI\h;uogYZ7zXZִF! sY]ŗXiɟϨ:}(lZnFp:3ȿ[{ܠ<^ғOžf="'+Ӡʀ,89s;\|l=L LO}d84$dd`P"Lo d>[6D)Ƌ|ec`{©P\5koZRGn+A=bڦԎ=W^6e.xnrUe+"a.ʹbt&n'J*L .sW'm֕(B]9D]j{A$ijhC0I n$*   Word_Lib  NSݳvBlԩ9+e:Z K^ g`PU{1T!i M^4m\F{5o=Bå:x'+H|~(o*,.F6#oE,gP&z UepIS.WJLTri?Sz}4Nu^ȩ([-jvPL82g׉j^Y L'Rh#$RbF6l"IYK&Lh䅅(1~1]ETp>ٰA}"#jHuHnGЋytn` /loH9ݬꈱmr^Auk(?Yaja&fӬ+ kIB0|FN˥IYnd:vg^ZJ)Y&g P|5`6,{6i7"= fr!'Qg AJ:B_'hg!Ei_ArfC(jJ߆[Y":hEV)kMŦAhB iAWغ.!Q2E ?~:௡Wb#0j&Ap %q.^Z>HU ӂ)>?We}j;5%Qe/I>@"VBt%@˾T&8(jMN>qKr%ͶfIm$ je4&U7fk7ӭ4Lg(f%J.@7A3՛q$1 ̴?,rk`l lq20҇b,~B)t5?p;zL֣TLyI GU$΢Bb(|/[-vw>N=~z4ZP>#4n־4F-퐯[G0 ךs6y9N 00Lz#; 8xKa=Qӓ"']7idTs;cz)^&z,);a::_ Ѕ "k=RuqV ` )3fT6 :3{KlGO5Xq'9Zs$߳Q_ 2me{E\,5)~(J20びeE1O ق ,-7 r"ˆu#B`AcfW.1W~*9HOc(!~@tM$:N w}u2kE+-mѭç^Ulse ' Ԫ,p@x#޻Shʵ9X=Dn!2BdQa%t`7wiA:B-PZ{)hOAԉ/v tNal-UL4.\~mQJ[|j cj-,/ԐŃ9g=q2vR',זJ" eLw]S+SKTli:%ެIfP%>8xhLKWG|LٚF0^bG9G ƲEzْ.y6U,6EOB]i:c.ْ}>?pׁDn( =ߙaVnbQefת8ą-[mzS~}y6[>OՄ"u΅ЀVǃ$^ -Y!5HT g3<"1!طӀ*wдKȉYzb,mW;LDөfγQِ " }U N[E~Dp>4]YV{E]19mv0/WtطfڥMp?g,#jV%BqűXPh{ĪaEV!mz,\TۜU;LËl",+bN5vL6 lMb !&eɇ Dw]snPS4_ő w HؔMݾO*!GlY̐q<F/7Ϛ.YC )1H,etu5GJ9p5u1Hl\^9(N{n%IY/ atҚt(k,ؽϱ#~R_ tINAd]G$@^JG'ҵX* R DTq#»-V;0R,}Ϲ&Y