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  i\t ]/ GoedelGod:threads=2elapsed=8.902cpu=8.660gc=0.132factor=0.977zXZִF! f]ŗXf1-/6vRZȔd} bMJ3>~Tt?V :ޔ!T2l/AS!HQfaH_g(^ڌL:eT*,gYZ7zXZִF! G=]ŗXiɟj bk4ĻMGC4ӚQ.o݀Tb9YH3}YZ7zXZִF! 32]ŗXi%6SwNUx}a[&GbMZh11OܗheAIb~q79N9%!fHo zpax]q_]u^{f,K>=A%2# (&Vd{ Yߨe]kL.c)J]QahQ`ݗ ɂ|]yࡕzpGɒt@g!)pgDG[!9r*JSz;#Xw ,Kan2X2z"0&(Zr{]<FeR򱮻;&̀ZLQls^+M&WjCiԓg! Mp9`#^hHT 9mjGc8&e۪KӀh<)0w#6Spc=6ݿO⫰&Dӗ֒ ;&+lxsaϩ6]yP1$ac':܁=){';T^3NwK,O/.hjؙ~ЏYFƤ2]Tppl{AiNUqE%%OggYZ00dc812a17c2b2b492fce058d411117ef3dff98ae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc   GoedelGod