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 =!Tt, ]/ Isabelle_C:threads=4elapsed=61.638cpu=83.640gc=22.316factor=1.367zXZִF! )]ŗXf1-q恉<æӌhf2A⟢.k.@lٟ2Na%|"%68(o Te{ v-:^xl`ߞ_bmj *[=7%7Ζ?䳅-v_}0'f9I7\[Dxk9qDN \o;>u]1/Kx8Ίp7NLQS/{ėt 5SIx'A0-A? dVؑc\{8 |K&V.XAO'Ғia|LqĮIUpr!V }8ϜFmuJ3Ϥ W}&1L~ȡx|]m6UG 뫑SvX1~@"u5+4[)܋FۉC1fA}De(6~re4. 4Iv{}Y"a_o2Nrzڗ} eso]@OV>(4gYZ7zXZִF! *s]ŗXiɟ1 UsȞ#Ӥe~(n |#on2.IkMC 9IS!ˍH\6r -6$R[桻%H$Q0mφ$M۠H!} Cx*! 6r@X(H9^&j ۶Is^)DcMq}(b!71~ KC!%YBݽmo()jRQW;4/8idJ#ƻPf6F3Pd0e-}jR f!i, bpT }qFuZ=0a*ؽQw f"<)Kh :fžI+ٽ2N4@m=a gYZ7zXZִF! h]ŗXi%L E9S%w72Y!R`Pa XgHNטvŷ%)ʥ|:*xƶx;!:a|YzEfP:}Cj`=5e#e TG?l21M\rJy|G-0Gf'b=gZPQe,OC8z}Dբ[:h n;`\0my>z12]K řldhƐHg7FwRˤGw1w<<h?(K}o+c!WcaYJD)c,4bz~* rQ,/2ۛovK+k~WI)Mlğ˺ .!,eLݍ e_Uۯ:o diXzhgTYIœT:/E-$m KT{¦Is͕*9%G%Op(y?yZEc?J@f"/6ݵa*1`(^vږVqدg,X>1JS5 y|w2F&~G Z%)bk(B#}[ƇR]t4Ч"n]8g8&3~Ӓ x7vMoFh|Y?Gsu8)!'D~noU\Ɂ"ڐ멒Z ''Y ¡wg5mbY:70DBYu>88-O4EoB+.9- ~L-%ػ~Ajz`+'iڵ叅i8[ \!I~z*^`SR,<ݿ/ȉZ@בOA;aF'w&{E 3x~ l0 'a7xnvMU˩ʮNCrY]IhP/{e7 5 Z?dn$ee~?E9,~\h>g ؖW%rǫw莽EGgґ 1l`Sų mm#ԘhSy4Ql9i{k/!K Y鈥z?[ב y:g@}CV27x-uT7M窔ifaw*,r}r;WJ_!L<0-*Qu\vq5b ֩}gBÚ %SĝUgXvS4*w/iaOWßi*َ@mw?Ȭ{aj!*O *\ Ew+;$}2(D9jx(@SYkmՅHIMbKX] nژYY땭b $wyW3獩C(: L<= 9%@^*+fQ*`1/tlw>WPP=bz0X-QxADI%nDk["@sFhl/0Дs9)Νrzn162y-:W!`ȄAs&_kv(ӇT#8kZֱ1juՐy@փr%5c|ʄDl2WIĜ0F;2=3iE@Y|b҅Y9$Qu MqN'*M<0Q`!]C$Wy$P2%>7+zC15\̯ErTuj2s ¿ҸIK|[)'V.XzVJ`DkF(%J#;O¦kjj?!eWC+wSύ 3`iiqA\ٜF.y+}U-3e2(6; '`G8ӉEIBP=`&dAhHDWSnSFHC= EL4Wz*sH 6ȳ\Ku?9V $ @}