SQLite format 3@ .  YYQ77Atableisabelle_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, "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 W1 ,D + HOL-Metis_Examples:threads=6elapsed=11.819cpu=52.744gc=2.816factor=4.467zXZִF! YtP]ŗXf1-q恈(K&Կ6l.=Coء-=0Vvl査l(n,L~zfبW?(/O=Ik_*Fٳrޟ7@(exMo~27zbo[aL64t1jwx֛ꚱސ` ݺ5G[FPv)X@ T_Ul8E2IHE|-'^[3Mk>O7,V)~-KVIU_msK ]Yz"qEx 2yg%o5'S7x(Z);*>g;bv<6{]#1$c|@U2F}s]Cеk7@X48[I6t|Ub(|yk軳a?He?f*|®辤ֿ`^.+s@7/[.NϞ S)WOpP=N :)WFҬJP$ti:JB 6SN- |%zTW.yi 'E|u=,r;xj?q%gT50m#EHRmlf4 $ځ.1y |% B]*V'g%T) UIO{4*J[rfdY+KˠT`X@ϒ~[?RgaҊn㽨|HN~03d .!sg׼^p}/#<<%C˰DV( 㘥R]짶˱kiWvX_ aIA E]充XMG usfqbA6r$"֕^?&kAtZi6P?>7qUIfA|54`)Jip~ "+3[IB"U:GcaP-ˀ_ˡ \#Mz`hU)Li@ sɲOH5#ld7#i@=cdeA4mIHf_++ude4OwXka~B}o|+vpf7r oNr#ʝBh` -$=O|IP fKǧRExd${8H<zIOmQ܃65wgMˇ\{)'B񬔧vlsD"| f; #'q8A pSm5s d% }UM.RuIsh b+g騣vK=zn}uG Z gYZ7zXZִF! 8]ŗXi%6|Is0&J2s\1 o[BEtٲ'k}IX߷ )~' T>ˏtgHPw@|̍ȯKJA~J8 Mrֻh4 8G;c";TQ B:iLTI-}.P6 h0#ѝ!I{-ٝ+7R +n.\%r2MZ{s_͕!yюMqab璈oyHz^&"JhҕJTIvzQ˶' &41 \k3Lg,ހ9x \c>s|-W1_c^܅z6HL&nТvV ]@" O(I?RZ)e5d/| E0C(o:t 9zzQM|l_3z&Zo=T7&߫lȷP Rq~&Xe5Z䁟V: 1'aXbdɽwMؐ^!-vSa%]<8̀3&j|ŻHs:=k{!NBdW@a3,-](Ϫ 73+[]{?BB>n ?K9d>_r)UEF"-ep16ZC$VD[]v  pMvM+%Q^ɛ$PzԌlK,۾H*j}nd{ įd5wzLN ^qk4\vfbT-+"Ec2hy\n[n Y0m颯>F@ƒfD2E^%̚,'b^q o*U? QU7ƒDI[#AxG6|^p߁ ';dJ ͓KFJZ3~ItwiR}gy#-֐XK'{$=F.m3J:R!v+Ƒ@kZat@OmqPSNF+ @TE2CՀ54۬ 2 (`He6&LLP[}l3+LFt;iB (E@?AG xw{{˰|d$ b9;#iN uF&ѹRӋM^CdKA "R0,vB'