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 f= T_GL9s՝TaW50sɽ8MsLQRt,m.R[QP:_W#DٔEU:4p|>ƛ9V MkiB%ht(Kr@9Jspt˗0f LIv fMӅ,U16)ǸDZL:pIoˉzk?\unF[hMĺ֍m;cK,û 5#t]\.RSN7Aàh"Kcۍӹ4cOk5es0ҿkJ޷1GcŅXD{k = Diophantine_Eqns_Lin_Hom  qA}fLD?ቿDl*Yhh?ey4 92Bt!|in~EeH\ZɈLm @=~Oa7\(3߳)rjr(b>bcc9]mU~[tcS'woqeK{1=lN`6\^]0Ӯ8{60ƺU~d&t?ZYD];_:aRC~]4Lfg@тޙ)Svb+`n5"gMM,v6Gh5$ n5?:0930G;!O^0]HDUg{:}ZGx=̬oeک Cd4Mݟ M; .E'7~u#?̮#(ދaF4P;_ }nspT5\&{xZ}&|[@Tc?sR~3}]|Fm6Eӡ+7o%WHâ0=W4z/W91EKw>ES ]I%k2Y91 wqy&wҶQ 3آN6;La `5gaj hTBcQ?X9e/b^2WۭRk]Q!_uX/pV3]!WG*-6IN)_{R,3Lĥbq>)bN1:'F169Xt\إ\{~M84fI jk-xd~̅)'Jۘtf5=ַ q`PzlwNA7ߨ zv̙`+9KA({Gv2U&$ N:0J>ũ%->;B񊥝Ho'_|תkI߫w: $GiS4yѓ|2([adQԧ6r(_@[)%Fǂ}<}wn8Vm]'t Vy"DښN?0 8g1`Udg*y0bSBPoRAej!SN+E.PYwn 9F:VnX%YytMMOM6PWVe0TKJ\U]slwF[$0 h-0r)NȪ%d<{d} w@T>r$?-ֻvWrԕa%/'ejf,kBH}gGk۞`Ngaq@׎|GVn5TCh{<`> 1LRGal-ᨸ}A}aƣ*Ahh{oze}L>RX=JPfLco`ȃ|2|w?/ٕ@jV z35>@m`x/x2[MƅXZT3+JF^ˆH' ZF)I\j]w 6/b%եπjtt'qggg`Ԛ9uaJA 4?HC L]l7FBel("M2#k7sEcת$gz)Q8݉-/e>Q[輭P$ee85RH0lv`:vs i"4#d8[PHS M{`%VO? :LjOi^BEhSja`G{_x1pC콁3S7BR8!MK؁s!U7?TjE2$!&7z],Җ@ .t{.(5Rlym4Sq8>Yf=ϑLE XbrqZ,ߒ{N*1@g8ڼvq$3DR~x=\ : jK1$54t\V-1r`7@,RluJTKō}mM!ZL jW)6s~FV㙕og˺n'o]@m[[ȅ:zO KibpnEbp)}}eA6s@j;SnrUpxہ~[X\"8~)*`gEpu뵦d?xijF5ozRV/>5hLЇ Įa&d e#//[H|AK [] B'-g쿱iwt|| r W&+v}i