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  ]% <t ]/ VolpanoSmith:threads=2elapsed=8.400cpu=14.740gc=0.580factor=1.757zXZִF! V]ŗXf1-/6vR[iB9Gf}P9O`4Fp ;s2ڃw)"kv7EBjKl>7˒CZ}dpI7U8͔vb;+X)q2L|Du'm.t@anW <O٢KM_o/IyGkjh⫀jm/@ӁǞ/%Z0{6dC%?P0Dm| @E5df[1Xb.QµgYZ7zXZִF! |]ŗXiɟS+;̕*A!@l@?UVfpr[;Ԙ̺}^ bHr69WβB〪@#nVz'W(74_`՚ۍ$ͬ[;qugIȱgYZ7zXZִF! 1+q]ŗXi%9#qw}"'(ڣ.YcOˏBZ`"_q!rhW)U}I@!IZ\< hTHS%~f>>kYXd1lbs{O=ZR7M\Ln Ic)v f”~ + IY4 Xml4?BcD(N yMj5oWe&ؙphϫ><3e8%.&q+o$U6 -{3a28fٌy@k)ަ]#cioll ^ }@:!|;tx$U#v< )O/7!Is)%:K ŴnXBB.+_3vF7H }Qzad5+@HRI.PZ0jh37 XPRh@(Dz& 8/{P:UQHe8ZM\a7@񦄊_#M+KL5#UCd*? !kWF ]Y)2:/&85%zb8gYZ6341fb4c5d41a8d7145e8095b09e9a53cf53a7928ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a % VolpanoSmith