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 e) L4l ] HOL-TLA-Memory:threads=2elapsed=11.860cpu=21.032gc=0.780factor=1.777zXZִF! Q]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE8 P0~0 ^B]9KfynHV T08ͯ^اGG6Ze|iW0h~_L :>V1nFѫfEVK.F3-N@D8 IdG,]I9*wyǜ}+pMΨA(^fNYhAݣ@|VSbޕh[exL# #oD^C" Vi?U<Y! $atQr0T-ɘ׍Y~0>T+D#ؕ쑿}'<2 FVYap!&͜![ V11C簂K&i54͝Hd%cҥCl>ɼM-pM /b,<|ٞB_Oj"IcAO[T[4jgke,AoQ0.D˾~,ˇ5bp/^fۀ{Ww&_:i&Xc㌅s!A_1iuC.;=y}^rH:#o.O+R0>rGd8hd1@m+ru%S\[Q_ɼG<;`e)[lKLD%t{Tyӻ8n ݛn2ǀn_2JF~z&2)D"kl'mU/E'B7f)f\Oagrm9҈oҨ99j rqa@)$%$#٬Bh[1P'njOEgH݉O+*pIP1[rR_@Y$܉/<=AH^"˄8a8RziÈ7]acS6-\ISNa.MJ5_2O`Qio'Tl$\ @ %F%6HDO??+ceg}m_ WI}~=6hsmϣ B'flN3gEMMdp DggYZe37e81ae0ac18ccd071dbe5713b04ff93fa9772262b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 2472acd6383d08d6344d2d5ee6f993781c8bd351 ) HOL-TLA-Memory