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 +3 ?( Ϲ#wA*G7&/S 0˸S0q/LtΡW9P d{6B.L\%:ue Y!fa$*_#@筘Q ,~i94$P(Ȭ _t*^巐hvo@K]s0sGz(~"<;tO>B:'0h NX~L^GZúGLa8?%_kSOG%ܐ;j.Hv&oh9rWU(8#iTJ;j3#PI ŦI]jH3eGnBN&+ŎK>j͞A2ULQHkMR'- ҂;iU6_f²@׭*Ը25$| 9Q#%љ U~Fq-1#Z:~Z0\[E[J,RW#}2FV~;eHkJܸHpO1Pa܈Mߦ+M7L,{{Ⱥ] X:tc|S/jxߐ}'!x>6~g&U>}Zq=-|S2g On{x qۇ s0$"N)ϴQuV޸S`X6ۑgYZ7zXZִF! 4]ŗXiɟF8mS" mJѬ"#.8d/p,"t [Ri=mPJ:uBBEUseº{fgr[Ђ F<R23njs+;v hb\9<sTcK,zb/Ñ$ue:bp)ק#z!l.h=$޳0 hl7/'"W󳛰j4 ԣw"FgYZ7zXZִF! d]ŗXi%L P2gc,*QO)*Jv3\v)AsԻ/aAؽ\XL5GQ%7 mz508Fe#hZ}W{bl `˛~'CzCa FTL œZ/b>WaXJ7ttܸ`־"ooK""Jji>V -3U~.>dEK)tU; +^:uOfד<>Q^agnlo<5\[oITEمKs\J| _ꑓ`GG{H hEV\nXN}H;F˙1=2ְ"z΍sw; ( w: <$T5Aa1ާj4)ha uD!YEl݄,F~p4<s [H}j@èC#G}N/}ŀTLw.TazT@U`3I̹X>Itq u_2)#Oy.haRecO1!;$g>NZC.P0@J!9DN7FY]`tV4 NG%֖y?lw2ቶ 雼)jD+7ӏe)( $BCDWo_᪥61&=:`e o#VS'v=͝!j> qT&@U0Dt8Qؘ,VCm[+U3P?vn1O&r.0j-u{UC$DϿR0g`ȼ1G}4TS -cef%6/qEa֦bc^ tNˏBoDux.W<_\󣒼)K:l[/k-*֔nG.$ʻޔ՚?@!1bhL2•O{)M |EdM}O  {fY(>&~?oٌg?H \[ƻYY/=]ҕGkً<,Z$`|WSY"6#NS]%l;SbB6APa+kHP=t N{fSgz BE:.+k>V,L߳؊Q:ɬS|km zGcF1pmkϰfyyDKgz*)PvF$>E DF$4yl~`zS >R'* ?>];jB8cwriV"ѹw8<86{S4k$'ڙ =KD]}L)vke8;ׇIQQ s逴R=92ڒ:KK]:DxE(x0F%ȣtCpr8]Pe*%r* 9(U\k6^@$A$D:Ҥp""EɄf4VH"81izFlǹl[` J I\˓9(Z1 $<0UAZ͌RT:gےja]oeٙ M\zd h'NNr\ɣaxoQr [ ]oL&YOմt3q5KzBT2Ċ0#дnn %hN402 2 D]C>PӾi k7NKRL`qK؃={%HD$i0מL7 Cr2'AF$q3L#b|o Gh}g0Y\= H:d/HpW| ?Vh5uU,BA:UʍYŭe+`)FzCd[Z HaL]ɭ)TN_2dvK~y3e|!縰ry|oUtK˅RϖG)o8?;+gaӆR$1[!U 6H]&`5h_UyJEx","ݟyP :S6:䢧ҾNIOwlۋ"و+X6f<xR&̱k␨(>k [Rݢ*#m^Yb{Qywṧ{{Ʀ {|Aj4H|ޕǖ5mCWciprXVPfP]!$Q/F 5+2w\/~m_ZP}ku<\-o :>W O߰A~j(C^ G/6x-d]ē?ҺP_,F,Oƌo"N5=lb;3y4GJ؛r!?1` lvۙXgYZ2a08a68d3b7840a6b52905c2ee898ae7f2f3873dd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882ca5e0cab814e1bc16b0ea31a8554e798c9a2bae5b