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 qq ; 5(vh0O@#"!AVBJBTLYM䛭 RR aBbеM,>"(t먃 韇tU1/YZԘ@Cfݾ1?)kc"1/w,īaZbe<4?I$fJWe_Ge:,*bgYZ7zXZִF! ఄ ]ŗXi%B۾ڼx>vuo;c\Q=|4 i\yŮ-o5$Y|sLFRu~8m^\J֜+o 1pQL5ܹtT֜63d4*Z~+咱KRy #3 9s k\J{spp-{:ҰYa5Ia1kCBgfoi|1&vڨm5B&Cj]j?> WV lOZe{?Y兄GZM_:iN[]ܪ]f-I=qDnO {n!)5쿢]4=Ӑ{ ~مc^ZKZʘM5'\$eRn@ ~ blvz xexz-էc=m& /sJ;=}"NNT%[ J , (-ݼahn+f0{&u:0:ƞCYXj`(/H*i-8lGeO!}yVM>ԅ7E1>o QV)e?2oNeFXB~E,m=. ^&Tѵ_)'+R,Ϭػ^>b<_Q+Qs[D wݑfڼ$?ˮԥ'H-aAkK'j-J痠.ڬi4T昽 yw_F19M_yFj?(J ],W 5VqhLo)ӳY'EL ѭ j`(Ee2OA4Ȁvd =Sp|!xkd57%f#%ll@[(@oh rt0!e6ʯe-p^>@A|20JsaLϭRW(l]K>&4ϘW" jFunwRqp4+x2a\@]V:G`G\{ V=>mǼpĬ dm8kvV2~;`/*7RӋ3O Fe- 7^->*t`@绫[/jnWi2AdTÂ5WxV(Cyaig11pAМn4 U,%5:s*T]+`C8b;|U.BU#Dam{og/hwm^p;F-2<4$ FZC//@1飠a m#U ?MrN ͨDm?k=wnRmTojE8<-L X^G}̽@$ ȜKKԮDx K@pni&  `i_@pJ4'(_HS2rN g9 ;.૥uSH]szJ9܈Wڬ75Mu8[XrPQtt Շ晿vZy EܣCy@uX׍sYj'uݒlʚ$)p?:+'vAVn%1ƙ,zi;SԲnaEnQJ1PIBCImp`,X