SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info # D 5 HOLCF-FOCUS:threads=2elapsed=17.332cpu=32.012gc=1.156factor=1.857zXZִF! n ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S]ۯv M+=Yvb^+Z8W=# *,vdH> Jz"g6^VA);=ɩmmfF^ 2p v&kf*W(;}*7W)| gd +3=oRSL"ޝ}LLmoRX8#D0 # HOLCF-FOCUSlcZ?'(GÝ~m`9r"Mz@ZvQQf ceۋRAD>li&Cϰ&8Lھ< X5Ӧz$zdGHWg@ ?\1xd%v8r_#18πIhD0g Cꖇ#Z%P3jr觯iҏ &g}ξiIK8A jj2M.儝)N=d_~WX@ Qߪ} ,Z}HQs :hp b+_BQDłqO%T6X[Z_fJ 9~,>%3fb5eY:Z+Lj2l?}#{4+N~I gۺ=#;:Ě^lXYwlt!a!vKʏ*_|9)Z5F  l=5x 鈿;h$BF#K'LmQa|=B¹h۔;;7vH$[Z-7th&Foɛyc@lZhK`@ A?q^;5!RRQC3L;3) #БwTxo2n gYZ7zXZִF! RJ]ŗXi%BO:;c|mҋd1kQ3@735 ūSrQALE-|Q^ăѪE1,"lb[D`& sbcNĉ˩H(So-+gd>zr= 0VW^}d^*>wp|,$cH8$g,1qcU ^c}Q. DD;ixq K[I.ݏ5PC؊A7\A{A'čh fl0{P]u78)gwf8d HkKw?O_}lKĒ;FsdJ^Mi67ư GZlqGjd#KHKhNĶޏASslv/m:@~:~Ywmk䋖74Ǫ$d$)ֳK)מ\.|hchwUA|޹2y1R<|mo%|&]_f%F8A^j4LIw}Z20]0lgZ@ySdZZ Ri]Dq O݃)\xu%m"&y N kl!]7&JYHSWoS0lgL^BA5KɔK$pj,WjJav*"8pzF}-bumQggCYjߡ4Ot+s:,|INH @%AhIת3P2*Q)fϚ 1MvBAv pu3U RT+nǢ?8f\}┈ήg|lr\ٹXו(MHEV8YjI0UO^Ds<`cE~JE–tQ8 &s{FL&T6-'9f@:e r5ŸP8X`ɞ EXPu'dC" dzao&5V^ 8@݉NZTZE&м?gjLC3Fl[jHL4} mC,C1FTբ?THh0. yb@