SQLite format 3@ . BBh77otableisabelle_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   <\ ]S]Matrix:threads=2elapsed=48.991cpu=81.900gc=3.456factor=1.677zXZִF! #@]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja ZЊ<6({Zua(oS\'bx _0IEUFL2Eg!>/ĘH8(c*g~vJpXs\f/ kk^aݝl\VAx{3~O} )ؤ[8ఓ 3:T{ęvm9SO갣>ݳMHMu¸~I՜,ֲ'O={o\ͯVmXe,lV\&ӥmCER-XPν{!Y>@[@>   Matrixu"ܓHO/>z tkGmm5[~pЈ4hESP-%bĆW%T]į t8ϛkD~י 8ӿm)*IκCϣr꫿|.NpG_;2b&XaB 6x94նZgE}%C _ ߿Pdb׬jS%%2&̿\ {$"HcK> ڟu$?*C8]Jr;-a>KCwdFֆձgYZ7zXZִF! ]ŗXiɟ1`?#6⪄f]e߬vOjaL.D@voQxsgn|dM~=<]47`ѓe99Fj:P]'v1?e8y&7|$860/IL*=M\t2 XhBs97 `fbeCV=|-,.(Pˣpᗮd yz ͻ$U7Α#?7 A<$&YGg;ks`gP-7& #Z۔[j =TxGTW HcZw7OC%嵽I+|8kx/[%A'!8ˏdgFO2rz]%!l=uUF<:׎P0GW* .pG_ru-p9S̛@[r빩aFR9*j0G-]@j.;w=sLec.lFlv$c($@&;>n ݵR&68/l+n0l;GD12 zpEz1)io% ʄKu&fy3@:7jXU,ʗIf&]--AdwCo"+qÉ]a56W2F?H M~O# XnBFu T; pnᦑY#XSZ:'jK&^%d_ ⴵ $|0Sڌ|*hsmzLPK;!)h!V}dS1= WvTNܧ@Idb:kw$z%PD}A"6n ?w=!̇>jZ4X[4i~_?L*tH(}3O[a,304xɮ@9;ŠwkF`\֢5hpji(/6@@q^ZvAYӧ>Ra'K ߯JMXtӮT J!,FǷ[`(Fwә _:eBa,{,:^xO|H] fΞҢ (~ 2y)!{-{sW %*B~8~~~6T-JpA_,[RTk@@[E$ɕ58ܧV3cXgkt#?ɂw_H (GBJ2@YUc07 {q;+#1.N[tk-&QJѴwV?Օ8&3U\0 Rx嵇59|*a E;gaHXDqA096i8 xs| A2=RY``R7YI)bt/Y8+=#"x[=,6K `ewi4BQ |kxhh2qvԂ3L<_HwY7l!.ClloO7Z@ֹ ѡD.h>F17%7eLm% C`"19m ͩ>r/@!Mζq1PT)LAJJ28;!,o)6;N!RCfDYu6gYZ80fa8574c955ed1c9e324f0b704eb606d1037ce5e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f b7fffd2aeb6fd71ed6ed3ae3b714f2cccee84623b6a251fbbb0ebf961cac70e12d6f052d8f4bfbb0