SQLite format 3@ .  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 [ tD4 ]/]HOLCF:threads=6elapsed=12.680cpu=39.948gc=2.396factor=3.157zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֛A0G/[L|#LgUn4y Ow/jWsP8xMFL|?HxbDAARACWxLs^NSh'P)elVŏ͛q+PoD] $ey<n@rb>B qOw0*ڡa"ڳo.fFE"V.Uጤ͜yWrT:425:@Dkj v¾rഓ d4&:UCSh3]ݛr+Sf`sv4n}H^V?:]AO9F W՝RK)s!%C ŕH$hCӟ2=? w)F&ZM{!FqEc.ӛE.vn +:XSۡOɣ- av 1k޴7 :˞לa:=q~aψig̷7V=2s X5q%TkEryqAoB"蕍3n= ݟ  a%SzrGW^H(i;*2H 3K7J *ߕXu?77 5.4X6Tk=$~GRԌ& _O9-k%GgYZ7zXZִF! \]ŗXiɟ>Ӈɇ9S2]hL2Ě.Š%|.^BV'{%HsB^?fƣ\[3ižz> xzȳ1؍wq,;)t%,$J9ɉo%s\Ut=oi-aomp@,`i+_hw2f7J< 5Dfvܼ]?j%o/A{}ѱS-rǀ_~x#VQ+04-x-O{졍6( #/d Xp?V I8N?SoE'_䜵6N~'~E 72_ԒO-^+q}4N[)ZK #^."0@?~[_|De,#vD[.k0OIŦo/X~ Fzu0F<){J̢lG=J0|'ƾ _ZuV-AB?D;^Ϩ#㩱Ou{",GBFҪ3ѡShngV,:a5gYZ7zXZִF! HS]ŗXi%Bԗ.qk^yԸw>ӯ` h.aoClky4g8 5Rݨ'+tQu[QNZW 9AXU<&zd`9j ᶿ-z1oj/Ec"lwϢsǛY)f4n~P1irZd^;C9fUe+.&֒5 \ :¹.Tr!T|JK j]U%Q'+αZ Y^*=-W\:l]qK0ȒkKqPi YV$9OBt4 ]-;W6Q\;K£c|4.ٙ[jC[Yoݎ ʑE4%$o"}@5F+dPzxʒpl[&%"~Wy%u;wИEpq:7mqޙFƹx~zx ""G} a"`S1U!/0H7wvN'B XA9f'"2n4kk,V>ڼ7P+&y,w2s*U8涴1XzR`zK@iV7Q$d4tەۅ8Blۛ4(K 6)p}%΀IڒR7J?JgshM3uκm:'}(/~vb:O?O%lE҅E -,yt*nY.o\u&a8&.Ѫb9H,o %^%d9=Rp4xoJM5*|;]R(q+IhٞWWOqP}^V+ %\R~ٟxL s3!mqӁV)q/4hĊ?\y`rJ0ÒɺV oœѠl Q}[GamⵌrI6وn/qd%v}P [I';ҋ %6Up9tk,ӃW/O'%9 fmH/i0FmA Q揈vN~uDm#z:V+J#|1V`ҵ8iBlpKz6?ŢއjF#tx7_0憰 x @+ j~=v5I}!p(:`&V5Rρ~YF6.QU:q!pZrI@GWzIZn_ރu  Qm|9.:S:F8*Gl[s# %(㲈ݖ߭^:Â$rUOV\H-i5y 05ѐ_ G'}L*2e."f