SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 m L$ ]/]HOL-Word:threads=6elapsed=9.372cpu=41.276gc=1.540factor=4.407zXZִF! Z]ŗXf1-q恈͐7ӺV G-"7-?bt+#6).&q{:kN8Ab)ުGyOtgyƄdyđOR?B :S.$[ b@Sj]޽u#uv? =pd\}=K.,] 蟴Рԍk5WڹAsZdVƠVIºMpHrKX*_5e ]ž9xSQ惮CNIcye;Xl]ڨ{Y-nZOE4CGF-e؄'y4 5wD-mBP~N C` q_mщIhrZ{5WIS¾ρ&:&ӎWN=b3c]Y CkxE yȆC@NdnwOptwJ~Ghr=SÔʢ 7h)(ud]#c Ock$><;ja\Ǟ^xHW&ΪX(c[UUS[3,gd{+ L T$,ѯ8H) 5r(gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.ATT3$q{idjKlb/Sthw{eP#{dX36-gL_fcƑk>z''eMUHR %'@sF FښEiYfn? ?NeGmrP>a^%{*R|J65Cs1L S1qsq$MC=Vʭ (\ʎs|#AӮ\JOKLQ%7nXeor\n߫m`hnɯ UpYVdHx`8ʩ͕&m|śF$ElܛQ_\8ٸ (b EgYZ7zXZִF! /=H]ŗXi%90y^hJڈqp:^s 4*";I]L<~u~BVw/4%AB 5!v9ǴӵJOɴį*>-bo E#/ s^+py*K~S`u\$Pք,`d!so\kobzPSA @Tפ)AʪW0&N Dm\3"Vb5co<X֞QlUΠy)If6uZUc]ݻ|O8)ăxK;6/8+ضJ<R t"(2 *4R&$G@SJA[aU.O^ YKjs˨EceNWΖ7Xxd_^lfe]+QVp"#Q#@ [e'NŦAi nu&i\`q۶f}%74QQ-֥Nj >=s-]TR57b.eF>tܗpR8tEyD& Q&&ݫ#532I@XR!ccӣSI4u\r j} gU*D>m~M2\#~PMC2%Pg%))TWo' 6FC`Sv(eZ nA^+]=-bzUT`7`,#߃Fb'n<~ne= Ơ!M%"VXȾUMk^ rאJay|T/`}(\8̰@d~4ere*,"+[R<~飜Tp)ܝsq1n0ͅu#~m·j)aV<(#z:ep~]x %j|'>Nفm`6ӟn«ŷqwû19A¿򛁃= .7BH9N;z~dRpFwW")zK4z|Goj[^,Ё`◄h#oBvXN:VTq guef'P 80;d+&^gYZ9a6d52e98d9a9caff3efffd643173174d5a1a570e331a8fae316f048422d7f7fdc239a12eab41778 1cd8b7faaca8012fb544c442bba2fc3cc8a6a56e01b33ef572b13cbf1d28eb05cd548822f9780a3f   HOL-Word