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 X<4l ] HOL-IMP:threads=6elapsed=56.265cpu=277.516gc=14.936factor=4.937zXZִF! v ]ŗXf1-q恈gryuPdX8RL/r+4"DGPMܢR~a`qɁ$ +}(.U*bZ›2&WJyܝUx8;7@3^AA\TVD|uDlȵ3 [Θ@Tͷh 6%\$9hk*0ZR+ խ$:=M5UWQJ$leV}<Όk`?t*ɘr+۳ 7A￁S@V~C[**S1*"S%Wꔐa#c{)+PUb%g-8xNa_ԫAb];w9[IUk4y֞`SV<G|m$vb.Ul.>b*͑J_Ȓd搥s`rmI%R}ZY&rk~ӣƷl\y-t,mͮLw*rYhF%L=:BgShCSL.Q3|RC4}Moh~rj"3[ǔ9>L9,ʷijfC=gpфJfOʅܸbEС\v㌜{ @ X$<2WKe_:|̺ᓯ62õA-фp39o`7MiNXtC+t6ubvs~CӒH6UID26{ocEø8# 3ޤ>`DHhP,Ѓ3|,jjЊ,SqnL::{h: -6 P3 W#qHe6$9HO+er^H}S>Q qAmD#WWϱL6xc'7(<~@O~}QhJr~{,+J&{88`_gEGh ܜ? 1 &fC7fIZo[׈f ޚ~p| BU f]!A-E sΨvXC^P7 <M~<כڰHJM=Ye6AcޢEQϐua)U+_A/AH}7g@Ph 8ͼi 5ΰ>w]]\ٞ_1KE' i;r H7!&HE؊[^/vJǑ/2q7 z]ǑOܷ+ؘW$R@'Ko%&q[0zሴk)qAMpÍW6OO9|(]RYNc8*~0`ћu"( 0wǏE*1h{7¢hheiTu)T@xX!Sv/u&9>\8^2k|`WY6y~ʙ$?*_1)۰/ HP ~GCw tF_tȮ^ҒDzf[PJa 7XKۥ>#ԝ?\3LB0Jq[ ݴoEܿYpśHS@ix#7ʼr%F_[4&3߀\7)sxKN{a aUhԑ4_NT om2TOh N_ZhFgguJr";sm!HIمcz+~[K6S*ԕ%$Dj5x8^*75(a"=`W%a _@3gZI멙6Zdv*`RGP`p=$%rQ-n=.ޠռ6O:`d!=R*gt0/co+_ Io}"է1_~%O͠ .}h,eQ|z9=Xx($X1D\t_O߷T֚=cXy F#^=0̝9[BPN.0ք2/{pIfUC}vሏ &5Ǽp J#SҺ+&,plpazH~Θxk>ݯw3NR'M %72\@eokQ` VQzUe}m\ J, El;Zğ?15T_ z>.b$.*{vupb*+WEYr¿G$C| CӋECTysq&;)U El a:ó(L&; v(JP-E+Z%hzogRY,*_ h]є`+N[DApN[]x%$W ikz{pFKWBkwBuYS8\II2R<2߈-~pUazE?DGKlyEz E{ZhdHyXƞ]PwY@U~uJ!0zLqC<:`xQ+Ю_ac,b|CFbYqŻ"[WvZ@\W!G`z͜CV{HwEΌE7P7G77"j_(k߂M&E2s1g@e*G Wͱd|~jԽ(U;fާ)zr~C bzKݍ"ǡG u Ry aDTn' P` rg$#V6SIlKzN$aR.GQ5c ^@|wq@L.VTeoRƥV{ʧں>/q¼>?͌{rzvuSIKPy=X@C; aB6g[tY 4PGړ(ymIh<*$b3G]]qn`Ne4wj#cXDb6kzkRӔb`s{̎C*x󰝦 gwY~( mknGA/2oʝOƏ`|_OdxRp~oɠA \ $i/ k6\Y*( ;찹@sD0/g$<&ow =~ ">W:hy3 "#Hme ﯐h߲G-M͈-k?h$8*QC7AXx @7b&*O$L7Ւs`_ϷKQMZy