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  \ ]S Show:threads=2elapsed=38.472cpu=61.436gc=2.652factor=1.607zXZִF! ]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@&p-' +ZM T/>eㅋ w[A{H9F!}'dpC^EGAe҉,n {04, Ft8@ot njTȬS> E+XE#>`bU]\fJ [c;fI!(M U==%,#0D7u{Gnы%[wQ$ϦjF]X6yDN;@SvEZ}D?ͼZ˄nT򞷜bQ: v?@Q}#ZX)w0Z]rЩmft7 ~V:sdN?bƝkJg& ojD K :jM*-j(y^OwD%s$(١r3G1E. 5 r۰c !e::)=D\*$5WЂE8/}Alt֏u:@k&̬l[U^InR5tBVLfo.^C}u=+#XʽD p^@\+=B }焙bB!95-ts)ВZt5 2*`(s + pryk]l%/.j6,uK!aF[+c\ f|Ċj]\/̫z/8gYZ7zXZִF! Q]ŗXiɟޅ*-qbFM&OSJ~EJ6̀ǂ8NxS{F)S7s#>83/ʯq龮(f: C]: Bcf(& v)xH*jS#.ۦ|{ y\ *]| [2tQ0JYk""%1 x|~෱gYZ7zXZִF! E]ŗXi%>gVU1Fg|Ykh9ssC80\iMZm$<}b4Q7QD!>8HW%Ke;ҴRp_ ?UBX!F@6P$uz>7w p^vs{(aJ;>`_ŒN(AK=t$mH`V7Umzx[l~̜, Vpvot(t Z'do&b)H2Z9a \\Nb7`{6$ CԶ1 l\uѝԕ 4%gAJkoҫ  W( ,0֠:P:ݖp#0X ,zPtrQ'KXk?o㘱xk+ϧjӉB'fzX'),W%J) Sv0#wTrZ5R IH2;1r>m[Nj@I>P]{/]M/u ?+WydI>e'54sw ŕx,,L`QVԦ)WM)ߩ)iVLڱz^M0Wt̴`K#̳d3"k+(,U6=līiD@-&fBxőc _?"ܧteA[AFj$2t?=9D7.hS7l'tfw#XU~=xn:p NQ?ee \ՠKu)!tBC+sMcϤݯslxK*<Yjln^Y Ԧ($zީ( -PLgo(?U7 ⳪_k$}7eOܸ@hQK螠N(q:WD|,]ԛzUF SJ\|5B59SԌsi?T Dq0jl5 ]˻EMR.^~<#O~~J;P z0*CoG-?0]Yjr^kjmw(0cM~T<_dwa[֎L :JF_!nrඕжBr/򂙼s&^ >?KAKD ~-BF0:̚N:0j6Xx?J7"\RGSDQ&xc/r`VݽFr=ogj,1nbsp$nEn~ʿL-񀺘$u-fU}dTn*"9 -(z6òf#Xq7X>5WoH1$=gR}{k@ꮮSJh"=ljGQ9-H"ϩjs>:x_eJ44T{:[#&\23b]4%"l`4/\868?X!_b q]zD%ݹ9D_Try?E` .XJ!jx#V _ц]נ="ڵF),',LƏMQrO`w*m:J )>,_2<7{Qz`ڪQf qQ >~((i'u꠾A"ؐy~v@1+~ \Qh]/J>ޕ9K8e3@"ExdXbU׀P9bh-Lט|t/kx}Cd}J)Äsw+a rFNbmxKLDK]v~ B7LM:6?w8 |R׍lFve<:6 jL BSōE j̔Dh8,p^787s/IԂzAɆvAmM~Bk v]\U,+`؛~0!s e4$LjOXa7>]{N wަnw-l)#7),ڞr:v^M-OΚ,Zf hg4B/-=~?4bD {>d8 %5FJN&EgYZ071cfda0b898dc763bc38859e679be5bedd442b20779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 2dbd3bc8b6e30217be9c7b6da9d8f8ad97750960  Show