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 `; dD ]% Special_Function_Bounds:threads=2elapsed=40.141cpu=62.552gc=1.332factor=1.567zXZִF! dz]ŗXf1-/6vR[]>hHҔB^Y1=;N~9-ټƨɄW.=(Z _K_D_Ai53} Iܡ@/ԢB3Aqz|V`׆*ߑ;bHMo(3ԁ ^g?hSl-sX!{>mfb:Е<,^$C._ I7vR5K@8Ħi;:*ASMU;빯A$s«y #Zn굸+JlSYąFaO֟_D;:$:[M%j`f@EA]+7|Cڞ#X뢕GI!@'O'ʥ,ON6ٚn#$j£ f_D3X䷢l]cW/pXLe%ift5ݳickb(1^#Y4kce1?^y}pZnY pa{rr+Q0Qkh&vxa,@`6UF"e|i}(2.gYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -?*d!5kQFxc  h Xܶh7t 2sӪ?CT;/SS Y[&Hfk5 O oeѰ<1} HH(bSC' JQޡ$`'˟&&f w4l|qt4mZwc/S FΡ+ơj;oشsWgx%]$ܥN{ܕv|ܫ{WغKػ+K*XYZ&ٖgz>S7A:[5 :8Pl (ӓYn7V6?| ?O k'畸-w{|l 8k8H&Q7($ h>6Y&GJJlVkN Ԥq)Xw}Q!(+: (etjGl֓+BHOL.awͪ^Urׇ<^'-W&H^3KB?zS7`1.1fFZ* W_!"JWqſaV8<4l&qpFvk/Vly0v./~7eajVGׄ{\ =}7/M = P5wEZv2k$Mx1BM4HK4Q-"Odw0t"j5RhHLY /&i T,M^)}qcĎ)aѺ`!XGRVrKq֧-sf]o}tRNKc!;냰 M Cm>c]UU[A8Ԟ $@9Jn0_-LoS]ǡM,xLj=X"Sݧ&#mcC(l#GY%՟إ1Jml$/Q)OD?# ۙZDZ`1]xLgKױCx͑;<C{#f9j喜׀ qJnhia(? PLƔ5'W1V]j0[aP8CityMX˧(S6* 5,yfp11ȏKt?&s;[I*gq0J~t"RsqG0 '-j׏J|}#"mB5^Pb$R/tbs ? >4^ =³6?\j8Tú+C5bo mq/ vγoG]tt.[?i:+[f;"ɮ|1.n~8eŖ* ?qKfQn 砃)(}Q"ڇbkt7 t򊷥͡`Gp mGbMOñgYZc4f95652edb3b38c67962f53ac586a9627b1534c325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 78d36a4647f0ad2dbd736c70a612f4f7fd4926ad 3ad98e288c887026892f67ee06aa8e9eaeca2255 315a4afc5954482142638b53c00e397f0fd0292d ; Special_Function_Bounds