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 sG t$\ ]w Architectural_Design_Patterns:threads=4elapsed=22.348cpu=66.612gc=2.500factor=2.987zXZִF! Q3]ŗXf[&+jFJ*h+R8֧t3ipE rt `5֬2$PX&7$V_8#+F/B;FN9k۩qbožbg}@hHuzk!&JL߬#-?QE7MEЅJDžI^=:&v+F܀pѠJ%9{Y `1qr e(AB5$˼ʄ52~>j2A2 {yLzgnvhaSfGJ# Y:5 urLd,c^.hh vjb>i.Slw8q(IQa'qӿM(sjjRJ>0%,hZ$1v,Ⱦ^9;!j2ˉ ,da*!S9@0bFEb&1I.vFcem'ձװU+H^=,EaѢakTP N?rV^dɪ<^Y& >4gYZ7zXZִF! 4]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍWDG Z.+TK ǜ:ec E=; rBxd1+5J0d|l7 d{"z7ۖt^WDwea6!/C"k)42Ә6qt #r)gYZ7zXZִF! } ]ŗXi%L SOYsp.فEyz$IVSƌe66oן`l!ڈsJֿ97] 4պRD2ZOC_y`J O2ՁL^FӅĽ*O݀^bzv ÛQ|EX]n$K+QE,nG2^Z1]h]MN,H\w}_Go-)ix[oU~8^XԬ;KGhJRBh 2ڼ VY:l<0g`;Mphyc6Fho N]xi䰡h :\#([Z2V\ ^]p78؃prBq4XO?2ۅjd } {t&5J@1tŨ UYnR p*J^syOOb僚Zx8 $<1ɿt(dp&L{YtUaPGC}:e_Ls=Py*+H|3QuKj:ѹ SDvgU͑e^ \<`5d&k3D*Z m4#JBA14qfE=P\#l~Nc"ұ'z@ H)u&d3KU>jT(j RyuuUi4"hɎ3[!<* <5wXti497Qs kt!BX'cs}xxbUZfK@W=3E#fbp;ǡ\]]l -3HtuǯpW~RmQ[VuCbU]_t녜.^Wp `\ 90}Ԡ ݃ή}E[v˹GMR&e\~ Ԛ!;`hhEM:rY(#>8oh57tA-m-c eF!ѮEt4?xF/)"j(Q|PK̓f^L{QP#@]HeAAq o\U9yMWp y ~1uE^Cnz{!¯wWXٱ/p*(vv%O`5g=8]0zo7(o?ìzyZXrP 29xveMm.ȶ/ccT~[8U^`ܹ,A."mqe)' _w*/viE;D~DG#n@KDivI/Xs:)H;/:Up ,h=>Z@ExV+<2ͤTceP3DZ%TQ:UD/rLXNtW;sC=[nAø7>O 0[b4CIe6kG ]? AVVu,5Q͈܉u+P{fzg V5ᛗ/ڊ< )̔<-_4ŃU<WUdFyVj]2fZ-< ŋ h H3`v*&~#I̾d`& Sv&En7E jv6~aB^[wW9E@JNUE& Z~mUn~x#K6ڒr^q7 fBkjQ_&LY~|[1R-&\+kcͨA el"CkgU ݆qðR4쬛 $)%6y*Z|3d%]S"78 Z:qW?84&<~sNVfKJ}8JvDFo7}3EH˅,́\0;]PƏE/AyۖyN}osbxlE0R`XJR6U[騨MځN?ƃC"0υ&݇GgyHЄm N>˞I'ﻲWWCybgϽaM@^#ϫcPGĒ 3 1ܪ>6t.RXbs3e stܕv"3c=W%3g R_kWD /"+z1KSU=U`яfZ."&gYZb16f14d7514152262b8de1ba92058f434a18b99dd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c d8a2fa6ddab5ef7ef2f18f076d74e9e7d7df6a94 4c05e1d79d7533780d1492e21cf602ec2deae0a6