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  O < ]/]Ordinal:threads=2elapsed=3.192cpu=5.668gc=0.240factor=1.787zXZִF! }]ŗXf1-/6vR[$ l0I/O]kPJ/iCOgYZ7zXZִF! ]ŗXiɟFHuߑY ='Jz%u >Y U?8S2kM0!f]Ϧ)puJ*6"T7q֬)N3|+D[E`U( gƝ"ks\݈ R:{$q3 _t0md2y!mO~1xQV55 xZ gYZ7zXZִF! X]ŗXi%6So%?{Q6a.tZJn'K =mQתl~+F%+`r[-p-Ss-V/AZ3"QkKݲꩠ;g$&RVRPqj O v@ Db'lmCIUd`N&>Ev","1$G3]In}]/C撛1QZڤ2 ]Gj4oHe}NIrA+&Ij8£| t禓pV O4 nDx+;8xKJ fψ2WyMIFH<)Y+Ru Qd8AtJ[P;FK5 r\>d /86 $22e|3BC۸6TcXM^gi7CgYZ7e15424db7f364c62403cc8aa34d4d1629f65490e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddcc36a82c5f2b75a2fa168ba6f76743877302143f0   Ordinal