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 ))L-,d$ ] Smooth_Manifolds:threads=4elapsed=38.474cpu=113.456gc=3.376factor=2.957zXZִF! B7]ŗXf1-q恈'+]&e}0mz_oԏ 0 I4܆FXﯯ\ 2EчWMMD].0lZ=UWt38>;&X[Bc0A Gst]ѱ:Gwᎂv".~m"VZ<A% DQߘ@_^.†槎!=>C:ߛ 9A BG|CG{6kM_lR\4w\?R iAxX W);+XBk륇ky6. b?NmBQی>,gBR0ˬ+9]Cς; [ԥd{lDMs^ (]Ō=)o*l2! XfH\}jcSCbP\^O`;Lp :|#%qdCBw&q T12{U<ANnVayKsN"BFHp<0)ʫ@4 &I*1Acv'cW#6]2+VhDZ,.Z1d78)ᨢۅbTiu*yli>ڂG?wh1"SEіGA7ncSE0l^g KB`jM&:޸*-I?Kv$P\2[ Eqy@NN.WU*˴ }mtsu5~ mŕN;u]'ai4B.Qn܆gӊyE=%;49hD$4)P% &e ׮My3.&ZvG*'V(p(ɮ7{q?tF1>mY[5iw^)6'm hd}7RM&q/1[Ȗi yM)){ދ,<|ӳ)solƳO_E\>&E޴ #˺ʸ rMBŊO3py}҈aZ٦upp>!5 >#>R@awv7>YTmWjH]/r-÷GXO%I..m$ /}gYZ7zXZִF! ]ŗXiɟ1˦r1`ZWw+9w`a1J|>]l[B2mPmH2[x "ΪG"->љI0w@7*9X7!.ITԗ^~LT{A 2"@}兀lKvPI)^ k?ڸ"*qot &}V.6I%ZhT6r_цjso5] 1_3U]Awac4EpJ`j彥fVk A}/Mb  - Smooth_Manifolds  B{yȞR?%\e&@J@Mh«D*+$_pl b}ba{>{&-\@ŷR"S$О'*0ǥi ~{S%idHXN]Inp' H^C&|" UJE3>CL07tLQON^&Tz#rp:Ot$*bR|3&0cU1 &H6γtڏꡉ uKo|>slps@)渀(G$^޺Cs\L;f1?[}=l^Qq y`*0- J$UΏWlV0ng=Vl 䭻љ*Z KbvΠZF缩vx[=eh=Xhe|M=rv` £ӗ5io!Nӄ#Za9c7Hw̔ ݶLxD~,B. > U̱yˋ%1fv'T8_rzJ+ tp[ y&65EMP;mZ740Px@d64{Fl\}t2yF/5jo9ۡʇ$A [BU,nr5i$`פn4)/?B_6x̫-,.F+ͧW U[Z!#bHE9z# `,*$oHꑄ®zXMeRDǐG}Rɡ^%`f?xL73fq0,=nK$!\wyQ0PxXt/<-h+C&/~uI"Bŕ~_#H\ ;W?1ztr`lD˚ 7XRUa\Lݓ+C4bt W;SNmU5c=C'ypܰnM 1JNcO\kӖ[R;5l]|NV3Ϳ];e gMBܔk8z"~p8PZ^=E:V-x(e}3xD L7L`n~%&V9'NTOpptM3 Fy qR +</*!"Dž]SᇛH,aj{)OX$ A&Gtl%PR+I'BaK$۾ЧޗJyI-6w_ 5^YBߵJ K#[kt\u⁌bfQ=3te>Fm$ᢑUP&f~-8KǧYa@jpGhe/UF5˚"0JZƌT Tg2Ӣ1V\Ρس6s|cl uwZڌu?B⣲pڗye=B`Ɠ 6`l?O:?) [b}3s1k v lGs/u nQbd ׮)J 0C֝rr%yc/ǝ#iR{A=G{jm/ ӗ1q^Sdc71zU/EtM'5 EWs(|'f'*̞v Rugi9W5귭Y>c6zr;ZA~(]d2IE )A6j7ϓ{i۝ 51Y)%1@M8= l;`iz`_[E4F,$(8+wG3GGl5x_'|d!̉, M*W,C2;3j]ttʺ"3{Ƀk*хB6vEoSPiu8*E qfP? CTuu 9gQ l^bθ dI2*YK[i<ߐqt 'yފM A ^Mz[}'{<HfM8a^NժrҽO:QIJW#O{ >,ipnm s:rޕ£0i+Wךjֲa: BO g J"2(~TP"ͬTmӱgYZ659749ea6bd3c487739789404470a5fb29a642b7ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 52ddbfe09c255e7c6906b2f5686e64c16948899d