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   c <4\ ]/ ZF-ex:threads=2elapsed=11.426cpu=16.640gc=0.564factor=1.467zXZִF!  ]ŗXf1-W(TA)GdJ pgD3?֯40jsz!*O2Ё3Ե$PS$hAiK`bnh>+)ܕ.AkVi@ އ{:OnvpPYwv(,ĥnrF *ѱYU&ϴ5 3V]`[9+M!zt ew~^ho gYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]]9kb]o6Ke:YSjGJ p(aڦ|putcX(ۈBrYG[۪'ο)un6  7 {a~(r6muL*!'` eto6 taX78q Ä:\IggYZ7zXZִF! 8a]ŗXi%;u %Tݣ EhvAګ:wPF%kyޙ쐤< ʿ}vhk9+1l"oxSl_+;^y-A:tn2 Yqޱ)9>sJf* { O(3rձ8f.M-*+2EJnrS$(U~d9mzMz/ƒL_oS5_ 2qZ'P ֏D}/<Jp&mH |lN)mQB/MHMsv)lk }! C/q$lz; #j|$Aw 7|tZ{ {ГeɶA~F_7QkcvyAi1DxhN[rvE##k N̚$#Q!Q$k%g'Cgh:[ZHLn v Cw=Z^$i ( ku8o޼ʩGa&d| m̅\̖oœ$㪋(LVӾuw{|tk6 L6fBBw*Djr"0" ʘ:]2RhM2PBf Qyw;P˘q6WCD%[luC)DMnϰ~re jSW~oW|8n4;\_Z]F4 |1;!.Ůqy.Ŵ)]~S6;֐B?~mX=?Z}zዉ&a̹ ,0 v>ۯW3+oj7d7lM5g/ wmLfZY-K^Oa'l*^2M]\ i!> ZMu|]LmMfǜApӱgYZcbceefe0febde71a91deabf501a33f5e1865d0a73e7cae349853bb3f654071d127673716b1e97131 9572fee6c01aac86638d65a5a53ae90a2ef04357  ZF-ex