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  \ \!3 $, ] Efficient-Mergesort:threads=2elapsed=9.806cpu=13.464gc=0.676factor=1.377zXZִF! ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Ly1[a!u~izj4f[XzNh1ck\iU%PlC݀Ss$yo`Vh*D$$563Im4y+L}dp5BLqD5)sM^,@6_-gKjqj7Y m\gYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-Mgƅ)FVDDbU`A=E_)*;pmjWQJ}YZ7zXZִF! :]ŗXi%923Tə{^)vjXd,~ RNS^ٳ)ɨ5v@s9YDhA4 '. N܄h$25 *ٶhE,&}!uU_*_0:pIɇ`TvԞL]5>/4Bѭk5WlWmT];R:9,c,m0UۑPR`@׽ioQ{ ś厩R>ԔLJ kxM_GKk#t? 8W?e~{8i7l@%IƥSUtrfItE$ݣM{P, or%ߪh2|l'2ZQ߳~lo`@~7.SGW._mMpL]Oj+vW :mF?~;jg/U>zpK 걵qHwG,Dgo+&pvC{;Y/J)r+dV /k8ClIvŜ ԚJ".Fic͍D]AE9iyia\CHW5R|^Q)AѴ:q]A]{-\5Bºj:6x3 UTv,O=Ije48Sͦ|//*ll a݀xgZ^ NJ3v\w}JDq4%B&5ۭRŖ.vy&39ՇɈ*{ ^{ZVP&54V8l!@R*Տ`FT >wf&] ԫTp9ugYZ0d7cb13900940af00acbee1024aafd553bb4a84ffa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 3 Efficient-Mergesort