SQLite format 3 @ - l l B77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info &)l/ Twelvefold_Way:threads=2elapsed=97.276cpu=177.720gc=4.148factor=1.837zXZ ) Twelvefold_Way ִF ! , ] ŗXf1-q恈NucvAݪ4 c?[2C IfW6'n/aŔU] %+xU/<ˍ;NWOn\9>\"HH&M 53/NQfUe㳜d Jޢ:5j
Nל_$ԆPwD[(:{k2λutqUH_Ff.*AOs|oO)
V!:bfwgȕudN
~=f@a;Bw#
|:c`;Tolk5R!rNCj2X~ɝiu%AY8P[tjchGKibpǖ