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 **S , s/]HOL-Word:threads=6elapsed=8.751cpu=38.124gc=1.284factor=4.367zXZִF! l]ŗXf1-q恈e*['"E 5HDPz' ^7@S_XFmH=:S`˃3'dZ{k`*n>gzNBS#`{VV&T(j\97&+ ""F^L=n} yR_Vz#UpÏ4@6Yiz֠fG,cq@9!O97;ԍtNI5,A8淇S4 GZK<1aMc|9'Tዔ2Bg7g@<cG{"BQ8^Țw@ U!3;vzFN,gP;Rj>TEQ@ئʮI.Es&6Bgf\R ♯s nVG%h5n؜\nŽ5+.Pm^ȹ^z3:FA{iǃ40Nw!HNKƄ^DD@~Xb{3?i6?ܷ* "t nbC$E,L 4瞮V'}>Ju]tgAE:6 =~=|~~e?"WKKJ n""7r6k7W =ABIbXpMr3wCb%2Q z!"zykNI0ywgPt \ G(6Ѝ"!cʨ4pOjn>Iͩz{^& ˥ 'J,GvlJږ{uA;bTARRRN,w?BһA@;VuOMGȲ>NrD(ܤI{  -&]RDֆysSξ7N3 謌f-I' sƓŏ/%'i-$z3\MYU|e$L*,2e0)4J =zA!ތGu6_,lWFoyc=skΖ|[ޟzQ#W7 IϕG;]r-*L01HNys3: s6MSb%T撟N Hw9&4;mgTθ9mБ ww,t7gCc\.xے