SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 75tT ]% Hidden_Markov_Models:threads=2elapsed=69.225cpu=101.932gc=11.356factor=1.477zXZִF! .i]ŗXf1-/6vRZPL׍O e8Xwh '==a/5RY\y/NnEi] Ofp \VW]Szqa#%\ag,:NbG5"CgQM*; yL2+~Ha wnOw'"7TeE>Ȗԣ]XGa 8)bO4h `w:1|րr?Mfo;9gh[en1u3)&{@\?+%xGYAUQ7TuWHhZJH}*ix0*~ 3d~;}Aua %}:G*K}dC%{aU= m nɄ4K*DI&KVY^F vVcNu8p>jEi#^ey wԃ\Yn}0ν29d΀ a_JiE_Snż/-K ,)q:J螱CccOSy9&Thh< ?B}@QZ!ZP8$MWi/>c̓gpƚcr_|JL/,PdSht z},<K/_q$Cwd8src'9*&rӔ ic =Gy@lcO&H%~QXL[DX7ٙ`[jn=B+R>tC3n _P~ړYWL[}Dͻv6gIΘ$.7x@h0p,lC)?zpiTL 5/$}34hMgn:- \{:gYZ7zXZִF! I]ŗXiɟgD"tXS<#a G@r۵q2TD =4D[7dD<(Kۻ:4:Bm÷>U5%1I "E!bقfF5LkrF; 0v tS#^9fjt`ռ`3..b4 s=#o·{' OkF$p7`'8 I lmsUA3C3`c׼EbMr *yׅ8zB vFN~\WץjD҄ ڻqXy{)BKEwIfCPUE$3w'R_e螱q&-P`M/b״]98M? l: S'Ḻ-/f$=<8H솲"Um*k;~Z; B"ŨPQrcsIJċGp7,TF1JKr@%YK c",YXz{{c #W-(N|+5K 䮻wǶrAnj:F  +`E&#;0M FA"Akţ>'vdHw E/ RϫGW}ӧ0TxԏEHP4'{@1g&JWJDǀBcg! m"AŢxn/zu)?$C{CNz%$17:Oa.aZNJ\CENlhQpc<m6h`q2}6 / A)}i{N5I%kE2jLJ]Z> D G5E'A|W z%yt[~y~]PsJ~ٍ}™ 8^ely. p% yje6EAd6 +v1q'̔-(-M<.y}KYNKΦAgMR`r JmE\&o^7xһa>םL1gDW<%U@vWGMp%\Xȉl(e#VMRB"PIl5G-CMɝowi8LnٱgF*ЄZMWo;0]Ӟۿ.D3 qW tٙ R> ;Nq>l+ "ʗܧtF9s=]a48Β2y>B{IIrߦߪ?2\49a1-Nno T]!>Mk&8awQڍ᧼Y]}zC%3xjO"[Ґ2KdYq: HP,+TfՄrV9xOhJiY &~Q7͒< S_fbW=#SDF)Bh_wōaKr!b8]e_tt49hJ D1d&ˠ9/aռ@CMT ;㻇)"xArRC1J{eD.e`޸:R.%/~n6u^'%_$N!s) ! rZ2C 7E͛q.1?ƑؓY#$~v)%.o[4S rG}JU}W+QۧSlAb?D7No̦߳3\0x og(ThBƸ'1;BܾtXȻk̪At/VmwM@ zUdž_7l'7̢yly, NkS/3זPY1+ p>k\Oo4(դPJrήWia(j|ǂ`4, AZ45!s=A/_U8y8K}Lo<@uKN,0ǔsJAKCVQ|r2-%!"]"I;|d)ifsP&{rFq-7r4gsliq@3(Cg<Ւe%"˱JTe7!\d~xऑ_̽Tv/feMv8ZȴO9p q`ko)T1?>^Uk=|2lɰp͛ k[ HMʲ=˖hnHz ߺL opʯt6vB \ {%x9O!H&E *#kgYZ8b030c2c96885849ea71673593f977f6c4fdae87665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c 7059b0deb1a41419deae0813f26171d1a4319fbf abef1afc52989e009f707e970eea6608ac93278e