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 J t ]]]ZF:threads=6elapsed=12.805cpu=45.804gc=3.164factor=3.587zXZִF! lq]ŗXf1-) enȈA"tr-j. ZbNVH EiCpTpBycj$ ]`FPXe7(%Q!mȜ6pC{F ˴ O\9a[<яDɴyW_=펈u0T 4s[s[[s/}i ۟QG5 R "Y%QRf Щ-B*>? fk`=W"qҢ`s+Aa mWDM tx!5$BL4ШoD7n>N,C.cs'tWc!\AgԪuc[ ژ:tZ r| nms P %&,Sf:+N8mjcs]2>iHˀіN}1&] ˣe#+qCh0Uiz0xΉUl0/{  u3pgFVUܟ'NM=J_L=ɒ0+*ؾa)~BHSKY 1Ǥex98;A&ٝ`hÏ_4K6gYZ7zXZִF! B]ŗXiɟ 1FE`穵kQV(ѬPZ,S/03AΤ(mlc I-vøbf)ۼJu騍 Y-^{Y`''f ,)^!v %#iաhi<wi֎žAg ^Dd3-cN Cq5L y3 8A}m~ӟd _RN;Ux!:@jBG([Swr4=53M?w kT>jo-}q֑j#<~ U=(%X,9S8+mȁ+Чy tƩM+cei_Hݱ*v(O٪=|DdgV-TVϫ8Q^=Mx䏳ƍCd@0 ӉzTGk"VVr='/b~M1f[7yft:9ms*0ίsocF?cBpI0LAk~gYZ7zXZִF! ~[m2`,d}I| w 0ZkKM{GG)KE$Ǹ{F{-.7-Fiĝ$qA.JX6  (B lX)[v摏֑|WSk[Cײ h٭H% &bC1Oe)Nڑ]=²3p]ྷ OxPu142ُΎ\LqI#ze)2MUԤ6]3/jV2:w1f|j8a3$PL(#go8GI