SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [-,|< ]]CAVA_buildchain1:threads=2elapsed=145.933cpu=272.476gc=11.088factor=1.877zXZ ִF ! PPN] ŗXf1-/6vRZV2OHP"yZz%}<4hw,\~#?ǘ&LO X`-D9F%n=jp$V`,R=32lxJ_,{-\4p:9Vh,G(t@Ovٳp0@r;"8G/(LQJ7(//$RJ7ֱXy`\yYY11۳ޜb`4A@xdnG\$Ǯ?ާ*%!G&{(HAaе$ZkP4&EPo-njpk)dE20h#4?v"ʻ@QvK ._kp0_w3P:-90;oS!,1#j|6@]RL$&~Cw9XZG4_3HPP3=,Qs2h9ōvܝ$]@2g%mLY̅)P4I M- w+{%ӋEXy m#Ab[z~)*0F]'[F|̳ 4RyNԪ$XtH)&_QwؕNBuy̶Ip\S5\O"eR=@K)(EY_={&v&Q vdqV4۠U$:|뻘=oqBU֓KA 6m,}ٔ,N*