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 dd T ] IOA:threads=6elapsed=7.367cpu=29.252gc=1.212factor=3.977zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K*"Lz UZ>U[6qZmZ.ʗIKq2aS KįI\Æo.8%yģDfG]jU2KALÿr&\e2g:Uև=f H>x0֒خz~Jpj!Nu/_ctݪ܄K?!P,>^~rݘ84 >4I nLlfg1r@S7WVӮ\ >L(<QIZВd<22c.BT?YuLtl gyJfZtزnӆ1g6 $hc&r"W&@I[Ѵzs3;$_eip\|pC[{@?w@\K"P%kYY|\>`dc빵b8T 2K0Ig4 dñgYZ7zXZִF! `{]ŗXiɟdN'LvH۹$nWvYe%b O߻la~[n0pnNQz1gj_PRBA/.QT·g:LEk|ڀtO"x@mDiw7a0Tc>~&n4&_-%ר*ȼjyEL$gӸCb?cz5 ǧYj_>>͔m`9˫{* 0G`3f.P/bW)R\&P=?5sYv9`+6ͬN+%9@Ü WCIFhja@P<]K&&?/8^G7 YĖD ( }+gYZ7zXZִF! #`c]ŗXi%9,{WaVòkwLjalg ۉم'PbooK!|:׵3'܊K=v:#y\q!tR,cox}Sc0R,K"&G,c)Q:h-C &xPA9֗̅Pxs-ɭ?Opsl o^g~'3Cs +X:qn0JJۜ覴y"Wk i'.<xa<_C.Ұ\Z!dKȚyЃmx r \2$֑Dzq85o\M{6P>/lڷQ.7FpLu9cmw.H&c.i 4-! M,#=Fs(qӯu"&pe&N^v"#hgwL^TǙ  sH&WҔvmlj6^H5I jڲd!U8 nJc*/-'r̗-[\MMxrԸR-lMZ"ydn;X" {E{-up+9dpY`<'ܘE<`(2 MT!l*Rb -pi*$_=#y1D o6Bl,1T[dNiM0;@I:?u+z?I1tN)<:iXX.v!-r9vC:T3hN"Z|6f4!"K!xb},?ҐSЀ"$#/ F]gYZ41ebc42c3fb72f9720754b6270097486e3897566f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e 3b15936e361c4485de36e5ecf4f1f2e8f445e71b 8659412da93469b662ed810cbde45ca7ae9af3bc  IOA