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   s |L ]w]Routing:threads=2elapsed=18.156cpu=32.864gc=1.032factor=1.817zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡wMjQ i<ɔ٥c2tujgo:Z\mXjF1H\{ ƌK%% k #iR1x `S3$scvEqlSҦ~䁶Iָ\́S$oy ;s/^9qe-3p/0=/J.zIFkIMS<zz=@-F2ep 5hO?v$ڸgWJmEA' xmNw=RU -lbR 2p:'lonV 0,'0nlZ 3 1~E[61;:%!C?Sr x%*gYZ7zXZִF! ]]ŗXi%60hb%/x#",o3#=Ԧ=1Yr`}p6,_U:arVOK`lD,-Λ  `Dtk_K}-'|Zbz?w)Kq>Lqsa@jޜKGDaY0ʊ(#l>0ǂ)JTgpR/! ]D"܎B'wcJPt X"`Poܞ&: qD:4'#0@mǁ- ?X]8\L m%Hm9J>F"ΩدIdK˦Qvt6[eբ9 )dɏ9͉,l}bZSf$[Ojc% .fڒe{.,kGK;oirƒMh!+,oF~A8FuC "[ax|87sQ cNJ Abxy$Jk2wK& tW}t4< l_S i ͱ=+N96g.Լ|= svYR~+`R~.LGy)ơ`!Mvjs'/z}K Ւ5 QNc YyG+`!zHQuk$FE^K_cꇣWb)ڤѼǵ{3p`x*Es!2:ol3h*A Ք@:*x:#2ZB@ϦR|%~pÁQsN34#L:)sD #p"+PsŸj\i;'2݈"oF