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 ==@! < % Splay_Tree:threads=2elapsed=37.151cpu=52.356gc=0.708factor=1.417zXZִF! .]ŗXf1-/6vR[]Ss* &@' Mv &:`bC;qJ)QEreŲ󪯺t c ^!d(#s390xr mF>%!0~Ϊh[Nk!!bI]K[\5e=׺NR˒r$܂m7}Scw]Yx<00$+YɬR)[[?#ѿNwTB/V{@6B Z Ι*w֬) ,|?B~J3`hP,SI]eaS}&VڡPeT8g ӿt~phCUG˶gHOu>xad`B\{&ȭ2?\;çS/&1ɶTk[*7{˽GY(eۘ 2lyy ?^a9 JyBblȬSjD n{2Ҩ:`SbglO;1'yi TnY|>at)<)֟E#z\ qei&v'A, QM:h3rR vZS%EX=Y-)D/^!SOrzU3UzIȗ IU'whi2¤HdA+1D@\_!l 3q )''9?&vMs ơ+/|2}Q^O!nqNb[jRŁ="'fc͠խ %-q 7dWn!aqWmw2G/+!Gu,EU oaJQ3%ԲD8rϮ{jeabC5xE@#< ^X4$HlB$J*Y@zn0,{XhrNNAҨ0dkϔy;bˀyߊGս:WTK,5jSmb ծ +iht3+t@2EpCy70V ZNS-b /'GzB$6[6g9E|7;-ez-/~cPU:a&;8"p5`Ξh͈zD:DWZ.wsѹ/fCLvTogO='j0G( k-TI_'%2t_2fy1SWgG158Bשl 串Ny{Zur7G~'U\,d{b6SުBNxO^@!8?N$YE數pUI~ńw.4^&}-"#'}ܦ%q~|'W#^l)m`ax[_q(lj)0㽃_nTzG}gYZ2fed56e63e64893cee783edbeb3c8594b2a04eaf 41d32e587e4da97ee0f959ac9fec845bedebdea3 4911514db9319e96806f229551af5299c1698e8c 7661af568cc046b290bf3d73e48e9f58adea5581 80eed581e9827dbf27df0eec911196b92f9e4a07fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c  ! Splay_Tree