SQLite format 3@ .  YYQ77Atableisabelle_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, "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 D$ }/]UPF:threads=2elapsed=32.217cpu=61.772gc=2.308factor=1.927zXZִF! P]ŗXf1-/6vR[y,o1=}8qՌ!bF)K*ȡ8DGa9MfN;lZK? /$RgjZ0%!öAjc*Qa` DTC3XgAH2+ٵ CNf(^V%5#ǴyD7GeGq[u4ORϺX`Hp߿x3{1 G'(C('d -m%R:JӑXD襄/E{Yu8QKqё?Kq)*S <nZiY]}|fѪi ?W邂a޶_Qaie4So s% `uwWդO E 'q'gHdkAg.BƖS!d)d1o+i H&Wz.j;c},Ii5 *2bLuWX&H̱IJz  UPFȊdX `A _:ҍK ř-eeREo=;{7$r؍s7R9E`pA⛈L+tW2XI%1LhZ[QEwDksf>U-Wu iOtz~%,upr+F&VŻ˜ѸsVI#ϧ8ߺpyQ4x:{Ci)K|sk(1 2Uz|dDदdn6T<鸡g€ }:}ellC"@dSSQ!?$+/ + 6nk^݋q_':)Ւ5xR:* aF_7JATr@xS'U=UfFX FԹRÉ tT^znLmmÂ*MZ4`4䍺R!m/y&C8s;ʇs㰾| mTF }+NlwӆYl ?sV97 )X~ղ⡧cj^pkD`ohcd(I < ^([&♲G-=|]OQ$`dƓ":VҷebHBMwaeVKŬ f gYZ7zXZִF! ) ]ŗXi%n8 }Lg=Ar83 j&Yɠe@Hnϑnm^}I f;)T|oY]EHWVMd#fve7͸sY2,V,b{ǰ1t?~ ]#ozhGؚsd?JnENx^X\P:ݴӂyS Q'XKҾ#nϓ>q3Q1 v_ZO;2m/ʂb(re2>`7CGYJ|MTaUuTNocm} 3bE4vu<>= k-骙$)LM,-16=&m~6K{,tM!*O#|2oeeJtQ_ .̒qď"%Mfa QG$Q V|}Cc >i(z'4kEWȼ'3evr -J^X~쎃#opJ2A6 'gǯO)0.AC P>7hMnݠaxy1 O٦=+2w3kL&qq}}-J\+ 3T^ xDWgq21֧LXisrjꟜt +n_|0HZڦ1TrSEnFc+2B׃(/R]OoW6Uv+$_ SJs0~;U2=}y:F/ȿ ҽgs̑7A_+9뫼 7Z\=i]>jk+^%Nr2D=ӳjZ19NXsV{ߝ{>ec$/@G4caҞ&Աfum3]l2Z~"KzKO&Ar\9Qn; U-o^R? [ǩ)ϱ3pO㛑.ϩ`tW"_׋ _Jyi>,Иj=B, `[wL{I%py8Z8:NJ*C1gP!Ǿm"\_ Օ?yܠLħ".c-R@mRJs Fd gy E+w耯~$gmk"FHMiQ:\r"vd87]w\H485U{QV)3vpC2ĩ}'sinWDXRc]`K,q*eˋilt=AH^4:099v;釆԰~?@XlFpּ