SQLite format 3@ .0:  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  5l<| ]/ Concurrent_Revisions:threads=4elapsed=37.111cpu=111.180gc=2.812factor=3.007zXZִF! FG]ŗXf[&"c\7MZ9TiF@u!!w Ta!_=>oo8 ;+ۗ+ygv&퐫S_N ^p@2:`gLňL14ZHV9'Zk4s$"2u7#M\f cH,iQE؞^zb|JD5w5jfwY BEY\M^+:V^tױMrZϼ&Ǣ.6@"$Nw g#͌=Yya}o #Y|Xt~MC$s_?}4VHZ=~CT|My7cLI~ D>eR[S-ɀ佤 k=|G7}$d!r{ J<.&(HX̐kLPu!ehzbiA.v]fr|,k]mj>O#TI貆nk=|—ڑ#hՁVb?|.CU睿yA5VbV6#i@Du9\ 9Y'"3=$EATJ@_$7͔DN}ݴ+#Rc3,HX.YN$Y,1~󸌼!)IM)tؠۜUj!aQ^È[b娯*_}nXFew#\C(wY]˂ ?]Bd, VRc)?̜yOҕ^0DŽό<}kN%_)b9V苆$RLqH~4_ON\V‚gd. |(y+;@p]˂i y \w5f$ ny|-J챲6(db]sv?2Ǵ2 okۥ01 @'P<҅ݾcgJ-gahM1::Nz)ݬ#bW[NqP5׹vXВ6 {ƥYg[N͍1:-5?f@un<ȣnL5rlf9LU,66fel;ۊ?unnU+)5箻Hi$mNLc-O⿖$>h <rKoebR^<)rԋ_5䗯x.lןJEv;jh11** vJB$'(R(v@cΊhBfrA 5 Concurrent_Revisions  fbK\ns0Bls0彠NU-%*tHk'QY4{[*;h9|J$! QZ`8nɵZ Ȍ3-gYZ7zXZִF! S]ŗXiɟv \t>1~y׭b<`2gm@ TL-Vp{}[`#N[ƼlH P]=k(eHf~̹sKNO%/;jr&;r E}ڞIr AStjB8pvy*my*ELVaB3 ]S̀0np ޱgYZ7zXZִF! ]ŗXi%BmQp=:;z7դ{kLNb}T+hu 3?k<QKdl_}upd#P<672t$qq5i4kLѮ7xй50` 5\ʶ.BhVnkNU|.`mu^I M%@=V!|,[wUUSvQ'm~]=Ez2@(弋k ]dJ^A滈qNQ4Bfw5r 4Pba!,sWrYpX*k|AoYT}^\\#R50LR|]A%ljI8z?xsEssHP4 wV{f76Ү ?Q sG ʿE,K`1khɢ7f ʱJmzZ_ԴdNl/! G4&zzWQIRkN|J8E.%Rn!R&%|4rHW틏&ƜkI[;+Ji6/[yU 9 wu>:%.Sv?>DKF7!>E,82fz|sF T&'ˌ$5U[&c1t>|,X`!oE ?vwq$27&k`oWePE߳xt?ò˲.֫ hQ9ʼ. 8oM Bw 9yCCW>cM2~*w,XBc)$&(&l b49.]'S#JâGd ; MD}1I ۰zeP.Yley${mn[Ց!K}^'fS ![#使=u'>f:ِH hkG~aӉȿ_]Dx}T+|ʜw&!z 5PO%**s;9 ¼ў%D+hh:>-*] Ľ#Sw1ل Y,v/~Tఘyz] /o?pn:`}Β&_ q]t?qQ4-ĠvSy/$?`ZD/6^cw v6f QX7{3.8z)&^"DP,+A3cwͯE3)Z;U4˴~:nZ:K7? Oi0)˽x,y4Ԍ]% [zD>6qz M2Ұ? ~3hy&)Wt*9y9M3Z~Ź)t'yG"4'KEOۍ/Y!q8B7aKv~ t"_L2ea;}62l'<қ|bU!GoU{ 1{?̮AKcwdN[Δ Ā֝n|,4M[-̃Sݼ_[#,.ѼjU_*V޻9ʖN`: I>2w? (6ց MAtYWcmk$oT:Q`籈s1sA/ġA;=, 4/]KVgYZ5c943fe79e81930b8e91af1a43310dea61fc6114ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022