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  -44 ]/ General-Triangle:threads=2elapsed=0.616cpu=0.960gc=0.000factor=1.567zXZִF! eX]ŗXf1-/6vRZwF|"Ţ_1T#s/7ٿZiF\v]N/ITSi`lwotf}YZ7zXZִF! TG]ŗXiɟX/ZwowUrO g }v`ƑeCmmQ?FN}M]>Ӑ ScU4(Wu}YZ7zXZִF! ]ŗXi%W~Lr~]Jm{Y~B:hW.n"36F&FCHX 07z*I^P>L8S<{!kn"[McRtrKht<\FB`D?]$1=q0mKC]|#r?UA y E/JrO k(bD(mj4XhH6:=i<sQ!%1;cE qHNQ:#@wvajR!WQX-X15<ɗRE;ppDܬ&4a"晅I:MM-G{p&siI4YŇzӽn5|@v^NA.kkŦ)Ω0qGR/ͩ^x(lTn9 8z*r jc/& HkGQ)gYZed8276fb359625e68a27f2cdc67be47cbadab5e0d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e - General-Triangle