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 z' DL ]%]Matrix_Tensor:threads=2elapsed=39.579cpu=59.816gc=2.420factor=1.517zXZִF! P]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]U Ѓ֝9_˔N ;r\E24ձq) $!~8 0?0%CCɜG(v Pl&Z}?gDz:̺Bꢲ뻽*!(,˔Bm\oJv<$.H9(=-'>"7y$> ö0qc(qr%w@I?5 K+/'D]woKF eAP8VHXctIL 9Q4'\7wwK#  K?ݳ]Ҳsi=aS\K 8sgYZ7zXZִF! OE]ŗXiɟRepE@$a qc!LB= рg?ЌI Gw;ޤxaP9 7}YZ7zXZִF!  ^]ŗXi%>g>[rLIĤH )Zƚf"exvVugU҃5֋'K|w΍6f#< zU2s"SuKmr,Z D<.a,#}KC__D>(Dg;)8R ůSxEO2)mvώ$5Il o9 t1|LL/Fqd$T5)U}콗j\˖#az"T9u^2VK#tt#KhJ sȸ7JQAJH1] D,JXB2szDYkyt*^`4u3azզF˸y;@ׂf/T ^$5rȷ .bcĭ 5 /#\̻u&{p[\"C77^CMp&m5U'>كڇp*kQ*o_|[o}->vP0[UqI Ǿr擱69l!TeP]ՖZNHxOQ P3xe1k],0%* Gf$v^t ~˾YkVv5zx%s4J7olf%rW6+oEsc;.Qb 6+!1NIcKOw] q2 Q AV~V3x6 !v0.703\ʗ.x,HYY4ƎbbNxϟ5jRSk}YA~4>(bʪ$"^TFx\@KP/-dCY%ҥ̳~٠ ]?ep@f(P0lWl-־p¢LSˮHk8Oפ<< T^7F߻9rBjaczdF_ ⣢dCT-DUaCbf\!ނl'(^GT#fU/usГZq)cTSWCV^E&P'VB|L홐Db^5ʂ8꒐eE?Maŭbƙ#Y;f]0XO{ߴP|pGddt^' s$[^)*İO֕,]FYv0d![J!]JbiWAFĸ^"wŖZ\dYz:aZԪFu!lbl ,q\lVaȌ03rP1⮄iKl !& pMX޼z=8jidY*ɇl'c0AF*Ήyގ#1+A _)Y+S׳ݹ2Υ1'̿^ k(pӽYNXii]qI`ކRXn{]tu mpJvq=b nAh2w:&9QJ^+^){T5}yW;AKc0^5Tga3荂ʃKW#Z7qU=:$E1JzfF=OGgRҨg֑'"!don5j{ $IQ>~YىMŠ‘Qrl#^^Az@`SpXVX?EU8j֥?NӼӔi=b/!:|CT~} /iAs]1XpCg.,I㪊qN.mR& vg<M(bjb3dU=2EyR Sv؊4$n$u<{QhW~BCTm2'OJ3hg~b{Xʈw][D ]3~2aDAtʪƎaĽU!4EL{Jm秭L /rM_u1{,;X^!cfp]2 Iơt|l0!ff@_|Y,ީȢ0= bZRCF5#{V;|9Uب7# ;RKeG:܊۱gYZ53fbffa447f0e160d7df046198f2c8671998be17767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 561b40f223d76ce5a7bf612957b3c87e22e720b9 af6acb6f5dafd840342cea26a39fc07d4268180e870cba85eba5b08490dc47426c6970bc9fe565c0 ' Matrix_Tensor