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  $ $Y# T , ]]HOL-Nominal:threads=6elapsed=6.237cpu=12.960gc=0.628factor=2.087zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ207gyR|&p|tb; G  ߙ(K ]`Uiwި1M.7yT<{6i_u\B•xk&iӸ4 iw휣cHrXh{(. t$\(o< ٩$gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´G:]t@m]ÔV;E%z@Pku?`I'{J}YZ7zXZִF! q]ŗXi%;fBe[$G 4M2?/|dWKIz{ #z*,yEě=muƖzV0 @7t-{Hac3rI^S[ڠFP{!EfAHleDZ3@Ǚ.Ojy$Fdd؏Z#+e to:{s*XK3HuO#JU#Ş<.L=DK94g|qrH@Ðm%.ٞcqi+MQ<ްWu\m;L\gN{a$B;u sh/uVwk#Kt-9oDoS],a7kLF , (XHN`d`0VA |0d 3~0(cm0P,{ @j.)d oH [hn$qO! wÔnQ>0/BK^KZݒz 6@|U 8?̥a[]Q0_sKB@#uȁ;r