SQLite format 3@ .  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 g L$ ] Trie:threads=4elapsed=27.842cpu=32.036gc=1.452factor=1.157zXZִF! ]ŗXf[&}ynZyI k|KEw^]am܅j?Y(~ _1"'050[R rGƿƭU:ReU(f7y@xW`b %OQ{9,izzn@qYmJG[:Mo풸(I\2wnQqG # S6gYZ7zXZִF! |P]ŗXiɟl٢ :}*]|9ͲΌsso5|zckQL.C6ՕjB4݇´5l}z}YZ7zXZִF! ଘ]ŗXi%B ?Q8fP䚊x6c)jQg˩j?|.YYY#;'8P2# 588]dzw4vzf wξ΁iJĚk/Of^@X IUFVmj??׫(Cl-<\`p+gl h} rER|[Kc0M͵:Ed4iP#H*Xў8Z_)!FiK P.+2oӄz$OIж^@f2LU±hYzJC_CVb±eǞ$jˏȳ\(?~K*(^#w=;Ro!#Κ JQ $套@rcٗsЈZ:ǥk[RPDOm_RnW/j٥8juѦ|/ăɠV"4B5j< D&ϫŖqZ h` wN} rdؐ98`a坖[s|6y.(AbM>8DX\0. }wˠk;IH6=2bd%SѾD&@,nHթM>a+zelu2>BxAY`=8`PGx9wΑ8l&$h(]ƜFؙ 󥓵TC BNFPJËuFf= "V+"9[ BoCZ$Ƈ'pj â?a*5և=L,tt kO yecf9iW :ZV-5PsyP{>O??L ˃cu+ iLꡦH/p]:9˧E3*B1QA3~y: &=U!W}?N#'/{o"+Ơqʕ^,+h6aiȯͯaC'* `L|5fi,HgԘ8' [WKL3ZM[&}EO`a T6،؅`C+C$շbq\Kɶ = ~c02\8s\G(bBԂiѮ u<;^A]8'x} 'O)^f9Jȃ=%h8j;^28#Kb.@&c_-hY[S( L#Id]Y_/ L|ISOIQg S'2)٠/Ԋ??Q."gS3Tlse|.ݨދA JXfa{~ :,r^/