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  z) \,< ]S Sort_Encodings:threads=2elapsed=51.638cpu=98.540gc=8.468factor=1.917zXZִF! ?h]ŗXf[&Rz=|K5ꑟ*uo.}(vC9T̴jIǑ;lOFnf G򡏙fc[*cc%j16Iqj6.m,DIF(˔!Ԃ :6x.qr>XP V,Gp< @ҳt h*S)es P7kQTH_\^ 0BcyFY  jOEww$ħwHl}uc瓟/H_bJKa,"3rԟJ*j10#(+ɷMp0'+??=Іrk^/Sd2dŇ+j'11bp/, DH?iͲsQg: Yg#;6[*TWWc|!!D{DҁzsEP=K@Xq+y"ِ!QvfKep Ch$Љ2Qـ?i"+p U_$$_jer2cBa؛[bB^Lg!7A+g1G)gI G S׃&UW̑a&1`$ éMT>R8MR\G[5U1A7bͯ$;C%&ERȈQzwKL~gLg7,aͦVQGL@;cjw3Yݧ ye^"DX]Er =Mˢ^ǂ;OH(iu!6 {趠Ϗd]a-pHJtg#<ܴlp+SoB]84M2PiFA׊ƛkQٕBE gIv ihwbP$#!z(1[f}H Qyu8F7d OmF"PEzoΟ |,$U/54̡}L]~!nzP>ԑpBv)8br 4<<_bjS#S3 wٝ좡n`r&5eR8kO]Ue1",ׅ-h2cWK,D `u;Q8Z`h$Wbr2_rœ/@mjvC:/j[" ) Sort_Encodings  ۨRe_"6{EfN,^(85 B]:"_.MEA?P^^!+JdZ^=z8I!E^4l0@+qاJ$3@ Uu+^)8t?w}xw݁6m(.fl0XMGhr磪̽*kTcAs 1džgYZ7zXZִF! M]ŗXiɟzlk֢UzYFFLhAI.k`RִDu[mzӍ·%)a@.fT~%B %M/_-8WR)J/5B ̠G-o{a] tQz}<{DAz &d 3?gYZ7zXZִF! U]ŗXi%>gE>Vim\Y*@zi%Nٵ=[ZA.?sABkGcʸUeh*uD"(&oD m&Ͼ HqP/` ^Ց>Qԯ#ękq3RJm vr-+^G?gg^0}֑/~1؎;=پq me,j +i[cWP=۸гgQt|گxf5"A#S yJϺĦ2JAxRD0 ͻjtqǶBbsLʵ}fGzP#cZaӉhoOx3IAcTi pU'15TPm̟a]E(cqxrX:}=+ eSC>˝4eXID1Ųa}(yԔHZr2!^-Mc#b];lp 3,,`hjcjJ_ⵂ sXҺ.~Xpt-)):-ӵۣ\ڗtNeo~~l"Be1%QdUB0#}㐓K#w-1?S8=lÜ y$B=81 W ,`?,T? 0J{.qoSg'+҂glzOT햪zZ=>^MFG20tztY==e3]d]g)x,Yh 0[eC0Ms#] Htd\X#4H'^?5^Rcn4<([I0D R |e|HyNvF&^!pg*3)u.r#v b:q|TXHO>1i)jFF. VE8>xE:5Xf άnX\)΍Kخ&˥h" x]bbՍ$od4֐TՃCR:91d&<-PhZC"'bsir $|F ]?\S ūoi2D9m>F]:} J]d';sC'WEjC Ѣm]Ӑ¹/gl{a=` [)|>dILO!P䝡\{jk@~5zo! QEvr+Z6 ;WxbQ@1vF<&maЮ|lG61]\n - Ҕ>l6<&;瘁UwyYhMgH^lxD!P؁e·07 jЖcN|l괎kN>ʍOa-:Fw aES6Â2ԩjg].^8*\ H=* E쳯āyRt.nIirCMvSb"jU0LB$c]kq2IbYFq.;gׄ=XfVMy ێm=|Lu!X#5fQ֮(&}L#'v+|)iмpa"=ZWk,Q`` c Ֆթx%/qvW{yZJ򯅡0.wDme ޠ<=:MOUY*Z/Ghe4 RDᥗ/q}h9ۧ8BФ'݂DT-a15W-߹` F2K. =|@0BHY<ʀ-*LB}>^oGHSdRq`<Iq RmgYZfda9db98109a7ff727208bb01649096665e7fe420779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 74c490935bf691582034894928d3bd16ca5a9761