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 tt  D$\ ]/]HOL-Word:threads=6elapsed=8.679cpu=38.976gc=1.480factor=4.497zXZִF!  Y]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y98@4le,_'q-^NXwzgrVϧ&îkj)nױsxI`[ctM7g d}M'y_ ި_KC21d(M*Uݍ9ԸLqn}u ÅS%e&_֬4 xPQݨq3%xI&!=YW p 8Jq/:,(VGI 1̙K[lg+)j 0W[XZ1=iӓHϊy gg83+TVs j/4ippj[&˘1|H?YNo y " n/icIW!a3.] fp* x ۪|˪%,̳0e@3ͧb W>A*zZfW RV,uΎFFjxAS1e{B<s#ݦ3AYL/`[ܖ<#) pzDr|/&̄Dkuj,ae# _b4T-'GcVJq D6 _3O#(iJKQ-l(lk0D7-`ܼ ю`T$C%<'QgJ"َ6bAG*3~Ogj965OdPhf @$=s+NW|eLoX>^<>FA2Qw@g[j3B7M+7s 9.3XڮϺk #]xi}m߷_^R9ǜ@1[c{%o%a?|/=59Ay,Ɔk/y wS{cZ %f9b4/sR`x"dǝ1̀[!5}<oP"=܏ N윉Vu1@*tݓ BGԟtcz]UٍlE[>5TZS ~NY"蛀x6ލ}#シ_[0ǯ(\;6lQ}hHHT˩ ꫾Cki^>%zGEcrm%||sBlBcn2*p?LXwVf