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  h h/ 4$ ]S Old_Datatype_Show:threads=2elapsed=11.058cpu=12.700gc=0.352factor=1.157zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[S{ybks PKuy^T6ī'Ցɪ5w;KS5tx 6x0넮9SzQ=p_[z ſʭwVqڭrtNg3$~"Mv`{i~fgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxͺ O|_̣nBi9a򃏫=@ƿvy 7nˆhU2P=!<ײ&J 1'=ćjLSgYZ7zXZִF! 5H]ŗXi%;iȷQWFR ,i3F(eZBoUlWUk/=۷zr as*= "}+"ޚ pU9Cexl/2tr ^֋Z J;]u xH3Sqc vvi29R2G_Q}Ž!ĨRzuլboAT+ MIÖKRDz3pp Xaa^[Q.)~-p3QbP5c:y|Fۊ]]F5e衍o+ ;T`Pyq ʋ{닇ijR\0+8Vw ~K#ZNqm jvh[Y < #!,JU6D 6s7ED?0t>UwaHnsn_ k^ + g庤oyT`@u69~&/dq;: fy|h"okř"97#Y`)a'a.m ӲFs+Ċ3WId?,t1-)#euab8NGv,{y%sUBjUBf^a@T҅>9}¡*ize'2f"Jv&̌eeE N& !>6]WH%X{~jIV