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 Z!,%̡WS_\'P߿5EnjܓHW.Vх_IIA[#M|)e/&U!"K՝̹ė͊TCj{M rt19uC PJbK" x[DFѿ+`Բ)g/sHר."M0 ]ǵ,(\LH}TϢWaggy"pRɥڗ,ݓCRJP =<4p![K0'8!49,:xa!P+fyׯ76FJP7W[" ie<'Đ M]</*5~SCDSٯǣ2 -Em$kt {SjZT,~dGW"#5pQOu=,Dl$q)7˩< ؚ]+5\WH'RVv "vfaTCW3>Spش*v{YGN3lJEe2YW4?NJ3Ij4 }JN&A6 %!`mK,,b*uBYW YZ$bed"-V pԝBp_1n*^Oμ. |/50/*uSo3k۾n2b>I8u#"6Uߜ7GTmo~3DMO nR3]ŗXi%Gc$R+d BZaǕld<%2[݊!J 4F!~c2j` Pn8/U8ihGm](c#}ADt7VZvʕ~tU/bEOtWH1 ~z+QCOŮ㸥b%^#@.ê3M-qi||=,p>߳[aCVkEZ2H(БM]VL=`qSw khE}_0Ӫ ,{y _3:QCiEڪzpC+_*F7,u].5,mRnj^." PPig~j&`=5pQT!Rx%l,b/cmyLΒ{iB/Z`)6c}'&MfGDh=YꓛuMR̺Q->%HX{TK  ! LambdaAuth  z(‹,JRuv9żrrFZY򸩱#Q"IO :%-Uϡɽ Zۆ4¤SbHFrZ`)! >/Pl,TD6o[YbpFVo‡8"mSX:>knZ=$(mDF {4?T|3xQ)5وZ}oCVk;=) *L,J8/1_WEoA^^wʊ=tZI֍UսqVLe'\ZOLUEu~^ӄl\XWƱν!5<^:Z_ zN/ -)0X>VX 䐜n=G:k}Ģj7Z$܈ݻmZD RPۏBOTu1mx7[nMJ*7i__  "Z˙Q?3"4y)uHBqcK,.L*h|ȒPA"X~{;G6`<Գyo! &\9Iwbh{D+#QfP'?$P /'I!tϋMn{=6NY tI}VYLbLuB 㟮b闥a [,`"0N_JL wi:T ݧGqZW#Xj9u؀4{}6?][DlF'h9@fJ7՚+zw^azϽgPK066l  ]1I?]D#AOR6 @;?iCW|@=!t%%q< ZK;}PO<P _ey~Qh=u1H7DseL2Z(X#U*WP\x QѼ(Y8,$pY|vqN7|$q?hqOB>C?ޛ@BP OE mLpj3^J8!R6xF'q*'nIR~,VMܾWAlwl;&ۿ.m}:Ÿ'@ěF39MW Rtk (HËǨhuv({7R" 4ɵTH$;r]Ʈ& MSݤkD:] &)="T1~Eu/`Dפ@~?4Wf^+eеrq΋ҚK>#Z9<#(&'E6rUDjA /j7ާ^%J|!D(e#k2|SiAKn9Y<jeE`Dq;"(q@BGs5#*WjGcC4g@dWø5eڲliBf4S|hERx|:bdPsPlHEM9zI5j i$Hx_F5}0_JNfw.wW "zS)4YKv&ھƋ[9,9'z#9܎4_-LR=qME,3SL[Vņ>&j?E–ջjsl!u9x-=@u0k AFQ[SЕӝS:k/$rɐg]%yʊ+ep0Tס"3]xdީ$68Bu#^pxZi!Fǿ}o\Z(d=q[؜=mM+N6%#-υOlh 6^}\fR';&B[(dˠL`XdjC_GjFTzPyͮ_YV)]rae#G*#1* d ݼ3ԑ1 H+e1Ŭه@?cl]&X|/e^}<.!-5]i] uv[Ũ(̫'// 8D"x'?@N$3t{ص&iYhn\9 A~V EA-a9[_)pn5U$ pvYok,n)V+&f1b㾥B_kZ_裥rl X: H+XFi~o: qQڳv((w $ d_|*{1J<.Z?(WwXL[,X[ $]dؕ]ZpVh~{\([sa!LFIBUP߽Rfb*vLVf`dj`tz,PmO! e dݩmS:T;hInq/G0V_s_ſl QQ9ؿ@LPƽcFϛݶjT4(?gYZea64b6fca23f080a09f4d757a008e49b6c40111c1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 97a525d077cb820cfd3f1eb0cc067da6b26793a0