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  a)dL4 ]/]Stone_Algebras:threads=2elapsed=67.773cpu=104.924gc=3.392factor=1.557zXZִF! >_i]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmV=H0} Ѻ0%U_ˌјWw]g_&:K #= VrzH– RQ.h'ӓW+0ϴ>2̓&2d\鋆v v|r_43p؃c;DYsb}9 w0XZlHRAj9g,SLJAޒhyF6UPi'jH?G-{Y0;(ZSdgTmCd碐:9۞ ]V\,`LnCP,u啻AE#٫FTf iuk8_Ci[VV!P[q&V%rgȈ۩^f%MtBjmKUh /9nXM鸟le p+(LS|ŷ{?z=k9;Lޣpr.wMq}NO0/a"FBgD Hh?JẢ,}Y*_7y=}d/  ֨hV}./ڹUt!TfH vF63gᤛpXTANJ@Qx [N$G%2v*'YVEN 6PJ-s@Toh%*b{*̿)!*ȭeͦVo,yZpcC}UnؠZFZ]Ll D |lqgYZ7zXZִF! D]ŗXiɟ34Zˬ 59nX&xl qQt/Pf9|tKvwlҧZmwI'@uTGYO>^6,NK(Rzq&{:d9DN7LW%Is1 )F^|(>xh>꽰Kpboh v=m8 y?9\# th4@I`oPk> ,Oƪ9g@ gztILGchT!ݗdf]vC!MG;ψ$;h9u.\NM #DWZB7ZNX9 m;R챆d޶fR4޻Y 2u3:vm_C!WvxOuo =zr-0NsC.,?ʕ4 ϯZEbӣ2Uvƅ_aPGK&ͤ\o/aQgA4ZWΪCGQJ^74no뤀dx>i '&4jse 6t%|ibcB3'M\-?m^mLKˢ5NSr1xKr9GJ,lY[zP.3PIBKC+5YBA,#ck{x3OŪj Aedza8|x[usvFxb_4o]Ay h7eHyZܺ364s}v29AAΆoIM֚h/:0c.&\rdŠ+AB`1l.%D\1| ܔ&d{9t}ᥫ,ǻi3 K(QLe?,]BCM%2ch$FY,JaFŬ3ҷZ-wBR.?bFJEPȼWyc pp'$97/&-ܕ81 zDqfEnYKSh4E+l'گb+>X*s?5X$BڿJ) =mi G}) lxLUzM hUf gv&\9bflvs,g`Vf &0X}ug|i\3›|jҘjD`kۏDYub^`VE{<ؾ%/L>H-u:h t$t a;s!,&wqk$@p =!IVfTx)FwcxL_̙Gt4-AI,f{כυC@ ABkHKyWw(D* G#pQdgb9+r,#`=xUb^h/^u6h;2]1l%<\t5eUA OX ֮ >"H(~q02;m[R-˚s#iEHzݜ%%WGlY̘v QE ۃQHoa9pFMT,Z~b+9A\ǀAfgq> .)*eH.b>lC5:/Ҥ: g("X ݗ%6Iyv/\qW#~^vD, H~!>Jtڲ#a1ٙGvQyJ}wF3ՊM8k%РΨ-OkIltMU@410O0|gaˈnx?՘ɞB6ͱWuo6{ߢ^Y0-/ `'lvP<́p~m#`AmKX0 Y' ej(šUqOy잌'6,AYl}NQn` .Eޟ(͏& vF ,ivbՊgٟ.|FZH,;u0#G!Gԣb4sΪ Za"rmZPX:MĪ{0Ҍ8~ s1S#CgRѹR;vJ5DmԳߖ!bFbngbbOU?g>l&7G)qo N*LYzlӅ>V5͟7YX"H2a_zI{ϔwҢ.ɖj2e 2}̓oH,˜3bY(f0,=e"! OOr;~œP-϶ 2KU9ish!7:jܠ>8:0>^kbq-̺JhS h2.tE/ɞ 0WµkfEt n+K@C?01T$K(_ 8! 5R`OoFȱpŸ˥^"Q@Y0>8XUH36A@X\w+O$nl^۲ :#T}O!,C=I|6x4˷!]eܑ J&><Rpr'(#A,r?`: Ebۛ 0d",]JzLHeYv5}Al8>gW =t-ŃEՂ#Z>{~D')uN"~ Z倪@WBaXX[.E]v}2 fJ|ʂ _'i="sŷ±u./1>z߹T+NBZWV*sH"7 8 iğK:@10'IpC#U 3YO04qQ–S>^ TY;4bA:=!(c8Q[z!8JL] )C8f7=BW'2ԫxNnA•E q`=; g2bBM3H2%bts# ➴q4‚p Q:S#Ww&C_PW-)tK#j^xgetw Z uF@@^0NgYZa0a2246c7927fad90f991654f4e47737148ac15ed6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e0ff44ee676022a994eca3aea04a8533619909206