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  a\d ]/ GoedelGod:threads=2elapsed=8.475cpu=8.252gc=0.132factor=0.977zXZִF! f]ŗXf1-/6vRZȔd} bMJ3>~Tt?V :ޔ!T2lI/ !R\}I;cx2iQ08TݝT*,gYZ7zXZִF! G=]ŗXiɟj bk4ĻMGCrg!3".]Q N@/j`̛XDTYH3}YZ7zXZִF! 1#*]ŗXi%9(SNhPWÅs8r}A=eIJ).yocٺ*#--˨$vY{>0pL}}rK=FZ\UNE$ W:#"K7Zp{0!A?wCC! ×ZN:Ǵm$(OAܒ xRL=Y Ml{gbdb7q$JXamsvw`d/ 1JqKB-bFuSHј/+sNA\@S(. mAcxZ퇒ry_ ;(*{pȌ>B9 މW_ к2[eÜdҺ<͸r 5[t?dxXi/ͅ/>`tIt̷!Lqq[ +GV$B?mIq11nxK7s fnN"Uo;v^TN#f&N#i {椖Wp\^CY ynWsd fK i5Ykr8H\RkPd9S8HH[Ʉ7y!}jR!y0_ҍQsG~衘8/HMkyt"HcP]vs*F:9*uk,Sy|]/oat,3g}'{k2u|8b-Јmy96l:OIc,2JU4Kv9n?s *+j $`0SˆY6bMgYZ0573a76161e8abf37f610ae3cf6f72dd41843c8d2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea   GoedelGod