SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ;;.) TT }/ Resolution_FOL:threads=2elapsed=18.548cpu=36.372gc=1.700factor=1.967zXZִF! #]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T>BH%hآ(Za,%/۽EK =Ƭw%Hm5/>Ś[/se_ omYfC^pUN]QJ1)#4:.-3N҈' nB&DjpD+sK]8#RHaJ ! xV$֥ʦB+̏k$c݋pr]= 7j.尼5fh(Jt/KnveHuJvmFW*Rҏ%r=#ԎХ ]G `rBC܄狌K!?8l5)fd׸[8"g~*Hdٔ:Y=;ګ.enx^6Ʌ(PZOKǒ_T)jkx]~N-9J 㼲wr*q*p;߬X;oi@0X'X.rn0t)ʗ/FIG<@q-b%Czưr'̀]Ẃ 3Ǟj5 (! 񈑹ݎ*#Ңvex. $jПw{mKsDЕ>'.߂[>,>)Ŋzr^\,^[QuRt6 ޛm4T`h]2;z H'XMzXpLKA5߾uqG ) Resolution_FOLfey \i{)|knM|fU#(kM7\rbrB-j2>9WT?^FYXhz*":c†Q21s ^Ai#? r2ΫL4h/cXΈ Άg`Вaa. xY*GP&21I^=Tlba86?9$"h|. ̅ l'bnpX Os8Q.[SMGeDz`?wR+j{po~VUB:[nU|cab!E3eA9{Gd}Et<#ݧe~0t݅L0[|[tS6G3$nOc TrWn M@kч㣵_sBZ=![ .]uv76Vn7iATL-(\zTjR`Ij@cL4T& 菑U3Ux}pq?xW]8qhRd{ H)ˑ%%(6,AX`2[|W=5mo40tCy4GE`)vN" KSg{KG*eb&e߽mZ$qօh-U~ 6Da\Fv-wZ`MJh/0PfbPr$lǜ+ 깁zLɦg4{҉Ptau^D;ճ.,K7)% U#{{?Vy y{NuD{.疱C#APݏ#^#?U~/ϔP킋z4jaSw+ƒElI @͖2:UӴ A~&2nD' HΈEXH<䩥P?'(<WG4׃LP?"TIHU(FxPL hVtIB9_xm2u&ۺwf01·h%_EU]/Tosd+&+; )D5op@z̛é" "iTJHMF?w%15߻Ms _3EMB+ 6ʞIxOyO`.<칐D*;ULߊ=`+nV#7xií5ZB= E2e OxOzLxuDb)XBgvTе+?Zɒ1Nìof/@*.`.^@X"j̉{6ƑK, .X|='0`đ,0P <ҭ(Y<"XG r?`H/ցBs:[P c爀hp`0C`%"'|O5efYi:;Z.сi:a:6MgJ,Oz17i Ni͌kd 0!͎)f o *wE)Sgݻq| c^7%=~q qb@Շ'PKvø4Z#E1&FΠÊd?9|x4!CJ(cw;YZ~TA쳰p9-$1Guϭmv#{9_ތTh_wgYZ7zXZִF! b]ŗXi%=,3\5]KAJ@VC&)%Vqo6<>5Ё!l]