SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 R+ `;Gؽ8n򭖈:)FuKȾ"1-Ig{Hi⨴y1,yy&Cy[§B`+$yD pMq~Zu)e% ۯܴİ> ؆f^@jERgy+ z)m2jjsC2:l c[j܌zr/yuF#~Oמqٳq떲f+`V7$Hv𲅜 nXJ$Ma(})i ˚x3b2t0ͥ㖙éU} & i v󻡪lpFjx`ŝ?Iu^!sh0E}1 Cs/2NǗxF= {HT GD}:i ƮL,}F'!P.2J2zl'u{x=y!Xw2JhY5A%J3P=;k^6EXy OXx6jBhtm=EuO=% y~@R 3֜: Nc9v]<ߘK7p ?n~Nila"' !/Uv&]|iuޛ>ku^-ƖsϜt1kU$S8{acz^1]}N. 0تztJ#!Rà1/27Up9+ ao/v+Pvx͞P P$>BԀviKc[/SNOSLE_-4~ؘz:cTj7GTm&~RCޟqA hʞAUMgz==%m#`<`}{/#{;#2vPFZc 5#ocs'b Ý2YBӍgxF"M;4ͤg<Ix"-eH=9N5-fM,4~QU/aP57¹;"XOFBD*/5ZR/e qm@P$/YR()a4lljIu5 ( }ZTBNjlR6#0o#;+b)fc}xܑܕ WiuF|hmR:g$!ROM}$6;$y Fm22AF{:!mtb`IH+ÓP)-hml` k4J)mо~$Nʙ嬧BOC|6ЌٗHCu۲k$r'To'VʲpN5L2+ʎk_ ?Y\wkK}7Nw]ai߈JwCC1KZu}).&\=#/j\RO.oQ,hD~$" q^Uq* er4]Rp˱PVS{0FCc9 dQ_ R%kPL,߂˧>(|jq&Gr\*"cΨ5kbMYa:e^ EdrwflPNZlpVOnE{׉|hv^}v[2Pr^AH9bdɻߏal.϶A-ђK z| 3tA!3x.2XNuNHL7v_i_9GA ;lOfvYw' :xVFs-yD睠:,"2Yf3pH_m8=Q=Pfɇps_r )gw -F̊ܨK'j;cx~! G+BN}bKxai2;Mp48LD^LcwV ^=+} ƗQUSf=xw~-?kR Zp/HGsroD$ϭZE=zL NwqHAT"`[$jD#o[\eSz8Ƽ(*|F> 43Q2UOfJCi %jq馯q@QbGo4&*4lw=}9qduBM_95]k`O !>(oMiD@cEah$B9 0;Fr1e "$e/f}Yt~F']3_`;%uǞ{4E ҍi\TT `Ar)էDyW@l`* Zx)gG#HQ_[du`L=!=z.M-z鉡CXNLL@ ׃Qبk'_kuWQ.XqYOq5ЍM! #ӘñPqtQ\I&zDpTk@@8bGI ,"9`3tPuv{|ѦR\c oL?_`S@op]y Cʮ~ S|n^>$哚Ǵ gYZ7zXZִF! R#]ŗXi%Veiufjz珦]Bgz%5VTYC} _T=? CshnzWw5mpoݕ!+?n& gaJgQPbI5yO"+M]\puV+t%Y ]#Wʼey.Td\CH+D 50ōvY3eֲeZni HLpghHߋL*_Hg 3W;T+2 uߧSɒVA*Y LuD1I852D#])ū=ŠK;5#Kn5`GJ0Ғ!(4Y8&=5zWqoӃ/Lv9L vmO.m ѱ,3޻~aji'dI$2ywnЩ6G@{=fy[Kfd_Q%}=ɫL۩M'ekFk [S nKԭ. (p#9ɩ):TA7̽+e۝,9(Aji1 :Qoֻ/R?j!p(L-RF.~6]m{Ua5۬i菑%G*`7@]wueC৭i|N_Yv,ĚJߪ<;.T;OM X A̹F,mEtd5 N"S97Mmf)N1/tHl/? AS.- .\$Tn.2hM|i(Y9wl4N Vt:z`X[߉en0/#B}`C?5Ǫqg:ys} 4k4Y۲%yAɀ[WBُ) Ҏ~lS+sQ(pa)vzCZFgٚ_n~=9Ǣ^8EXsS )%{#+_f#~CYmXUXs m΍nI/M!ZPZt*z٪k2͖P(1s<\yZַ ҴgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 4dc5dcbb173c1d4a56ace0685a339a50db42973f 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 7cf1c769e4f1a3e54e1d46954347a607f874d284 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c ddf7f141cbe49f6438d63bc3fca2b36b516a85ae80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b