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 T1 D< ]/ Concurrent_Ref_Alg:threads=2elapsed=10.619cpu=18.608gc=0.356factor=1.757zXZִF! ]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D7BDco_L-ˊ ePf%G S1td/oS+lby@ OfqPAWv:ʌ1g)O(0HnVe!'@U6 mgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu bJd $ٳ,kp/lvZYt/gM'0 :lT JscL`d[/HšDv:C rI[)ץ;\5&67W_xQh$\swM6G&wcf>.QgYZ7zXZִF! <]ŗXi%6SuYc$g@GJ,\V+epe^2afez֤`ړ4\}#0':K2sꏄ%oCQFc,qe` 6xTɼdF:C)i֔% |Gdn!? [0Enr#`mG[j9USU7L1>*K %|F?W:ı; ،?#f\ Ra)6ث^oW'L;d"oC4ℹԖQ.SkpuD̤8\b HwnP#}f˷BG,0]`&U"'GFCO&*x@<O L˷P]<'5 >M&.5'˩;xd,dTkk˷Ō/dq6r^d@3[A+U˂N+2. ku]~C/`3 )Kr'V2&J'+x-9!"&?R2O#GpVF׊  <.w8n#K`:Fw#0Oy|zT]ZѸ荸:-5j"ɮ8h3صҪRVſ&bzRz{uoDңA 3_y0>\OQʵsɑEΈ™5$ m[3V͙{PޫܻM ˲No0q'?8e]&,-}Jdo95ϴ"("פx E85 ez"j+ı9s$P<_Ib4ۏDi/@ʠI"IK{f!Wzs& :tk% *0;~(ʧ&ηƖy4gYZacb889394259a8c3f68db09766f02df24983751de70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 1 Concurrent_Ref_Alg