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 ((U) < ] Binomial-Heaps:threads=2elapsed=20.170cpu=36.128gc=5.628factor=1.797zXZִF! &]ŗXf1-/6vRZkc- R/{^~xc*79%\++$z`%)LLf/3Z$,@tP{l~R[εT8&^>Go\u%?CM\Z `:2 ^$ՒwsX >[ǚJt" NTc\s6$//w&ѝ5tSдpH-9Znv+ Fr6*5SGƌƓҽQ?`SxFoOLl:"8D4$ޢIo% NݗPd>'c[f;k5d9*ٲLc__7caR\h6T(<0n;֞Ua2@&^I8Ys0$ 9cr7gQIN0q4l ]y.2;lR73!61w%.>s< _ M~#zƮmaXW~sii)=|˯yNE> _ȰC\ /`dī^݆/Gb3#z;P|$O[FQV%qac炴,K)ݚv享Ɍ2[xDk8rܢpi 6zJHgYZ7zXZִF! {]ŗXiɟ:Jc02߳|y}*^tsA7= y>EջctJ>A;T' šHXC sQ*Ypو\&ḶD[p-14ɱgYZ7zXZִF! e]ŗXi%;*ҷnT/*\+x0Ս?z6J" 5NQ]Ņ]ZQJVUSIx𿅻Zwm6_cZ kj0#>b"*Peםa);DRށ+q+Jx'ynw+ER#5֘e{B63pOM'-mz&LX`XC 'ARgp"wRG wNbi:聻%x͊mT=^m&Z[*u p :Rc>ځHfǻN;X9qz[^/;p\âóC-Pkp)\#yD9MnXZrƩOR2׭t}e͘bh>jWm!V:K=jbmd.pJ}B7BŸ<ԣY18PV&z0#Ky&.lN nE{,2u'vl>#AtVA; nI$Ew( )}-v.oN/WD<^RחN3ϒQJp!'Sf]7 )ٺ"̔eݎVV5~V$-&wh9:,GHvb9#9 *QxFu߶Nn>GsaطKOy$GF[W)#pŁ=\e>ʋ `Xԕ`W ~1aKN3X.X}zdS,6!Mb<>I~υ[;˸E\,ضt!@Pl$`mdH,Hֆ䗓ޓ~k}.y|fwt!ȬCCÁp*9o>C}!`*zRדVy#]kk8m,0I> ?_I!8 M~d/y%bߕQ>mOT"ʣtd XmEmݩ7e@HhbݺHsx׶GF&)L ~ձgYZe686eafa01ae3d6b13739787669f8640ac411e762f45ef79d98bf4791ca25c4e1af3b76b517203ad 1b41415026d3583c6b6bb0d2ec2995e8feb75528 6dd7123fa75097b18d3135622d27b8f5daf5537c ) Binomial-Heaps