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 z4\ ] Circus:threads=2elapsed=53.404cpu=103.476gc=3.748factor=1.947zXZִF! J]ŗXf1-/6vRZyⵞCy*!Jlú,CW+j^;i{6K1>V^H"ЧmYst@f{4%ۏI("鯲Uc%WWPzLq CPO"lGo3r_8QGe!gI;]-p8}K3ʺE[{l1I92jMy;=k;0 ;CYns5$6 bT.^TG}gŻ"O \_?~)ss r='ޞ߸#ʔ)ԑ"3|uh#<>?vBE딋cK+qJЄW[k9,O!K~O*q/?3^,D6M?Z5zv4Eș%[^C97BD,![} ѳoYR%*ZڣPWA:1֟WÐH1>o}Z2+cE&ÙhIԣZh?1߲r4)&\V 92UGXQES,nǾ a3o,$gntuD} y1cQ z 裇Ɩ|nfA?jyHb_Ц|01x+8$3֠H$VJʶJ |2]CnmA[iAo궂ªu}]}y[5ugioK1Zw?de)o10Xʨ9-:.A1_((i3 AQtǘ03EŷfYB-p!3'sg24Z[S QSG4~.M5X 5цbu.ın;$w-XgNx]}Lf -q#\8rG2;loeGupE6*h>:6j>IW{+){ykt1/Zj 4pZyԵ 1ʫ{c'kZ3.h4D'nfp2mo0q"STOI~7w u3EA`::C+E[X1_Llt gHG;ZT"SLQ k艮 @L-au' GN~8uZ{kbZ╣qkꙩw0m;xiqPzÂ$YVl֞ŭ)bŒUVr v^| u^;3qɋBhy ?Mb7_xZ)Фőak}p_Na?l4(D b|ҨP}MUW,Wa *ySLDT6zY`6kSp2-]PP qnA{+#aNX9m[jnx"2/=S%+6G:Af<9S :£ nqNEJ3ň`Y\:\irEP+yC, 2638 VHAx]LgX[5vֿɆF#Xroa^_*C?X?2`[xRZr/RjbP ,0LM -&SF[0v3wh4^t2->0]gQ%Ӓj.   Circus  `dJOAVG{_HRAr#ϩ wZ_K=9`~gJS3WrlͨK^nThE}Za.`R%]5ftAg>_WTuTULԯ'6<+5yh(  -a=B/S(rk93 T]g}ɕaJVA/fr5ޑ"=T4rk%;1Z-$  ?> mk1|NVs2q_ǖ}9Yrg<٦V~6θN^= ᕑ=\c:n(z~ VM[./љeO1SkiٗP>3{QuG z݌Y=0a(PiFHc 3<qTQ| d賆⣂#,5YUV6 ̇Y#,>#xwNPd. \$ZXZpGE*N¡eyr9.nCj/BdU|0 圵+ӱ]NN/(~Ts-*gLzVMCz2Ǥ{ A=ӫiWv[O9wXg:-* tC%d$hhՠ8|̀,U5W4Ǿsa2Ns8N}q ؿnep:Iǿ+vR7m"P{EbQnqn2% [*gW69e#cU ϟE-rTYLEBUd={g+m8bǏ}oKc㔶,IOg"?B,W{H$y\w/+O$lRzN};v9Pt}riZl|d4  q:-5/@} Tr}E=AtxhkD4"vK>5;Цu*%ܜ5WZr6I&Z xKJ"&A]nLndCC< 7%H}/Θ;VV7Qy2-L}[;]K:bXUO'ZS Amɷ}8t|CPZ??<:r:|sA&Up?nnv| ;rFWE]uEn\/zr:;[Ure@G0|7:Dm*f\P; +e5OACȿr(.K ǜC#G%%忘y=\Ѧ^LGeC,zo&⍴*2ա}C=W T|ӉA%P$5X Jm}_IVTǫEշEU-m;w]hflS ®!M1n{/M8 mɑD|*T3|kVoY>*kd]$03?e`jF6Rt4 yO ;Y*f^. e_dz6;>yopPxj :56Xx[F~Lf_vJ 0e9ēOeMJJy׌DU>o۷LF9i6s{ZUmv }.)A:ġ{jAiOQeI+8g?9Af!_ȡj$L`ea KE .fA|_t)dh=B5ܒ&K A\"; v@͐Wa kW+Xc`EʞMЌuE"U 3Q)q9G3p=jv5HgI=2OY-tf>g -G`2b߸Sb3{kR8iݎ=h|xt.4"2L=1˰ A_]ʦxzSKzfTCݎZ`کGtaFA-pH )_7N2 T*6'׸J#`L9>ws 7 {:Oùщ%Q\.$`Th@0. wBچSI[{ ZQTDt0@Np/8מpjV(|.GAW3ď#mg7&fKN2lg?Vsbiߜp4jp|׋:%4T%Ib5Qõ)tia`&UV2bES:,-vP]|n@owpiR5Euxv_aV@grf͝B60H→dyHMm$];/viX\ފĵ-`QN5(џyV7W=пKUsJM8)<Y=m&dgab˸ q/n9l