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  54t, ] HOL-Complex_Analysis:threads=6elapsed=35.068cpu=162.220gc=4.620factor=4.637zXZִF! a]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6"X(O18_:FbO!Gt zʋ W$ ud+'ȑζ.y%Tj1*62TI/P ]Xs|Shb  wiɔ[6``Xn-(#P .ayQd|t{^Jb di FI@3ۛףgf@ D\H?p5pb[3]}TȒ4W[/#D YE`XU6> U q~{;ؤU]1bRZCw7nvŰ#<\z_&]" e_r,}^*ڗ||z2G^hQ^>%sq<EW,;q ]ݵ.N# 鴷 &;pӼ ʇ!!PeiQ끵Px6'9؜q{ֆZu0fpص)FW絺࠷rn3}0ze)\U!ANݡX%=DS+9` n$옾O$chP]WQI!\IĔ.E(;D7/<@*f:bţ=HM_~^]˪ qtd5+$om;E f>G]ORY/49TH:3Y֠dYc|xaQ`x)?zaq1HOxv Ƙ`kvDc1m*naJ#zSpR̜>/`^K61(Q4Taxu §6to$c] 1yP]yӐPK.S#ƘS>D? ChiO Ҋu4gu'/[A^,y[W$oCoxa*^OtF+<=AB25Mqm ps,yZ渞LLɼg `f` |3?D}~#D$z`,uR~7,21ՉCb)[Y#GU{dم ,zWYW4͗s2bhG}H Q)qoOƈm_?mk&JBԑ#Tpb+ u_ˀ6Òi'|Yb/L^\߿)ڕ‚, Hmd5ɋC?DǡEldY'*2nCo.hN4H|_Wim9B>dbc4טEeC*#ƻ$ C@_D[~[Ӫ6ӭzIm]]BRץq"Os[ J4RV،ZsP aiߖ9ӝ 1KݹEs/=Z=O$k';{t=iq @'E./Ȃ|+Zqq%X9r ـ V7"$?_tSKmjoHu1DGL8'v7-Zf,*L^*4hMG70\ SgҖ#zcj%Ĕ$zF0j trYs* loAI_m !~B={6SF *6`o'`4Dz =gVvĭSgswnĪ<-x`TF ` l9," FJ$վdܯAhb0"唈E І<7lxұgYZ7zXZִF! Ł]ŗXi%JwSjk+3l4\Uy!Oj7dlxJRHZɆBE}7?N!q? dU@BXnmgB,ҡzFr7 :-l$O[XjgQ>S~r^Ѳ#S*4hDVZ-yVxګQNN!mA"x&GbHq ~U^46GM82:'G LRN&Jxڄ/g9c!'E7Q'9E ww Z\Lu :p>o&4瑫nCS.#LKEn>;эE.3LKp* 70FUplvrb=]f m}AM7lB>,iZvT ,O.j/(,,I,v;oa*_~dG_oabd}s;Q^x{]lv~/3sf"?Q+/I+鄒g31WwxSJ:Y-9ּx tu?5I Fga:v#3)o21w((ȟŚn4ͤRI2Q)8C(q'4x&6^x drƼ<)5=D3ӧ[酜*{h6<ܢg>7~:hĝ>->P թrJY3s"]vA|ݺM'.?1I׎>BOg yVA:3Jw4YZO ,1loF4F<ƻ c3ͼ}I"躾2n.AVCJX417qTZ:3}\$D @@-TS#6)G=-ҭN9!K1 a 3A#:,ۂ'ɸCa!)ߤ>g%Lit覝V S2!2k5%ĩBhU|Yr-Q^X}Bm{1uumf2V#id_txK4k-@Dn&ޫǹU8G]XZJM{;duE+88G\CmL=UQ %R_z$j{^O*(yN2a=ɅQg)r PubeX&?A/0wYn=uVd5hUX2_o_)?*W\TͲKY)ts RI&ݩ<8@!7~Q c5U|5p׋Qv;lto2~'z9D8˿/^Bh/?wY#J`[[lڙ%!$ Ч #W *}a7Ii Z#Pj*lاd-IABqIT[[w t7+* 5܄χ׆/m_ȇ'B1ܵn pdM/Mo[7px V:΀PЌ^ ֑0'S Xg .ZxZK x0 +zF l$D%'(`S0͛^www5KW: *O)D2z_>]|5]֊R3)khsѧsoȧnD${6SV'?(hx