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  11D\< ]% Perfect-Number-Thm:threads=2elapsed=1.724cpu=3.068gc=0.000factor=1.787zXZִF! ]ŗXf1-/6vR[2?Tš͸<l1ն3!^EaFt$ZsACm|j=.;I(d(͝NtD[{p/j-l$"w"/vm:LgYZ7zXZִF! g]ŗXiɟ}dѯEYDovgZ#U5%;ʎװi,mbq&4cL3?f:r0-M217y[bp YgYZ7zXZִF! ]ŗXi%;ŸyZ$$Qiglzfoe|v&us pXK7gl\YIO&Z3pPvzn ] C/R&1k㿕>dA5tOSsRsʿFI%N&N.0.yg؄j.=>(\`hCkP [LghJ; h_j$k$+ I;c֡BܶWY*")3x@P?Gċҝ9Oe\;VR}Z8{6 e5H\%eO,)ʿȲՌi|b@{EK&='R#к?j*s<K-Hө/rg_Ln m#UpJ+tf_6s5Fcw;} p=d Wf F[ёٰ;m Wgg'NGS7uINˍ DguJ6