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 ~~w/vL,| ]/ HOL-Proofs-Lambda:threads=6elapsed=98.568cpu=116.772gc=5.7207zXZִF! <]ŗXiɟH)0!h]GJMU3ط91.UX#1WD WeHUV#OaA@)8h̶ DA=BSnt![&&(_WGIMad{%TLP"23LbBw-*2! dmqFVT"k6.JjO,[|&&LLxQ#V"SweڅCx k$(גԑC(9b!Ш %D2K>dBk5^س_a|OXQ_ևHHi)N?ٿ/q{=^Ā3mW﫚8C3Ty3"O% FzٝB?:C)Nzha[hMP Ln_R?.gYZ7zXZִF! hP]ŗXiɟ11bu)]>_ws[Ɋ brcdOtt(~b[r#^WqxZ} K4z/|*M[Ӭ<["kr'`MkWGm6\=Klƫ(Zd.P㡑ExP$SfYR62]*)e!*Ru &ɚwVӆ>ULAqQs؃?Y&AMRo`W^uyC[M) v_bC>K|f-6nas&356P՟.dC4ʼu{0n׊yͲẘ1x-.st=]d* I m8l["?;y`v#QC|.E=+klr:F\}E (]dTQ z4,m(BrRj#t"|E׵˸wG$8TnR<6?kX #N2_:%t%tñ(^8>b&`嵢e㵤vl(x`!`MkȞ5^E(D -Fx&fWeV%M9ciCn=T@,CK2G[-':UK& Â~\7o@?vbj:VZJrw^^c5¸6I)Q|TD):Uz?c,rLN'C ntEfbݤr"Zp)JekOBB2麢\ɼ&1qL]Q5`qP6cOaP#7yG#TW%3n2qD,ۈzho}B! }M3keZ2Jh ,7- nm+꫓"u'Cs- J9P#Q}OQ:">#7dJTB&SQ(D Q;4:9]/ҡF!aw펐x39,3g#2ƯFwWDL l\u,yF:o[ Df*Naą{ۀ+^;QJ&]+^J [ s[̄w vVe4k;C^#.nxg :VH&œ_l2Wqe8<[іOƻk'S=FRn\(,'odrJѷ"վ\S-qs/Suc m]ɪC-f|-As|{U/0rS9gP[ZU5!W.c3蓈Tad0GM'OnETH3ܣɸ5[bg=ZIJ_ Ѯ7@D?门7oŵ+-(}T>շ-rMQrG e 9!ľ+ƃƃ\'֌8E$p4{0`d&4,Ѝ>'H6[OS<EmRA3ש M:!Sgb p66L cXke {rhP^g(#{{+<]5Hڀb(.b90ȥk򱒌g˒ϮE79qzޘ3/ڼmy{ ")TR pb̓KW']_U÷~93J<~72[ԀBC@&uh61ָX'mGyFRfÐ𛨄&^wl2/p`HDtIW28bv?1t4FǺ=WfmIT񕌋ښY%ϮJr W,8B4dydGmU1Rz D$"K:\L1@٢{-ljcl >6Qm^8DQcrhB z%$yX=}Dƽy~-¶9AT'Q)iriZRYЀM [6e!]ɿ @cǴL|Dxr LzH)?lUr6fi _|%"hLONrh_Z@ 8Z7] x4)6,'͝ʈ#2BI$+y74?&OC # xF7Jr}C-ZNWŔu懟e;Zm،U*3mRhnݶ gBm?U=Z4i15 p9Ul8k9 &ʂre_ĽL( 񪪹AfN&S]S/ɟ֚1%õKμ!3P&70d@%GNq+xUZjf/r9|Qg*CBt85!?RУ$ >CUO^N/dBx?D$0!Јl=f2|i/ͯr%~zNilBQ,{ CG R~YȘzlґqZk^pi} ~F 7/l_ДCrnt 0GEtNKL<g$kWԔn *,_3֔.6#Śe᭭9Fq =W[g;sM;ixc7m{- Xg#V"OiK K]dKxw!A1Hxqox:*q&|CtJem)Vϯ`.aVԖYRo&PmXif3 *vWȩW<ޅ