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  8l ]/ GenClock:threads=2elapsed=3.732cpu=6.292gc=0.084factor=1.697zXZִF! u]ŗXf1-/6vRZwE}%X:!:7^xqlOq ݟ42^9oҼjQ(k{ҝ~hSK)sa1cݬ<= +9~%i|en756Jhe%sm]ŗXiɟX/LO18#jS:tp u/ ˱ 2^ P k]A4ZFPm}YZ7zXZִF! "]ŗXi%93MIo k NЛJ##"J셲̍m86/ W{ҕB0}_S??ӌ=i}Y}v_I'!s%l5"ᝳ_tM:P7l礶AXVU;r/$Ds؄q{7+)RyE?VΖC&;!w گ(%F+*Wԛyqlc) f~_ʙIZ< [w՝ x scWC.wqk4 ޵GSѻ3zUʺr>pc cmiR-Ms-KqwU+!}٫ZP4g GNޕ?lY8M +q?0Z׻4s&?!,ρ/P6;n ,S<|PRʲ{:HQaFf}7& Jw M\M'+ ¤8.^H7:Be&% L를9ORtLyJT0I -"pƜzaחY9}FJ4jE(߱b[@!X -$gte WSm8hKSG;Y= ݢcdrEgñgYZ4f7181e7f1aa3546e22fb1d2311664768210b901a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852   GenClock