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 66G7 ,4 ]/ Weight_Balanced_Trees:threads=4elapsed=13.016cpu=37.060gc=1.132factor=2.857zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsx8Z"m~nhrjQ#6^D1mw8I, xج?H@u:`:Ut#Ȯ75g h>V/mԩZ{|noٞ9$ MduPuRw)טItӫ:{st}M:Si Ȇ^{z쒫8IfN䲙Y~ͥ`٠wuA @{ =ǨFBv{EFxTѫ\M/Bu( yL}4yr_̣7RDziec5 ]>˫qZ8,I@o=w&Db&/[άF}PQF(|!) ($]0ސGGK0Je4)O#3 oN'f&0z#-%}EW ˎI}ِHڟծi$_Uk.[Sdʹ+j7On Wty|}/ }_3-G3' Zj09 >%yjAd6MASAa9x&I$YK=S'La fKs~o7gYZ7zXZִF! @]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻SN{gpPL")e\@uz)ӡr^Ka v׋.3"XZG?pGu6EPυtktL=-ר Lh+EN#=CC5-1xZk B(:'X+>Gc$#Z ԧYs {&Y+BmLv TcjgYZ7zXZִF! ^Q]ŗXi%B8]?]GMqɤ6#)@'3½CNf N҃O1쒁<8nS w\!XO&u8nu?w<2 %'S?Q7 jdۼuM $z x$Zĸk$MA`lN]ttnfa@82< 昛lX=D텭!/<\"ӗ sio 1* L-e.U%2ASTR h:Ε[ɻCՋLƵ#?$rFtD,wl ;zMLr(# ڎ*h=&a?cF CƬ#KakxS^(-A` d]HӞ$]F҃5rsש k60a `>9&~VI=Ly"(`Z|~ة E:"lŗaHBJYkE1ߚN" A.z>Ʃ)0ЯyC$DƋkWg=njv6-+}!Ȟk#dKͶݟ}[!M7G=1 r4%[ .~W ", rXdq^Q tfFiHKiTf&3CiQtK]*o%E0Gj6RzP|NEnBr =dU| wۊ!QWfDHH[$Ǫ 2zmM4n+Jڂy/uh}ZCCDEȾl @} u4r H"]4|u$iz6M˥R+DuD7MJ` DR5Vu |.\.^n P!\<! 9YIC+Ncۣi; eP8Q?;cf&HA&m̪bfK[`hxFVQ`?}거 #lP+j*O*Zh⢥Q{/%n rTG* }I ܽs*1u>pյv4ϣr%l᭾R"RtЏ)ȱ2Յ֏Ƕ|L2t  nXteƸ"DyF5^EP'7#)EF0+G˹l؟Aw4 r[$nخi#s0 ?{M`.ۖ*6!:kQ ,gYZ1ddd1b5430c2d6ff46458ed81e9b102a20866bc3ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 7 Weight_Balanced_Trees