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  e\l ]/ GoedelGod:threads=2elapsed=8.231cpu=8.048gc=0.124factor=0.987zXZִF! f]ŗXf1-/6vRZȔd} bMJ3>~T P8lZ 2= ˎ_5X[aʮWC Ns <øcJgku_T*,gYZ7zXZִF! G=]ŗXiɟj bk4ĻMGC=M/%UI[gYH3}YZ7zXZִF! 30]ŗXi%92AZ"~SH=FبNj?J2foI8=bEQIuR>U͜'35Vz$w#"3yv%\^Ru")@m3u|R5V }p.忂OVP}hm.RvE;ug2,Hͨ=Ly.X3x UpY(`Y6%ذ#A@bMA4z5w*@1R詋RL+](Bp ~m})Lt'k]F $ LQP_NVV^q8O.P(KN6ˌJX3:ž6^O;<0~7YExW5Cf?9LER`_~Hfݏ G[3KgPS 8ؠP6TlUڇrW1LjQoὌ5Eˬy 2; ?mK.݅K/>@1[k',M =/fYo@Cx ]j,>ࣙ##Sk]9g gA/C7 d&pJ$Dܣ\Fa.2'Hy)kȉKS,hIioWj.~@.qŃ'Lc,R?{, 9}Hzș5x9xv@LOwΣL)Sg5@; "|D:Ph.q_p"xg/j9Rg˕gYZ70f130e16e338e0229b38aebe7e244ced9f52c3bf4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0   GoedelGod