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  $ $Q1dl< ]/ SIFUM_Type_Systems:threads=8elapsed=25.130cpu=128.662gc=4.992factor=5.127zXZִF! Ik]ŗXf[&N:6@x7siFl<|L+n|!)c0I0 qO^{6fy|bimc`a Uy]P,[KaU+j1d]ؔ$2Eit3L/9ːpxZ:jeo z' "? [.C^c]^i¾1J;ʂB#8q:Xd\eNZt7Ads`r͆sߎP!k癬6j|/ܼAEh8ZP CX"~>bҞvu>IRqB`VY24;66"e[]2H56>"9wd[_AH6x>d!OYr/ڻA>x'\EksƵ%RsϬ$f_<}ۉMkZXMQȕ<-+ٓ\^Dz,oi?_n>}flG짱kOڎFB8\x5C{'\,J)= 3sF9*Od2A19n3/WTwގR$k9ݑB0x"j/x.OYDDC6-+f^i6&̷9T?5uc/9\y@'C[<(4*'^]?ٌ΃Vt'"Ԛ_fetgno(6w  1 SIFUM_Type_Systems  ;~;[,fOܿ ;5C/ʘQc/[ӫlYY/bE&\R$~rI0O^qODsg(gJ-s"E7#5r+*[yh |rfasOGMn3`ap&6:M,wW;Vϋ&,lTC5ЛxeM88:%U£" AsWU /&v ZP%gYZ7zXZִF! L]ŗXiɟ1˦r pt#M&")ohEdu-~SjNjLm w_=W=f ዔrZ[zf{Nd pe IQ"A[NRgIq􌼨Dk#`?܉CN}[*:-VѲ\vĪv 5tۡYK2(]gG2v!qB~דԳ{ZebSA|c5B*SgYZ7zXZִF! C ]ŗXi%>t{DJ}7Z _oĮ)_8"]i 9!eLj, K QO%'x8S \jZNJ9 $1p<@;Bht"bg4 7R|ՍVGa(>+/eMnEڕVpWDfJnx9c+O۵dBߍƘkysAD ÎEQ&!Z/ZTCmxXCv=ꫴڵKIh{lҰ |/b&[R?xx/pg1V;n(oDs6VۀKk"Gl/ MNk'FGeAdW^ٖt$T$ݠ3 L]u@$o9-ĊHꍹ W^$"c܌g>ls ).X-HjtD3fL?sIMeMZxJu ʣsm\{5deu^zm0U v?$hG2;+X?cG!Zv;e넯ECG8.2bSw7=ҞeV#}.s`F)!2N ՚>ZUwu0N{F%LVvs%@ 6ۺkա PI-U}[J ⍈ZKe"DĞ쾡Kzk:Z"m^P8R13;IQS&uJ¡g`1EEY@ps+F|cemur< 8惽 KSS;(C~p)î 񗷂3RS[UkkvT,@Rd%$Rl #-{ʜReHkH׺ Gx ->O w͆t صi.(Ge3ɖQ!zJ< i,-5tmʢ3D\0ϳBn!6BIZe.G<^ 4{:8z-c~ EtvIyh잮o7gIWp{|ǹQ5]kl=t3! Bjaz-~ {ovsɘWZc01';J? ~p nyUZD{MKb/#͠XY,1Y%>8Lp^D#3񫙐'.[vJ,|6W1# ϧk㕹PoRu̅ꟻ >"GrADN"7I'/>$f,_tvrȚԛ'.:ۋzNC3 eځ*+t9+aQs֘w-[~ӓ{L'*.\x_7 t*Ĭ(-gYZ50458f063784f6ec5b6cb6688b10e104606034f9c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b