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 g- \(M*oY-ꯙKtҲt`2E4Xye'rp@KzE.4j%:K vtlQgKƝyjдCMȧsuM-D䕶iA+Β%rb*-y##⡃ _!nyX>qn*;;y査A.sestH~ Ǭ`_YfʚԋQlrW Dd5!C e٩IԇtMJ ^I&>q:3{U1w`@U7,JY}+01 j {|J^fPc[ GgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx4<0|,c0b2"ѷ짢@" eܺ9( (ir8D%k;?bxᏯ<e~wf{7rśn 6,gYZ7zXZִF! cN!]ŗXi%ύnKnLqN׳w}1"sI!U}JET*YvdA'?nYh@?Oūƺ=&ȓ/zxW#tZ/ oD,rvgh")쌹lMIHqw d}ԒVOa"lzѽ^g=Aeq~_<(<#^zBŒe)P"\zh)ϟtLJ]s"ujOv*5;R]/~IГw_FPŊD7E9_Cpw'g+o4P6>qzma)л\p;yO)Bm27R&(h::ARD>5ߗx|x&c6"e1i g?0)rd3ֲt;JCG )3 O~U, m^ש(c;b`TlmmeI!vnA] yyyxv=!8q|XIifdj?P0ЀT1-:03?o$~l>lJAcnpSK7?n_txx)by. RHp(h͌XVpZ6?G0k\V&dB90+GyDH`T3,Sgd