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 --H5|l< ] HOL-Complex_Analysis:threads=6elapsed=34.736cpu=161.880gc=4.072factor=4.667zXZִF! ^n]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY63nidANP[񡐲 ^|]Cꏨ ܝԥ[?1P TcP_%ZggX?$7ضymj%}N{ܗۦMYM0UbLL tقDw=H1rL 敆9`Cz?ӄ͈ G!)w9]X]NR%8dᖟj9n{ &MCZжO5@w|pz,ta@mqTR%Fh^Xp~Ts=8Ky9˃T@0<ʂ24lTO+]nR%E9[T:/1JK3>$tc jsmn%JJ7ӚɴذUP+@u*ȾV )ӥbe 5>Pj&,D{2l9x@[boB-O_dyh3] 7Aj  vN֓+$ʥ[LL-mK9>2P/?ĺo{BU뾛vڧ@e:7ಥ'!'Е8A!e$Ib 溕c]yJݍb?2yʝ3[ܱ#sNm ]}wS 880qsh.R Ѧ;w|CVe8`$/N9a Ukf((EP^Q3?`>DW(1}ٕ;'4 aGR^%T]|r뎤"FWm<|&ȚG 5~<sVi\S9~vF'RB;HDRyfoJڈ>V_Pqٱy OQ 6SZF ~%.~0~EpVFnA;4+GcttNm K5E;MXD /;#A%ܹV厚V7YCuZg=9I0⑎эQJ6*ӹƂ09_tY#‹7 < IKcjJGӼ,)QpK0/`V|ofUOOOTbr&Asȑ9M%$%jϜPKunz7mR1Y0j30H\?AnDoRof792 S32GdhWGvx#3Ɵ>j}=?X#jNsW[n6"<6LnqVKz[>=v.vV%/8gx AzN8t.IuZ@o8*u-)/ݼᒳ@ϖ crA)DOAUZd/&ky;Pyv7΄9y!"ATc^ ++ߏA*}@*)A$! :GZg& ӓgۅԣBvomsSi0vɀv4g$?]B"7,)rF'XwƦ2ʗ/]M%8ܳ7Flg'Wd~ߡbѷil%*VI` A&0.`2zA6uj} nuǟB{1igqXTg 1O>J37w]uAk 7m"3 ˡMF'_sAtcckrziשUclM361bш' ЇN,.BZCP;n-Z/`ܔjؓye*+{d=K.;MGa'cUC$`<fVXy٢AtJހ ,VÑ=}BO?Cv{Taf9TrwA27XMZAI/U@>)qF;1e2 &xzǃM=>5WX!*r2w6:F2Ƭ 0rD[zvp぀i@.I I=|Rjl`a %9etSzp0KڛZK`͌-w:vV{<-1z?xeRQ|مȕZrzJ/ӨGpΔ?A`!84^-7H:%f\Sy!t>}x:%101G'{Yˡ[D ͆uIE+r!Gv0$4 ,ߴvݿdd] @ke|tx!O͠fk-*6]dΉ nau>c-.P\_jLtGO r۽F?u ;8$MlËV|tE^+SFrxV}6VbG;հP-Ű%sT`贐rI(r/{0 Od0 j1\ զcf Չ^^0('zrDp!Gf`ޫ.{Gb1='ﮈ5_P:rp!b `?⻮`MlTALͿP&GݎӌY BV&/m8g`Qr2Esvq:8\[ `આ9Q]UN% @ukLAD`1_f☷T`L3b+/EDGAf D +*{\DP%nd#brӳQb<ּ a+ˆdIFJc# VX ;*860?'ȇAUҼWY:A?*g,gI㎔Eb3x:W~c#BiCB6h2Õ L儢(i[[\k> v7fj-K+gPRd TB:cYS_^u U/g.DC[|`+M ȟ5ixU6I{Itb1a_-wI%S[%P@A(|Pj7gf__ z8Av$#~:,{, B4@؁V{nrH/̵WR?vg52 |{*WK6z WJ)?Yl8vLx }E=nIX`x[%u7~AZlo%Jr 9b9yt%ɳ6+R8gC)~֠17 4=ƾ)Q5r qX}l&(Hn,OnBhuZX@{n}>k`by}׶mm.w4o;P h^Yb&, Y+CI%E";kK`I i%(;h8H.r`!a°( (F!v%C,`SvB\(