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 d-TT< ] Smooth_Manifolds:threads=4elapsed=36.829cpu=108.848gc=3.400factor=2.967zXZִF! B]ŗXf1-q恈'+]&e}0mz_i'av&w;g=K0yRz`<[qLK95ާ5֓_{rd<dyTykb9Ch"sGy)z|U^KJlCO1˷樷+d |M뽇xϗTx(A T+(v2Ƨd ~x+Wd~ oSq,SUlCK_pɆ?iէ=|.R`M}; ΜՐmOkO t1unhm|f^XnI%^bMΔHvmNoA<f@ϝS/3zg,iU1*Q LPFFM@%J{C[xp$_giCma'M82g$mݥ&تr(>FիScR`>YhV2g^;铔 J>y 'IgM7Wv.J($@ņEA9IYZWe/\F y^Zq̎PT!F-xXP9 AKl}fQ]k@n|f''bLMgO%B4)WM;NCK&1?eW L39KbopEFR{cحԻapa@pdF1'12͹i$HdR(BJ:t1jH>[ƎaӥAgr/8I$99E1j W)GyPhgTRL%ڷCEWB+@@Һ L IgmηKݎvFQ(?#꾪2߯~C~ܚ)@hJ| fUL,_&.&-EGH/izݫ\nfTg͵N:vyu$d.L; =41k_ye)YR*eaT?^ZVnu% pFKEX? vjwt o򔖇P^LBϚ<`VPT {nItw Mҽ>Ej:kI|Ťиv @?^l|xwRJ9 9dqj"Ce*B.U zznx4! dac8D yO =_At|OkJ^To/Xݛ<23:xXḎ%QhW6NcM1~* D-RP.8[// z}P2>#C. [J-KY6;*Wh\9fͭNK06aC9t Ѿ1K4Ibf4: [Jwe6`TUpA1!N2W~}3%l nZ!s 櫍PN^ixKuW0eY߈0d 宱1F#(m<Gް7Qѳ["xg)e .Eoy;Tk glXBէTLeYiӵv(KuB~eE!8u +0:7I7!t ʅMHgYZ7zXZִF! ]ŗXiɟ1˦r1`ZWw+9w`a1J|>C:%d XbdT*/؊3ub'  ("k b.0\)֚u]ct-޵EsoѴ7#vG.D~ - Smooth_Manifolds  MaPG>g3_.S]tE j#׋Sۆ*M6=2Rf΢Fv*WC:U ȵ0%45q[rv_.Zikαl"*s3sEBfƲe:2lnu?Wg`2PTEa O~;6*!M] ۪|jdG6pF)j꠫9Yr'^/ rT6.h"2D= $Tf# .R1#D ZT{[F` wRSvO`ɍ%j5o0f].-x՛v,w6Dnu\3=~.3ܫ"?}3? ^<&&)lX*)g @ZX_ߙ>l#>1K ;+@b3q(="ϰo@JX!t'lw2qH\|>!r϶-y.T}aTH_c.9r.!N~"ā(QZ+RC}/ GyOwqOڞ,+Y &C\_rz 8Ou~^aS}ۉXB" gF.^ډE>uT:2hm;(aDթKp~oMp,$,*I`Nj҈gn0^`5wPD\ LhMpmX-ijUI:`vys~⚍b=ft]Ry≫kJέ:W3#);$v}A9?Hj*. u^I҈nqWu4vB#f)vuTJdqy5EHkZz]Hѷ@(**ZP &e+.dD}o4=@QC(H{Gph^^8+5B5.wn6.XAa/onAjvŅBg [S-)R8|揾d-MlHDyð}&}ܼK[ x/sO-xty 63 Wӫ0jUDW=8ZJ9b^7Zi~x]33p&LNWuXiPI_iQ_g7.;}ϿuT %(8…>i9U#=liPr8ep ph]n|Y@6en2$24h2vHإd#;TJ9_Ob.X:wсW(h;cЈ.KIE. .Xxk9}j+|/VB=eHl oq8% FgV/e-zPNXOT/ }ma[:}vT0,mxcSy/l֫OWuqgƸj1Z̃L0 0%& RY/i/$\%Шa0W] mz*"uD.SK XBTdyڹj7z=HU y9EgcgY#-vrwE SA akDfVy c_du(I%hj8@cfΚKsMt{g1hb|VDN `! jϐpղHu_ Y]O9girD#KʽS~dN\q.j>YoAHsPƹ}SDK2E *cTw'rNa֌7@8%AZ<9j[-w E?ةZG" ~hoՆ{>UR"Ht\c}"y[^;ZD X!پY0+q]FC cYa8lʼnF ͥ|-GV[ e线UE˾>@ڻMS,i ˚EC?Iy-R g#5luH.M0WGHI!Dnq)0 4 w>oNԀ@8sSp85Oqɻ< lx٢4<G+? &C'7Ru:xlLc|a0xEiJ5:. b<ث'Yi`90ME">^qD0X݁Q ^T_PAZ[QƒۥL$DnX}Bo'1veDrM2 Ψ;aD9Z d\Cf#}.Ih'C!9<ùNHQ2