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   o- $L ] HOL-SET_Protocol:threads=2elapsed=51.880cpu=90.584gc=2.732factor=1.757zXZִF! )]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaвܠS?MRfC|Mzy*ۚ!rF_A]I+IڛJ]Z 1^Qzqiِh|%Mo"Jz^;C+OtABN ѶBO)bt#, Pȶܷ 3-) :.܏d -ÕSCf(Y(Ɂ=[W3ˤ' j` ʗGp FXRKU 9u .MTXR}&n# `$Ӂ9J?DPs{}!WZJ~!n ~i:oj. W%:aǧ|M)\83]HeؾLQ 1K(Y "<#M6z")u1\i,Uu}%k?q ܦѥX:ovM~|QA 43k5CGKtsDv4FPO3PԮ) - HOL-SET_Protocol  )j@aE) IxԎUY| } dk菔Kifkx  3B.pyځn} VO;ɚT+`x fsVQtz\!PDT#z0u7F5kn%oW͕5{hSXQ)ďGXD%pͬq_\7tϋJbd;ˆZ@@B{l_&SJ*ROP`RhlgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxxŮHO2 (j΄Cn(#6_O7qqlA- t4ݙKy.딓)t@Xǜ,!'x@3k{Dl\jRgâkflw2UF/VH#t([!qZM8uۼQTߢV;lQA1WoXB(Z01*>/!FvW'd菦R4yCR&` 䃨B1>䝱;=m.R}q5>찺#gI3m#[:RJWzPC=4쩆~1j$c!D7ȟڳ+T? "z 2fCt1+D{C gZ#e. ПŖ^Ho,v#X45/H˳Dbj~ (>g;瘚A`Cn>jgbBI-4;Zj.x|Js+zX;ji9[)jIH_&ZYt3w%5j͠kY n6۟g`,쯜6lkMDpkq垝Ojh~!dVP66 OAW=2H^d3UHh N $Ʉ( >PPJ rk\ loU/WL[a%vtQ31}dgb6M)ezڟل MYLwc/ ҩ[OlC\x!Q::.l J7TǛw$2V.aeyk L>0ݜĚuoO;FXhj.$ۓY4*M!fcqy1S3w{jbfd5 xL*};om`~ 7&\XJ:=9,$e*mj:{HDq]("jxl0m"1,FI_L.'B}~ qxjZ U`ۖp[w7?yub{tj "#tFI B@!3l8wgOv"[b {UѶ0n[̚:ƇPrtPyDóxuBF(:4.< %Gה!*O` F`eS!mKXH+_]-v<싴[>yq%w / x!jX8+61!L/GƄc]a~Y%!MN:Ov3؜AžVQp\HR +O!]}KݣnGfED-Y?DT x9)6{/\'$0 va[pE''~ bN<|oA iXVK>_]VRQ ^%X7۾ն۽F|X _ܠ* P5vD;b(B,g 0~_[l~UkA;0ض&'m{0{ߜ:KPrwH@~.`&sj# v:7yҤ›+9! ["yV{ *`(<Ǖm.*Pyb =^;K.LJk-75d^(A74]䕗#AXM}۶QbHA{Vi Q2Znv.^`+!挨/`9KYxP뻂Xmjr9< QJˋ~77NOs#6Jd9: cȭ>Ѭ^W!襒@eC2L!xA_ 1:VGFHP}7~ea9^pS: