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 AA45tt ] HOL-Complex_Analysis:threads=6elapsed=34.558cpu=160.176gc=4.268factor=4.637zXZִF! _[]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6$y @G^O"wo (+ڦ=kΦ+>c5{8gR?&PS4vZu2qoЗy\s4*W>DZ-{S$oDl )gz'V)Gprf@oE9B [PRd0\3OBb~aJZk@6l2F &97cvּ%*t`Yh: OzN@JKCub]Uf*]48VnC+rܳr;fߗXRẊﮣ3w o,gTH|ٵ#.EaB-,BHC^)@ERmXr;'g7O$," vYY"gjU|p'wzL5I7@2a-;-y>jҴ,nesz:SIz[!V55:\ܤ(zP>HBǒ[ R@JXƉs.4eچŽ6R0$x; D8ZbzEz98z*eا/"esf@҈uVhP]ZH>Y:Xdk߻kF#؞d ŤLm+ uGXS/I ƨ-<7`C؛5Ƃ $u1NT~C?MusrIG Y$gYZ7zXZִF! ½]ŗXi%L^Kzc4\ tKT A7c~ zHra= !J-hJfFVǮe3H[mrbCovS/~ZAg4s W$K3dLas:Pv9y<pӜٕCIfjfv(MYu4vz(mmv\]|Pn7'VZ"lNtg6+a_>I[vUD*h݇ZcͫQ)wj#QF\NGs-Xl[pr47yX , 0^(Jµ8ܯ m z';BPɴIAv#  eh- WQ#ŷmϣEH(ObhⲊY&զU%_vHh/$a8k48&B o.+FĠMN>!,hl%V_PD;@私/v1fC,&/^ E`/fYD9 Z9-F-zGxsZN z N_%G=89Ko5ԕz֜ .vXzOA^`<')]|?3/ !a kܚU0sľҿ{ZWTSC18tYy2j!WW$&VO.Ú'a KOjfEPP7(8cxlZž"|i9K=ڷeh<&[)7blsQM =#awtЎ,Ϋ|lUp2Z}VTK1е [ҕo:{*#O;]ưgѽ_oYV@P'ń{&YWg?~~@ہSڀEEvʐspG6Էt6&siEI_9_y.yo"eFu/Pɼ 縨aCzsyΔ0ɴ' {?&J|O£NiYYSuciƿ'm`S"Q[SEʹAhw8w?ސ?%Qf=&DJrkYh%QX }?MM|*!,NM L3˥j PgDVYvb!Μ_ \޲C.4qEB *s C;e׳#dV:S=6y0zظK!>$Ʀ? ~52t~/-8]Tew{F~AWrZFb/9:J\x~hǾ{2z `94t/Y3F+n 8 1)ZoほYj:xHG7)j~+r)SYSk3g vugIؠ75~` pM˹2h^g,HY>A#/eMGQ^Ee\_8s"Dcn)Y 6wL.UGIx#x ;y`'޶KLrbѤ(ѸVf{ׄ+$eo$z弛_UK%q uVR?ʣrIE^dIyּ >kv+rJ+dS'9DMlvzqFXĩ ^]P3y6 o4[lܖUD;-sp(X/ [-U@=9U{Rba8OcjmƉ`!#,%L;FLU{guϬV}, _E-`\DŽ~c%U`d,wc=R`m]MGHKCH? + |T%sS %>?gYZ23f970009f5d7bdbaf46d2b41fb5092378cce2d2965db9a9fb2cc4fdb5e5b9afd24f7a9ca9aaf978 09960ff509b80e2828bc02044118a5145e571ed1 12c80363d89647a118e44833548e217861019b9f