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 h1 \lt ]/ Recursion-Theory-I:threads=2elapsed=15.674cpu=27.972gc=1.328factor=1.787zXZִF! h]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[bJFkMh擓~ǻ 1:ŐVh uR[23!Fh0{OO|tvz^0FFK!Z:uإv =>^!LDCf]z@F//A:$ڒ L([!v2TzE1!LBԪ.5~$G s͘ˏ"5H,1vwv>Yd|+Ї?IQgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^ȷHrẉTdt K<'ƻl0ק%qWIN2C~go Ψbgv/gh7w;n=p̢*w~⒱E_GBeHH2gYZ7zXZִF! `~2]ŗXi%;уw_r֎ΗFP0{"'KkVw0=ㇾ1s^fd#$F9|P䱵 -6K<09{xbę5 /'fݡ+J(מ[IЕ xj :+Ɣ֎S#m4(cϬG:e` /05l6 JA$G9 6^$[ը,Vtlh& dIh?W7a{c,WEJ8>5`McwnOMELx<i8'aebð U碉{Pahi:^oDyeCJ#R$% z^Vښ^W!$S,;Xrp*|1~Cb()-ٵ 񩇐q1~8( _< .JE,l^%6vSȊ; Ek,)'; US$՗+YaNӸGȗUJ:wTWVFPrZ 2M3#%N3/w}"ԅFp6HBH?ѱWciAg< $s)Gz8G 4e}˥ Coݹ,ug8mò_ۿT#g 0NmW-hA:fwލhyQdEKnYP}1f-hI ;Z+[Զ2 #Q.HkM'!^eLcEԼ5anU -yHAnx8a'W UL{ƛ YuQsC؛,Hַ#b f+ 8ZjOMbjztX~CBZ8i7ķ-2޹[Ԗ`!8"YjЙphX Wh?+P!ki}-Zw$GW8&`6dvOf@SJ^$Dˀjd14` Hh?d( YQqْUg) HgYZbec1ebeb1f137bf26c688910e5dfd3503f146ddf79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 1 Recursion-Theory-I