SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  tTl ]]HOL-SPARK:threads=2elapsed=2.270cpu=2.884gc=0.000factor=1.277zXZִF! q]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖ.[cYm7 ɋю^Ă,+5gYju{?]20V(m@Э֚Kz7 <6Hk,~QR6sgYZ7zXZִF! t]ŗXi%6ħ[ xXα5@I_joqg-)Z)ǸE̾wMuSɽ0lRƃ)WPKpzf.t?l>;+@ϸia0V\( y@#QDg9ZLK(BUx72_YJT;t_X+^3RL?\ZЏ2GlGxjD|R@Lu|:&o2`5_s#`;!&Z<%j}qd4h=y^fؼ/iL^B= /x4P~1 5"Ŗ<ԩIaAkrG9ԋfe7NaM=$^#Gaϛ_ਔ^0$0+w[BMN!M@X@N6;-yVgYZ8be81083849e55893450d153cda2fd14dd80d3a172476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 9056eb8256eb0b8916f5985c4ca6f03bb16454f4ef5720fd80de337bf39dbc40e5ad85b3f0add149   HOL-SPARK