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 & $tD ]]]ZF:threads=6elapsed=12.178cpu=44.060gc=2.536factor=3.627zXZִF! L]ŗXf1-) enȈA"tr-j. ZbNVHv*=XqG9ьn Z+]Ϲe"da < eYQQfa+,{]ؗb%YE䉡=ۀoӶf|C_aa'6V$R@6iM-9_fNn^;tKv93ˍzQȋmBbJkmbK%&T9dTZN^7RQle~mh`h0Sr`Mԏ>JQ8:cy׆t֗8O{rDE.-Aj-tT'KS[oۚ3@qqX0C /t:JLbƃd2i@q "sQM>&(H~ӈ@cfVKCȑئ ~|>,6&̧j0wSXs"SS5tm-eD jA `@Qms%CJX0n=Bc z [2L >} d֡I'mB|gYZ7zXZִF! 1]ŗXiɟ 1FE`空9hTI->MuL~[9n_|vSc;mf>йvOȲFkIw#V ݊|8WVNKe f.4-/bÅF*3D$;Eu֢* T"ntnm%Sl|u/~kbB|؇Lv`b@)/$>!Cf٤ \7^f `g]9l 1}0/`,]ݸ1& 7 ɐYxujX$32b<1{&351+D$ŔS&jl;xDkirmZ&sIҏXo\d84(Re@l &VANȋv~yDBH'`gYZ7zXZִF! C]ŗXi%Bn=뀧U7å5)ȷPXcՉo3~^ 5NLz&׆ )߲@&H38Yit+oT3w= ^E{M~!# 24=*_4U^*9##a҉k/䒊pEIAxǴ-[͌_:ם MT۝dPAAM%*O%(Š'=p4_zgI|fͧKx xcL4fW{[pC4Pk Y}r| JyΧ^R6- HiMOxꉚ^nj6sDED*޸F Aob~4M;YkM C s)ֈnVSNo\3`(c:\TKI[xyCן g8Mr8zxatlD3&pA )6 mO39S %y,#{Da1䉼9tcخ ؁38h"TR)=i$0@d< l۝te7TR"ag`4zVV$qeK8Rjb=gSJҤ0r-- X -#L?1~&e0=Msm( ,cncIӂ9)N-rqPUhk›OU&\ 2)Z'Zfk?-?#FSa<@k/qWb]:IAOb%4h/yaґWmpXpknC~)^ޝ5T$8"KU޽8(Yˊ .t锵K{jinv61A./Y$Gf"Ai:G|"SC|QZxbM۰k`j~UTo0e'\L ރNrsbs#7;["~aei3qi? XUEW210eldj޿ Wb;–g&{<n?|C}uq z*ots?晧e.V=d,-\ LnJYܹsaϹ|+s$y}H$+e%\: 3Oӈ)Bp01|uK [c ;nµٖZ\k=Q4Mvd :"82 O!Zih:Lfs|xLOQA^nK`bߖ=6ZH' S'WY졮B ?Q0Zr\נQpwCCOǯ #BPW졼~ZStMPFgu#{Bɟ[sNs$(_s*ޫl$V?CT u㲱gYZ4f03346f6450cb3e9fba5aa6634a0b9c2e704e3be47e82ff6a77ecdbb1e7af128c99e9f405606a5a0ff25330462f20428a3559ae433efb593a6a1e13  ZF