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  \<| ]S IOA-NTP:threads=2elapsed=7.963cpu=14.160gc=0.696factor=1.787zXZִF! f]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TAbm7^qU{{׷ONw OLt+!lO#;<Jڟfq[p/Hx1Wq&!P6hGȈF6⌒Qilʯ~Y+ä]&ەQgHT.LZbL\iՀG4HctE*h:K6 v6|C;<ڷNkS@S-@Ưm-wLysN$=ctCg78 | ӭ3Q4 a߱gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz$`@_7R5|(iHzov!jm!vOKx"PyhՎ1)%ƂD`r|# 5LS0cW%Ad:R@t|gfv}F1{0@?Ji\z xnTj LuԌgYZ7zXZִF! %x]ŗXi%9(Pψ hKG-&ZRIw J>]7zjh39D|ܕ/E-)4}=Ui%g XvU19MUK KG c=$K .O  Lmwud0YvVZ z;syh=Aig&*z+z <{8Q .Qq>mMeB􃠺ioPC>iHpms^KSY3x`!^vs]rx_(A-W(AstDvX>络fNx2,#Hn+?V@{p۔7ɘ=]y0pzщsn εg&dUR*/ J$ W`|RqJLgYZ82bc0dd7037677c0b094be682760ed828d8675006f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 542a4e488b977119020a5c98f66b8e1daf96e42a c431ebd364e6717156f55b567dd213da2fe866e3   IOA-NTP