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 +3 Lt S/ Impossible_Geometry:threads=2elapsed=11.749cpu=17.376gc=0.440factor=1.487zXZִF! r_]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQ>kbr ^Zhi[i+0l) e|k4ݔa&}o \ BV#2^f^в|^SY^ɜޯ$}Sv/E(;\bjr(_ĹTGqa~wpa>L[;27Us북Ri>+ -ʄHa)$ `o;wm00 lO?z c;>|T=O7dEsߦx]#GKG= 0tZ- +sz~_\)CgYZ7zXZִF! A]ŗXi%;D% W2n$)|JR%]+`VXelNl=Y~MXJθ3|Q |M-0.1faJj(/߉9ujZ8?lyTV`@R]63Ѧc8RbT5+;E!{|)Qok/rtZ@<,2rݠN(pX.0Pp@F4q6,k-]3$;8=QA g >47^Kqi+KopV$pu>IH9 )0\FلH@UUkc|?akf_4ZHl5vs-ձpVvOg+GDAg/krO{݈tLxi: q-؇* ܰ}9"hWLE$t8#Z>J@416Io3 }Y Bf)My-6VMUoj