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  ' Ld ]%]Matrix_Tensor:threads=2elapsed=37.964cpu=55.980gc=2.436factor=1.477zXZִF! _]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]^ϧ Ѓ֝9_jKV@lԇi#SIiU3cb&7";PљHj31\ Ҥfs "6ѳ ʹ<0972{"Bue kt0v\f,~܇QNM;DR{PyĤN`kQ@zkj}w7gwO@ ឯC|x͸^<%X^- TT.^YW-=TM3'J p{PZSP/V=< Ȕ~b7A@< /2ib,ѵvڗ=asöp.%jɃ'ߏ??Vr74OĨ3o9{MgYZ7zXZִF! OE]ŗXiɟRepE@$a qc!wgJnFj6X%}wYBh`ƔWaP9 7}YZ7zXZִF! +]ŗXi%>g}$ tDY&xqp:hSx1y;ƞfėgpط.V%>7S&|{q6E mi @͎jW10s0 aݰרnDhN8X@oHżAu܃9V^>ϜMMvNL{D o^VBz3-s 6O>S=pStou6~P/"5[KxޏA; ?i{lxsI jrf&-6]Ve[@7~:͙rM9vKB湨$~wy @#q/iJ մuefpLp$e+dW:̼rta+v:ܽdl!F +!7)REaiY@f=|ȁ5*kL֝iCPy~bfKh, αZ;ǚ<ŝ?bWX7lWqec}so|Y{xPb L$ "q)3$E%#nk4+|qof$Xz#bt k0ao[Up IՍ9gۓSVx :m bX2v,-Eh]E 5eο湾Wt@pf=sL^.5NݠeهC3I?gFyGe/uWP:j'jye#K"T7;p;wXa_am!O2@'|9YU[Ibǹ:<_Q$-{V( 6-4v+ϻRͰ"/Mh"B)s/ tT3\$iz̹vԽ#1@O&&o!pɗ7I{fMb`z} 3@E~1l6[8K08V^ 7@Cs; ! Y띢k""CmWQ*!j5[3ɎUTb:DSn1hqu(b%;;ü,jͬ֯5s!#'ZOrb))9zfϟҢŁk#Y$8 9?YKL7yM!7V&1BaJ6 2i9:WTH;xuo[w^ojCi݀kH;(Ϸ3$ 4S[m>r(ԎXԽ0u/9>nzcg>l~p 0¾x0LG^ݶMU5`ר-P4h>/ 54:XkZa >MڲY E)~ q5fQ#we']f)X%ӭ+tm3*E2REk>WO"Tۛ[=IbhR2 *YU@`sYfIDS6&KAɜϕ:9\I\ac23c ]^DW'f*-$ rxWI#`1ל\&g(N@ɷa-7ֺDthgɋ8gYZ6e622c28ceb80799b50f2c5adf6c949864e0f064a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff f333d7817be23f2d36f67236e7c336d44a33ff4c 1b5adb91936891edacbae1e1b9e846abd5ee369bf7991c6fbf630fe21e645166da98186f0621b536 ' Matrix_Tensor