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 n' l ]%]Matrix_Tensor:threads=4elapsed=40.934cpu=76.320gc=1.944factor=1.867zXZִF! []ŗXf[&L_1;vU+o3&ͻqsvCT>{uH4929tz!Nklc3;h+ 2GD{8=/AcehVbG8.5*0EGpWN@c]Ǎش`Zs'n\s8 yg|A *rˬl$@C\|Ъl<p [;u-uxκw&$]21b\ACǼ͘PwE-#8۶L 9io'yt?!b4raG,jV'4w5tH ;(?(O |dn:H7D! ğ*i8 =L3Hu]:>`DܩUwԤBˁ-wӂcKeN1%VVl]rn# z_a兒C4h~euh gA! TB d>(9w;5&t0Ty!I ?tPT8/3 -6+E^#漉[WqCThbVq(wGP7[{i;@,f[AFSףSWY(YYS"@|Lݒ[ .j֮, .YD^Q19r}Y! n>JKKvcb1ɧ0:5z$9JV8,>M 4gYZ7zXZִF! PF]ŗXiɟRepE@$a qc!8KcsV-j+i杽g៑@bQl!k}YZ7zXZִF! ۸ p]ŗXi%B4xߐG(}T(8C,Y^2=x8Cꔤvݣݧ1=l&F;f)O^tlQ/4N9  >`)V#YwQ9yU!/trw)WՉ,uf;(%&63*4E ե)sx*ʎkj)H3FZ褷;  "-;e^x[`ş&왽1E VȈ `V#<1 Fy="e㬾\,m:"R#Ym+:@'zǐ%ivFvJWi5h15&&&AYc,ɕZ.є]}m:3*9 rӮ8Ok̅ytEz|p]vu?qdD|[d cO-v;eR *rh`pjmJ z1-"4Wacj^i^xa";x{K. G_ӿ6;QW,\" ߪNc5 PvK2s.ƛrȩza!R`{@tJ#gC&s ]]^;vʇ)})J5$l&NvZ^pNF ,?m@_`_L R{ԏR\aq2nN0LW92y$YV윔j{mHƧ;0fH1#G @|YO%x1f-U/KO9 pT-7ۂyp;n|$.Էs?VnڢB _&fWњ 90/7"f>$8Kޜ8Аzg!QS"o~̓e`?ܮeq0~#ʂt꒹(R>C 1f@yX֍X{?5TU0I^__{F?0ote揎]̧cz?x; э@FcX1rB>[Ԩ !i"!y~MT}$EL,j9J|fݕ #y)ז||o{_zDU~q&wXJkIJm[XL Z1}_krtAqrj0PwV'z"f|9\y2eF|O$] Ԡ8b`17O|Ls뷿9ۆKlAN;`^gHkzjN,=n\6ac<<7XQb(u(>еe$Z Ǔ~"KԠ~5)GJw@qr-sYO6܈`QkjEiϥ')Vb@{Ғ񵺾ۦC[%&GJ|tm@)dK[ad r7Η9&B0ַzjb+OQ3̜輰B=$nO/ ·O;$<6UCn9iV 1ʭ[8p[wh60xZr'$OT^M` .^±"!<:fFZ<[{Xl!aygD'0@02wJԋu=$/|8@TA\(~Ͼ ZYs[H(*2RXӟaHL6CX%}Qa)c:Y|ugvUht3,PeGS]okK3Y_LQ Ҭq|!b/"(zGԉᏹm! ci`KUR;Q"GY9^ĸw8[eߒDvUEkI,ZD39#t:GKjDp*֌fu,\GL(PtS&;V|oAG>S5U|3T57=& ؕOKO=.<HejW!gYZ5a07a802d87295eab62f916e28f58af6533096359cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c 6d15f41879a9ed0eaf7a48e53fc98c4f5e6d8780 3527f46921d6a8f450a8d26cd58f8a179747682f8a358982664d558a6edfcc9f83ce5d4988aab585 ' Matrix_Tensor