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  A ,m`PB81CΦ9O3z2-rESE)t6 }?wFz] r䅫9DFspW) *댫8eefzXRE;)ٻa X6?y8:m=ᮾe=hŠnnh\MҀ#ԊVWGFg#ߓ 73| ?ڇƚW&صjyڭ"*܃y;hDDwgjvUlisfPc>c;\[j-F^D^1--M5S)^,E0Ǜ\w ѣ ̪k%Q ?Ap ǜ<14Aϫoįd.]5K;3}kv HkÔYGm ȓ T jSϱgYZ7zXZִF! ;]ŗXiɟ1'x^܎ cN]gKy,TQ88ƿ@!wuP{ܝYڳ5!|#ڸ G3'T.!{g,ixZFГF7>x. xAx)Q8͑YBct `+/u&/p ٙ jR@6pnm ۫lMd ccW=hjCJH<]~L~(bӈrӬa$Ef,X7[~+Xq1t3,(%yYao?:s0݉="}evXH t䖑HWz+*BР|؅t1?'d:č4b^fY׳5 .ey>e'cLn)tH5sm}9/WNfhni|fn l|{Wx%ԋXGne$NCn遞'SϏAוzu!g5P Vwr%y$=2(I[/FktfɚهKuy RZ? l )1E֌r{>/[]zZ 6iDm#!K6Ge=T)|rcSb/GE%elv|ǙwL n.~3܎?l 5SH=$Æ yW8*-dU8'P Jz@N>-[L6b%G,8*DChzto9gs m[`p:)Ăt`16=Aúޞ{_ (>D;q7 v$WN5ۅSX,˭8 ,uo+cHy^!]'s1|5?7;}(zqe*,89 X%M8(T[xtdxV}.{6ez|94=_'A\c̓ی:63@W7X|[k87"(N>hp{WÀ pKBt]7`}?͞z̔)֞Lʜ3% 2oc9XL*Tض_ʹZ[dXdgVAʴ I% \ .@҇۸k͏>ۡ Ѝ!ʂU}O wݠP%#-d@. gzlP9}j%Saa[&7kwso_>?AFXM'ToBK܄fۅp8Dޤ(k``;awWD*V쭃(O<>t 6deB W5ŨmԚXu*QU}rX0D_;4N~s]{̵ODv_ L΄ ݃$&I4:fXwJP! G7vױC?]]+'Oݚ4 8"~M"RjP.H]yG9ϖ.|)HX 4+ )u;R׮ph4^V@L&we>xs^\M (+,hJ D63  ])J>ŕ!3|b"a5lEYI gKif#& K m,_9MfU q6JJ5Eƿr'LM]yQ9rk9`Ȟᝣ x;kϯrU19r9K`hZ *k:2QhHU_mco@ ҩtT@38k7l72P <DM|!lYC4 #lpn2vhaV>R'1׃ߠ %1έ~_xH;2ԂM5/IJ 8No_FItޣ{l,Dl[L #Jِ#Q]޹n'=m!M%1cwY*Pd[+ܺҹ&̎ juLKI2ȷ{`|nzxWłbTǼV&i ?}LcSya p2O9Y2qt/|"P%gD7ڳB uBh*f([҇ذ`<εq$*3/\W7/@5жFboSOP=RiJ? ך`l ͉ hEK' t58?N;izﻄĤӣOr΂t1D%h8R2dS-YFC4nYF88)"PV̲]PdIJOgd|*0؞l3~|G*V[$dm1Ǚ↱gYZ8fd922ce9ad6f7dccd2124c2bb222ce87c90bcf39562e4e089728e23b6fd144e8ae0b325e248d0f2 2d67f70bb6d3bc3559e2889263b4cf3e2b1e4e9d f9787eef9dac6f88ba0216c94e4366b98c680972 435ce4209e3278b9bf0f72c2df49da871e2b0a78