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  ^)t4 ]/ Implementation:threads=2elapsed=4.204cpu=6.580gc=0.088factor=1.577zXZִF! ]ŗXf1-ȩX/@G[GUQZ k.NN_xMD.;q$Sk- 42Zytaa4cf8-35h=. lj@ .Ě!y˚z{b _oή YٽA>~gYZ7zXZִF! *]ŗXiɟR zMhMj-DQ9\UA !MjH Z+,dmb:,^OʹkovOx{XM,P h [3R |d;G3drӊsZB7(rӣ] E3HġT⾤ܫ$ G6(ͥںez.dt+{j,HFgYZ7zXZִF! 0@]ŗXi%96}=^CHqǏ5MaXj$?74InFKUJk~i֭Rr] ɧ~fY7Jt0:C-:qyȩH!xK̃U4 dΡzJHAl6.efq$b #83Ns}Tw&ڝ1L#k"tJ*w/P0(D{n,#BkݽԂ?Е.W[Rq4-4.,ntCGUZČmZܕJe:kB|#%$`[kYlMآ@O CO4*lj({?@ tR"gE%xΘ1\l v:5uFIQNе!$T~3#ړaˬy]_bK5Z٨`RQ[s,is7GP2Q"Q@*HJmoN #lgP1ߌb#|}IO@wm )@za*UC8q.\4ıgYZ16bc48a0d0ed18fe914ccf272f766df752383fc9ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d ) Implementation