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 y D< } XML:threads=2elapsed=19.010cpu=27.972gc=1.840factor=1.477zXZִF! I0]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu< S?,Vt,>JSݭLf8b&;)x9Q> n)v %8j#>+_jm] ?SO@9[Ok+طxᬑsؼlg-/HY 9`xt;RBfW>Ja5SBڍ.gH5҈CGy3%4RoӘMl$[F#7 +̰f_-c<>ZVXDMv} &M[op=U&"B͎ehAkIKfD  XML;vRhSk(;OY[GK}p뽥 ?WR!Rd s+1ZAǬjx}WaEvW0m1(0x?gg/f.A>`O7N$Cpq`Ǜ:} b#DWg;yrg4SR;. -2 R^f2ʲ~Q:$ ?p'=!- ?z+K|`aĪľ`{%pzg`r-rlF\ VւV]>K-x%ft+s3nǕ^^MʃXM֮8gn4c>yv+=׉$ i$Q]GNfuVwG{g~Kig7hv,$У0=Gq.7*aY!6-fZvejeSjaq,2t1Qff-aSuB8EF}0w? HG_\I%${ 6.UMSqxLm!bC'G܉ *KLg6}sA3֙X2T*@[*.:UөH6Y3S~ 9ĔV\*μdRƒdVÚaκ$ =b}lTҢp\o1Bh`,=~タg7 HSOH,r'裒KܴrvmRҫ:VM2LVE&1 U+B 3gYZ7zXZִF! `'X]ŗXi%n8A`KErl8DYؗ'\W'BV9+ ul- @nQPƂS$7n(jVz3!eIu5(6\^¸B BidL#dVDltl>ʹXo}=rbLQ(, fPؽ :^O{%j#K6& }iz=ا q7N6iwD + pʹk=;ۭ#0P?&`JY c'/ b|xܓ}z&6s><k{[g] De^Xx'W8Uyzw-,l^Mslw2\SdgJ!hdeGPYɔBz㖖m ľ)''cjriEV/wltHER \cY=tB(*%s|[ &&b_X 5$.BFU 4OCõaɩ|A0EiF\&y!bёݧCVtor`k}`\3˲9 zitqKNl1 9M2 lDU9fs01iR4s%mŐyۮ;#nXMV<&$D̨4Pab@SV;QyUeٷ ?ٴgʦ80_D`1;H8>C`&I m_ !y[DC PFnC_ԿY.T2SL+tBXAƷ{ZgG,ܧL('tZF:=Py;Av$iIU-4d "gٯ=o?%薪5{%L!/@))dmA`lڛ-6\nT1zWj%e j-1;䯂gx\hʨ:K=D T*hpzE4l*f vۚblkb"禾V LEGV;<' <%Eަ8 㫚;eL8!HuCw,@sʡ3k@}prV.3i@giHeS7U>q-aUg