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 i/ ,d ]S Monomorphic_Monad:threads=4elapsed=34.139cpu=61.384gc=2.948factor=1.807zXZִF! k~]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]rеTW\fm7m3dӜ>aBCݭt-D-=F Z€%VM 4Ãeq. `l*WHX q@,$EM1,vCJ޸opKW\WghKT|~2*ܰp5~$$QQ~y#|~zKRtVnMVw$,!P"OQ?u"xjbK4uw%=uE6u;*`x:NmΛ4a3:k=$2W^Pe?WHFh` W@'hm ENAJ|mꋱ̒wCA/U&(~վ;] D9ިhMwwi03II#3ߒq9iB7JP8(Riu۝ a U05 1`]_UJWs (՛EЅ)fӭeWRi#;M_gY~/ 6=#_(Ёi `s>)8= =Jpj_WFLNyG:2E $7}j``K(9g;x*,Q yf .tO@:Dņ>/jč4*LSbY~!;ϴ:$+ 2xSlB}r2ٹ,mik62E7hM0("th9~)[N2z8wv`T'eMjY6ٙqbΑލ3C@i>v6J͐3?J=m>Cjؚķ61}-k^PMFdb󧛗) Y fA+ԜU(閆!~'/@OwO] ? kW8%cxke&Zõ}Jŷ [` />3Kܼ(MR1았gXGgs+wò}Hsk$&9,O]T+@Ū8V`'xP0 YMs3i)cA Ktx@D-809v2K嵊{"IDTw# 3{zMgNZıETE;y NLJ,rFJVҏptnZ/8,ḟ fW3xgJ0fJ|{!Ӕyt*݂p•1fP4nsOo٣HZC1b}$ eU?߈ڧώ)Yب6Rz-6_0ʡMu < kP/{X/?JiTFSz;ٲq7l`AbcOi!3ۙ-Xԡz:]kEQ1K٥6d`*(o3S2 9Sv,fXbHNzDRȒqҁeIvJ|{ ` :yV1kګQyQ9xP$u)p$ɡssı\S$ Oת/~x&.Vlʒȕ`ecD(`(_앂S Qƭp{!> Ӹ܌xp<[΍O0HoD06q^%dPr|f D8&Ź\DsQ'=w &Ӆ\}B?ļ38Nl/NB\]z/H ٯFp8:0~*ד6!2aH] B]JK?& Xg3 k|"1O}[R%3u67Jԯ}ؓ=Z- -좡ƉmΑ_}*u1UA/@bh6Qp|!OUKU.K@rӢ> °A~0IƵkB@qa }M!{j4hVۋι\No9FoBҩ4V@D7s`Rf4s ˊ2BF}4/q=@݈m% e#~;+sQFL[A)"pkvJ1m,wpW:% |? fvڈ+JI Rx,a);tZU] W @[ 4WC,kǼBzMH7SvL2ϧh>n=:&):,]2l05G-BȼOL^Ha ,nf0RA(苅Fg_Fukyȫe+K&v=\`M boiG,0ae[vRAI @qDhjLq0GL  $6o MAG #˔FT h˰,