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 T-\L ] HOL-SET_Protocol:threads=6elapsed=23.953cpu=110.168gc=2.084factor=4.607zXZִF! -&]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;2/y*p $]D s*6GbWrm/w/35 npOʕm2_LȘ_Յ}{d9X*uz>5;$;n4,$AK=Y +HmI,S+Agq)Nv;dg,e)+`"bVH?O'z5S,0tdخ};c6LY^c1HOZ]Ձ籇wD뮡mmx(, f?]T1v=ʜ&sp2MG=N=7.PDZ>rqx ?)ңo:}Oŏ;d9cTtkPݏIAz}hZi;ֿK~ש@ 8)_WvJx0)?#u]d4ĻPcYHXs$8aigO:U@֮vX(< v5Ӡ5X܎}fj(G4&*>܅X4=E:(쯏%:Q,V5"BU{W|D}8"W<7^|˹F2I^) ƹZ$0sDfT6Rsw|;^#NH/S]}]_ { #Rm1L~QU.]N~}$X(]æZ ) 5`F\K 1j®҂c'yrn[} *Nq U Lbb 9``TiB[wf XM M>;IInt#bO6֑48 v |^Pwr3#٪OQecy|2}(5jĈí@Rn";+_˯a>e?Jk?BT:QuZ$ܚR _N=Jeoo-}2(s$Q`*"Ε K1xi),?,Z"{A|~#*gXIl".llk {9/qVDz.> h*8)xp\