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  k# 4t S]KAT_and_DRA:threads=2elapsed=41.148cpu=78.268gc=2.980factor=1.907zXZִF! 41]ŗXf1-/6vRZGq3۸-CxMe'D-%*+ *A}AޝhWEUɲB&ͷF[[;W}uQu[#ᛥZ_ֻA8N!ﰒ(Er:4)s 68- c~M/7kw].OX˹H,U0ܽ@鍣WH NHHI]hl0V QOn[cJHyuxZFȫ[|ߘ-6t0L|aJw FKjq?bWYq~ՂxXMkE7m9GU=Q%P_LqAbب<0A>"r3:N9>Ilց]Rg "q#qg2IK)Vao@wA6 2*3 6l_CɎE Qqs]0CmGXk~koͥ#\wV#4s'7 Qz^ܮ@)k_n[K~lΚs/- }ff zX92YXDg^ W+hAU # KAT_and_DRA:nꁢQ)Pmg.. 4Ӌlіbf>e܋[غW(*M꥿N?Kg֎*L;e5|h"HA"'Rʺy=جng~,`~*ԔIOA;n^pij|KYx7{t:6 ~ P-TGˡB8/n: e{lhm R}V 0|QƇ&]uunk%Z2]C+*, ]Pau]ѮjoS$CkBrDk6j[c|cFY#E0=Z g(r ԚdbZ?Ԍͪ1n_1-iV(e?"Is.jHߣ񤊝cZ"<9pld5d5~4sI'z0 6,m Jd,bwXy!7e/`{#XŃE!Rt-fUE;z-2OtuC+ơΞdVd. 5@uܘU2Gմ?75likϛ{gu'v~E?^4%,? 'HQ?3/ k0 ij"YE僴ͧbp%WXPok}f몂>/m|v0'O.xکżuSG`k.="GxUt}4""]dtҹHƌ7cЈ%q;K O[ln.陁z5 n B̎H$[, Oeh(UI`CBg 5mn7X2D%cI5RiWbeqy78?Zosyv0̳eR 6˘v#U@E BB`x{L߉Җҹ7I\MVIڬYý9s/ݠ/Tz |-rj+jZ;5,N\8˘ A~İ'jJ xXC"H8-g1N`+X.OO,KL,zG/Jh;p]V >ݕVBY{)O_:[REnAJSigu%O,%WHpq(feEˀ$HMZ-@wjX"TL.d>!Sh s)z_ħe93"{Iqjk/YƽԬ0^/?Q~.!RTYMPn6*ҘzXCPK`eZo:>TZ|PAR$v:mC5oKZ?'AQJ[:38Dзi'œLnTdJo8qh?ꪒ2&Ua/'Rz.WUOVH"XZMx!|rKÃ;eiK(uA'WU8DCcT|J`1O/-"Ȕ urB8upO#23:UP9Zx $i/8OFъkIΕ܀&%w=xM9|r6~m$jƒ?xOC;z `CP87>1 w8O G a*dBA_XYHѤBTZF`/g}/ԓsK};1Nk-Z&N&{{}@et路>{$GUpOfemr Q`©f_NIn*7(~(?ڌmSQ>+d 4* CZw4wIY{@\UPz5ݥrF6UĂ{x9WQjl 0뻡rAtCLe?84SswK- bBE`Z@{ˏZ3