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 >'  ]%]Matrix_Tensor:threads=2elapsed=38.517cpu=57.180gc=2.492factor=1.487zXZִF! r~]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]^ϧ Ѓ֝9_xhQ!K !Y|̭̾oquM"⥻;ΟJ <: u*[3>J`eXvQ13ԥMDY렭 si[m xw8:]Um;]T#*`5O/z!Y0vw~D<SPC8=s%*"i[Rx: ciY|Z]=X`Mϴ4kњOѡSu-SMOdN-+Bv3Fgt5%ތ,&;u}{_, DH9REDVk;>kؘ:fGD{v?YF*霠9c6~liCa}-`іeyfPU>6xJ C&6%O?t:>r:\7%V&4gYZ7zXZִF! OE]ŗXiɟRepE@$a qc!L<]܊ DxDw-% +:t&j7aP9 7}YZ7zXZִF!  >]ŗXi%>gdܻ\ /ȵ+`Y wܥEhbFS(@fUy3{~A/F6HS-]ϔZ霕:at[*nd4;)?4I]0i bJ>mkIwOS%+M+qH"T Ͷ> k iZh̞F"2!@We5ʣ1c'[UphI" %Ϫ[T 1Cpg8Fvb66 0W-qλ=ual@id)q覉l, Lȣ͗jCvZ~0! ą[x]V 8 0`C:F쇩bL+NSb@zNxG!QjJ;g7 :t^ř%Wo$54'"4N]šPhtߦJNLݕ2./j9%xOf+H%%AMXb5o2:U&xs)x:24) }5LëzOEd҇-aVQ3{~Wt՝`arOc0]mXVV!%u#(e8& P^B,bvwET6FL=Ju+ KٵZ-ԃ{-˴§'qV ^Cfu\zz#<KOIWIV `o~.nXu V؟gY6}8$O>Ƞ;`BPL¼MJf4αRwmd8Xu>Bt+^̼Lij*<>RhRcRpIzі:[]g E@x!wn3'c<^Tk ~N`[y h@jw; ITF+hsSZuo8$w(//)Yx SennP8y~cV5-KVtx2<+KP;0tGz93Gv O* ބM+E=ΛrV-;(]J"?a֏Y5\'x4Tȕ^l/eVhr3SLJ;' Zn‡yIwv"# z{O%UK6CU90h11lUx+45A1 dG0"'C]O榌 SϋK)\D8.t!" =z>c+D;ϙ_)[e&X$`A?KhG_z|l)p!hN"Sr37}80ÄR{ hST|ޏ)x{̡km-<1O03narϼgX:SN5(^륓Z\>}'N@PMebjD)O*$n#ZKX(p whkzxϢx5.e8͛zj"o%۠qE!-AђPt'8 @Gӎ] Ź}rx,\Q-m[>Cz*'Y_+gLLJL%٩M ϥT<RY9_ ;L|ɦ)q.3 J[_== <"kTav\oN5& S˖Sȫ@ 'cERf%(+^ڮ٣S8D)$ @rc]9Q ߴ \{˹c7wS44Q75qa{@yh BjgYZ6e622c28ceb80799b50f2c5adf6c949864e0f064665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 2b0ce4226c02e5cab6bf000937a25bdcad9a1588 420cc062b7221fe0d8279eed0850bf16c2b67645ab7a9b7a25bda6f98d55665ff7d4c9b8b8bc1ca4 ' Matrix_Tensor