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 `5 d$| ]S Lam-ml-Normalization:threads=2elapsed=10.013cpu=16.376gc=0.952factor=1.647zXZִF! r)]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘 1Kzh} Tp_]P(C)յPl]-D/J3^),q.N]#5?(Cio;*r+9Bn=l`w~`tQbɛ|n* *v\w\w`PȞ$\CͮM覒5n4FĪ HyegYZ7zXZִF! P::name=Lam-ml-Normalization.Lam_mlelapsed=7.595cpu=12.496gc=0.680@"iQՈ}YZ7zXZִF! ?I]ŗXi%r)Z@0{'% ܀o e$tBN>@iB8l^"bF-*ܽkÅ8ʺ] jΛ}!H.MwC%uZ41U|iw|ِ( =Y obST 6ŋp%c(.˗)xhp`Eoʺ6R>G *U&]|/}]d/g[+ >lX7"?7:T-K/+T$70~H69J傦$ucPΓ'#D.*>̤7\8eHe120hn=6nt86tN6lg1DƎ[攣Jԁ)kJqdݿ0󽾬S56O1 )&rBógǑG:*L୊ o+jUqU6"_8岯Bu{K/q0vK>OT̐~01ᨯ!5LGQ9BXc *{0f9P)YlO[2'"1:2[}!gp~K2&ʻ*T:BH'