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\  CCS:threads=2elapsed=20.175cpu=37.388gc=1.012factor=1.857zXZִF! 8^]ŗXf1-/6vRZxi}t7hSyv=4RMrQm34qN(Sf|_-!5. ZgFrtt8*#71| I^FdL򿬏g명[r͜T#mzY8w2ox_Uzσ;홈zKT T~N$ٱlDrv:Qg]Ļ;)Br`PBKC-_$*δ"\KQhT0p˲c.Iu#U;eDe5K9$W{_ЈKj'Qi:x*{o{x{V"DC1Tjr(Хr>\eRhY xB+_qQR[ΈSoHm"qw]_ 1Gc]v-V$oʁKZKp\]or1"1ыyK(#;~ݴ0b{o)a qO q#bLJgYZ7zXZִF! i]ŗXi% ᧹*eJj©sqZo-ҞPc^]Ty˥y)@CPy]82E8& cYErLM hd;ḁCG314թVK F]㞭WŪ.Xm7pJ8ňpOdwo*ƒؔ sWb]"QAE#7Zd=yvB>+b{4rHf;6QPGd(%&PhE|a틭; ,FBױ ˅q&-S>o~$衈#]tp.i(a!fQ'G߶} ~] 4l9XWø2g &R/>j l3lfF{ 5'ڮ\w#)2paBӦ7,f.zf[3$kx %F2R]"1-_'ԑ/f% wvs)R{Crޅ[SwfyCcUIõF̿_ ) ea9I@偕` :[(2( gQ*/:klr{w.*&e"d9ɯՠ4c"\Ѵ_BG$o>czeUl vD3Fpo$%,.mL߾?+|gmNۑM()7Ӛ [LQ {CqqWp9Ivb3 yuK`˱FB1w47W< ϔsREzk5'r~CppGviqe7(gm%d*y`E6^1@(C?>.m;j.\z4W}=%Hnd@J#V>spk[bt2,H}4Y>paC[_y%{BGdC>|2Q+.F{11r;Zـv՝RlW |Z Bn-o: u#Ko$kfL%1ȸ{B  Ot V\z:Kk&8p%7\I>}To Y;dzsѕ4@=(8$J7I'ݩDv%640R34{~37ѥ`o@ ň+v2m߷lmY4ݻ4T0o4W^^;lxyKL AdJYJ1;znՍ RMwa0w8r-Q)̰y~r^ّnuP؞d\LQpխڄ%7 jyI\DS5U)h͕'))qf>l6t/du>> RPgYZ01733c6e4c2c1915db4efbdf15f8f48305e6bfb3 11c75d00b612dc5802f9f13afe0ef664507ffb5b 1d63adb9e2f7185391523dbb950c8407e64b769e 20da989a6ffeb514c7b04c76f6d085ab23ab4209 2909ba99920f63a880b3e8e7ad8494ad01c07e9b 2d3de66ea801849aa0987edb5bbeb27198ea05d1 306941848f8b6748a98e5d2c5cdb60c343a6a9d3 3bb47bccf9c60672e53d4b13212d3dc75f4c2298 49d1932fb6b0a8391048aa1c31cea3999e08ea4c 51c55857ce18be4352fdd090ab576d218e59b0a3 5c234b0c27f6ff9f7630300885063c9501f1784c 5c67a0fc959472193f4df04615d8d890bc2bd34c 5d44ca43a410e7a28fed6e241b48c65f85021ff8 840c84568342edf8bac92454e3710d1cc9097920 8f2275b4e3a7eebfcb3f3011d89202e8a4fc2230 a1a8a914cc0eead1b931e4a16a21d49d347a0288 a5ab74f1e75fdbc09f0f8a270c4685962e5caefc afef20cf74339f762775029bc50134796c5621fb bbdfdb18aec08581c66ada7952f092ee36f5b5fb bfafd70a7cd13b719b4067f0e670af8c67dfd2b4 f7cead6b809f1c1012f2032d957f24335fa8e914 f9d6eed25c58952c100f176b559b4a1fc0fc851b9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 3fcdf68da11a962b1aa3b6d060c79633ecc9ca12