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  -d, S/ General-Triangle:threads=2elapsed=0.797cpu=1.228gc=0.000factor=1.547zXZִF! j]ŗXf1-/6vRZwF|"Ţ_1T#s/7ٿZiF\v]N/I!* m1w},criWyieNϞ0gYZ7zXZִF! ]ŗXi%6uPxR .kԩjr5̜SRMEj/VN!{cʟsNg|j&sa*{Ѽ:( `݇&;RGޛ1@nlovaх3MƮ\ȅIܽ9o,{6ƝQ+_˧[8ҸDWeb J(z,Z` s={.Q\&c&K5YLk&ońux^y/Fli$aYy~o=4'U`0J2C<%ըuOY8W?Gh^"o8#(zm"Kij>|UeQےAV-dZ!:Y[sq6P'8Lb'BNU]oj0u>(Ft=7mvrZKb3.z?|;+>߱gYZ55a71c759a69eb032b714f285197ac6553885a52 8416389ebe9196aea2f2eb427180264ba30c9def bfc423c2d3b5b9af4f1bba4c6b722329a87c5e36 e9dce2cf1dd60b2ef7e1249f2cce4d79420f1fb5e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d - General-Triangle