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 1 e5\Of] -Z֩aPV[v@!yfS=4ڤg2IKFli}F(*p?CB%twe)ս', },![)4L`7d& Se4ޒ)^;&~pb_,bmT 2x;2ߛw=+sע8S(}W2˼秖xe`A`NKąC3`ۖF<+QUY,4fSDY%AQpAs{CUX^[>.<PBoWB}c=6+ѡ i0:_^˂Pp8Kkw Hq4ήOFIYuSpZa8)| 5̕;VB"lBS9O:%ǦX÷^c(k׍-mx5h6Ío8BVgI9qAۆ8 |i Q6}0ރ!n%p1 JQ4!Tr%m=2X': 1rۛ!VjgYZ7zXZִF!  0]ŗXiɟYW׿5-3x^jxͼʳ`O.cbժ\l^#LKwp/O[+c孄{lv u+&OQZ}lpC=43Ap)jm\t1!+ D=YXNZ@ggcIKr5 ,gxoBo30| khAf(Z6OO] :Np,R&2B3]B4$#^;3 GDS.w/opBs7*r1rJy0j?* PSB2j,fαgYZ7zXZִF! []ŗXi%q㊻|5%)$ѱP͈h-"U2m{We%!UN4 H3jXvd "?Wn/6(˺Ik@b +2&LN1 Dk ZqS[l{^Ynh]1 nR8{DP|(;doSI⡣EQ`,X}Wzl ("):.FAO3ՇШ"6<5{]jx=0BR,qd㹞R{зXZ/G-3#N {W0v,IAta(K UHHaiY@ݕˏ{Ir73sz(̏eRJj4