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 2' | ]%]Matrix_Tensor:threads=2elapsed=38.531cpu=57.900gc=2.464factor=1.507zXZִF! z]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]JƁvz?*wR-E_Uy'yT[4 9 zɕ}Q@=̈\+=h9ZjXq!aB/iT叫7v Ea$"޻eR]@R`H{砭̱R)JVo+ kW pMɥg9<ɕ"D]k y|tXzec۪F${= _;uyMNZyDw#qN)j: &,r ˡ9ߢSjJP}?&eV<`fu(rfg `%b=JE[m_I_k<$ht% xSцᦺ?NۣmsƍU"Hx$<*F Mұr6Cʊf]j *%ЭKmhV9P릀L^YN5+D)G3x/< ln6gSvŽ=I?!֨8oo>1䬧g TQO0:~ޠ{"Ҿ}}07G%TA{0:50~ıgYZ7zXZִF! OE]ŗXiɟRepE@$a qc!Lk!RD] .ȶ?aP9 7}YZ7zXZִF! 2 8]ŗXi%;3vkBV'o.Gr$e?_ P{I4q*΃ ;1 nWUsD֫*djxRH8R.Hԇpguͧ4.t EɇVQZl4?RUZͪ%Wԡ am#FOelV~oUeg%&D{SXh+_"44j oS79>a0qK6T3K6e E6gv{`RcA2֯ @4p`CĜcךNEOB*DzU8ټ,N^3„B`#=)7hwM]gPuk#~*zIU㦴-` ɻ7Hk*HHZPrӹ -u{F`U:AVI7]X Ki)PUSE)rl!,/1x> a|2:/$eqCwo&w3D5 %vtQ/9c,i㝜zas5F*yhpߥD3Hf1Wcq<";VZJ4?&Z8-av|7G6} 9y$BoSfC}7J)˂Ӫ,ꊰ/pȫ>S$3*d`\4~.¹Uflf֟h]t‘6 <tE/xPTvST7d0;aN2ݓA ]` jٸ ?`88N6c\݈e?y އ8uq#K]|5: 1ぐ'9"Ʈ^+ݦc . a@YO> 2>7rw,XMMCh`V8 I'쌇r<}g:p;ka2p; f+"ly73Fw .*֔yA/Cqg ,+VYOP0<^#VP8C% w = xK%~rxss!.=5DHR- b{&mA3g91FE{mqzG{hjOԙpHˀmkg|"H2f <5 g㨡3K,p4"ԬǨV-&\-kWPpV m,ƁJFݜx atĚJ6b(w䯓ZXlPeD4Ǘa(CW*;MM3Um6,O`͆iK 7TV7FA(텱ŶP(Q (^&XA#8QMI]8xGYJŪSb'X?~8b9vnoaazd3S0;f, 7Iu:zLiJk,Nk0:XZ4̹wgQp%tIwޙ t_@e `x"畤 X>0Q\qb^Uj8GmYj7!盄yvGBlD':[ R]IYza€3"+hn]kMMth[b.gRG>)al<<.~Sע9) uݗRi+:ύd.t d#!:x41뎴zŐ6-'bT>zhlxIy r*(!a#v^-[h)}4ҴU0jȇT+j+>(yq_m^T|ߦbc'77#zU$߿ڶ32)mn)(>YZQ'~];vt$7Qf &S77s:m>`2|l4*0oL.5אLrVp{o*')q%?Gi04"ڠ8(CAD#gYZ6e622c28ceb80799b50f2c5adf6c949864e0f064665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 38818a432662609a341b9b8bc9ebc903c9f343bc 9bb360ec3ebf94eba45846a22664959f95b00a2bf28e49519891dace3ef3986d96fc015a34d2e538 ' Matrix_Tensor