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  ` `\\ ]/ GoedelGod:threads=2elapsed=8.858cpu=8.660gc=0.188factor=0.987zXZִF! f]ŗXf1-/6vRZȔd} bMJ3>~T P8lZ 2= ˎ_H}xx8PY"e^P#3T*,gYZ7zXZִF! G=]ŗXiɟj bk4ĻMGC/Q&Nٍ,v淠Pag YH3}YZ7zXZִF! :{e]ŗXi%;ßE/"0@t Ls D0\K=_u*DC-\5B1Dxffxd֎)o M<On |8qW3{c~Kvӌ|M\A:k1+o`'W;|\Gҏ&vGKWѢa8Wwvψ.j2LкA.b[^|* ` J _eJi? +3(4$?ҺŠO2. zh(U߈%e4>ExB?̠eݬ'aCE4W~X[wh kޓLNvis R& >ᆤ`<ЉE-Kn͘JfG$;(^8&m#.A_51>QdBW6otnbn5!>܏bj|VsEw&wR8=Lml~YA9T3&KЇ3JoCb t:sj soJTz\~)/As= h10lX0ϏǗ4W`?Fa7S50pSg}@=?CfcS|vT!.xYOVCdhװiNجc}Un fQ#ԟKTt#;gYZ32a18aa66541e73c1b75e747edee30f5d397c71579d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d   GoedelGod