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  @ @=D, ]]]FOL:threads=2elapsed=3.240cpu=3.580gc=0.148factor=1.107zXZִF! ]ŗXf1-) enȈA"XxBT/'`a^0B>r`a[bqaW1 `d@njɇxU"̔*v[^=)P̓:} ڱgYZ7zXZִF! pJ]ŗXiɟ 1FE`u :uw ץ89Hp <;(׳c8Nh orfq8#4}YZ7zXZִF! P]ŗXi%97I<jC]\\]QQ_o)l!ygrm!҈&0}U#ӧz6:/R;R(di[C;Z^}CЋpn;6[og}\T*ʑG yM/g_D#{%7v,;&}b("N\G(E4kY"Y,?賀r"#?rp@`]B41D/ Fn%$H\hU>Y2dLnj r/6zKs,bbY + 탦8U8ɂbz/`_:#ݷ΁i{w4m9*)hYNQf3:MDcw&l=AVƱ6N2+ !K5l Hr#1Qm H˾Pͭ !{AogYZ7ef465d677258249893042adce427955a58ae27d98dd477b080148668828b0f67c6e8a1d9708b3f31cce7aa0d96ae676011f7c2b730279951f86576f  FOL