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 6- LT< ]/ ZF-Constructible:threads=2elapsed=16.186cpu=30.296gc=5.320factor=1.877zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}όnae0cɅhSI쓽jm,4:f:*=8;ʞQ`|+Xw|뀵w AN.XK9\.#Uv|l\HYHy@R~kIvMA`&ɢ(if_h{!')D4E`ReW)b tnD2}GȺ}YD\ @g$X՛Yj6e+f=/lC۔u ta=';G*~gTYߐqeNBm>Ia% մ"U.#Lnl4!1hljשzVgYZ7zXZִF! d]ŗXiɟ95ZrY!Zg>3gAKrt9t^Z2W,L{=WL0e<"P5 tFgYZ7zXZִF! ^bU]ŗXi%;b9ȾĒǘ#]0gU +=iСK~:0X*~_ăF$@k4OZXR0 ntf8|bPuNEt`ͺ+ pq)4\jdk45szX hG>&JV&AKڂɌt襅8rE { U09@ |z^m{nS'ϝ ݼ5A, BA_5„*RpSH-ZzFiBOzbmX0<;sT7Y" o`B`iuo*; a^