SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 FF7 |4t ]/]HOLCF:threads=2elapsed=18.057cpu=35.392gc=2.376factor=1.967zXZִF! 5]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_JqG29  D W(klwD}p٭@q]mZ!anK| KCB6??Lyq|a̶c$!*W.,YL:h>ˈ>lz`r{k47 VCa]N.$!.5E>XB,C^&()A4Tmw 59a% eF4sxHf`7FFdoæ:9 1^1CmڀLedJʍևup;;FjSf2jR._G|hNtPl^]=6o<@[ xp̳IQC6J[/Z>RH:|M'p̻ܺdI4=(8$ҜKJبwi;{N#+ۅrCaH ޠ q e̽02Ԕ'Nc֓F|bDG%N5.A_am|3X^u,?RH$*JS͖n )+ʄaRyk}^lz^}O4Q*̀U$Eͽ FV ÃұgYZ7zXZִF! Q]ŗXiɟ1˦r~KunύNN{g} ަ>WuKt^f#TҊ!\"- fn"M m D&׹oպ;{ga-USɿd-\%>Z ˂\[K޹ h$n:6 #T:0*Йuو-vt<)2%̶t^$ᙠ*<(5՟ 1lXLK[tPe s˵ cyH@UtQ ZRi% z!ŇM&qnUH:9%ɤN<X"^*2-{Rk<0i^!ÃxAvU/os|>t m;C6uV!'l)[ay a7Gx2F3%EQP } ayP7#g 'MØ)D-?VV"h4@߳)zSCZFKC!+0H5:;_B*Rx2/lnwb+U.|l2'%4-~R%5VQ~;ƃaZ6*=u;r!?[1{-Unk)wdH)Ssqw!xpVung)"UĂVE VW"pX?+)xɐ_[ݡ٫@_͞uFͷ+%n3rw Aіo+ YAp_wX=,Lm^fVaЀKL &j~n̟eu+ c_xZžc|# 壴/䆁Fk F] ~+D==H/iʫđL%ضAcr|اʨZߘ?c qJonwA<4P1u1fz~#=g`.U-aXާ_W"}ԭPȴy>UW5ͱIozfR9*X>I"eѥA 苟XJIV bx/"R/ R x}^iN+W/)D9$X`}_(4 ! : C/1dqТHHKd- X^DQrcs]~iQ"H{5ps :C!p r-}N+;?q퀁z1ճYHi IJeFo |5D]nõlQ&u<Ft0؇2R{pfrSC*pÀ1ݸSz@\A/㞅1;$;/;? &P