SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  X'LT ]% Lazy-Lists-II:threads=4elapsed=1.422cpu=3.580gc=0.000factor=2.527zXZִF! _]ŗXf[& omv1uڧ|,yw:A3p KVD@ AE M+VB2F,cd!_{< رgYZ7zXZִF! H::name=Lazy-Lists-II.LList2elapsed=1.214cpu=3.316gc=0.0009Hݮ0aI`S}YZ7zXZִF! ]ŗXi%B:p"/SS-U7~L)Rm`(nj9{":cݨðO~B XHrIO -h A[p:u]fFw2 ̙[N}]JɊE8{+Ư"7#w>N~xe1R&"ѸqV0=3$JnO; .ձ=`MD*s?GoRJ&Z[Dv0^1)-c>缉d"E0`߯-G`&nm (Pyy`$qNMq7,,oحfF >g $8s}wij>1JmP|R= 7;vw;VϱgYZ65c75200118f8f8159e4bf80052e349b799f717913f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 b7d4e5bb0195d6fc78e68eaac929036d7f4e2312 5ea3e541d8829a85df65570d625753752c0e7047 ' Lazy-Lists-II