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 2 \l, ]]]ZF:threads=6elapsed=11.995cpu=43.632gc=2.304factor=3.647zXZִF! h]ŗXf1-) enȈA"tr-j. ZbNVH;Sw< ]˳6:Ӻe7-)(hoB뱆Q{849CA |cnh#nXV'{2$;ta6D f})Q3z":NS#[wc )m @v8~ x[ODq N,ӆbXSDHW#W=ReJrZA-0Zdj2 Z5A<Ï0v2kEt)OwĝQJ5zf4`w%;gg,svA5ya lk@l@Y>3g#.Sb^GPntӅI g3!k ]S(G,~&߇= ԣ:H"Q[f-{`@܂%7D /bĜGM?م OOo>uco)kX!`qUm_f$fh`[ֈjtR8\`]h ضZbM]ҍGh[T [+gYZ7zXZִF! -]ŗXiɟ 1FE`空LTG[!]$˗"k'Mm&-S 媌ͩj]0׏h=٦TM+ub%^ DU:UP?ZcvP T_6ʆ}=EʃڊXwhSlB)rMW4딱5jFWYTaʗS!tCg<3SIxo1x7c a5dϺWXZZxD: *jPZ}q$ ]i,k֬v&)e`gYZ7zXZִF! C2 ]ŗXi%B뮳? ANq73R;I!yÏX=G3@|L/b;VfԤY{LX"e7s 0,@ 2WgPnP[:lz8YRyl²zM яc4 Nil),J:\Qϝ= f&_Thtu9 ߃e˹j \6mm;L7O ңH{=W:_3eG~(4\j9E!~ɕ ˖\p28tF= =?32${ypzei?dHfihz[mF@|\YZѽo~7 _D/;h/5K`Le̬?] y˪۠=m5|uDE_pjW`{طG3ʪOd4,N]${+ W|כ$DެvBln!()fzM`bm7*áxcn&}i?$٦cq@!fVͥJ؝x*.Pa:{I:PW!>vAh j>+P%CvKsxqυ^]qO%i?l어`6[t_3nIAҸ#VRi_uP(1I¡[ ip|j0 \ RJ"=0|F2.>W:..sž4l$K~uW$skPcb r)?f Ay'J2nUKg!M hL`5j[(9}cHŚ2`\ # U~ɟ]*5DS"2BQ|Lmř xj)o-J&(r xTRsf7ms,i:7t7.ֶڞO1p&n&[Ph^@!ՂV( U!1X:g\ne )ns#Ed@'&Bx0i;!.sgd:y\1\O7)sh)>MA/^4TK~eu'eYy/?;I /"OF"w:\.&^HU!Sl[Y V`VdBFWidyn%2%oooP{pc)&Ѷ&؟Lf8Bޮ;0,,d,_D5켡hOL,[IX> 0.k7.{jRXHȧ ,[򮃙Y=j:jT~ 6WgR/4:}iݴ6N]`INEShotggb4ZD,{d.~g; (H/•c5JXƶ:bw'Q8K=~iX*&%?_ $eQ,62WG39_i͆l^ ˱gYZce173104858f511a691e66213390e0b132fff338895b1b1b83f37732e07998df22f424d780740496dcf88f9c4eeee8b5446a6fcad6162e5298b8c329  ZF