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 r' t< 7%]Sepref_Prereq:threads=2elapsed=59.895cpu=75.072gc=3.732factor=1.257zXZִF! :]q]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA;-Ь[+Mf* gELҟuwϊ"s_7%ࡥ2/ 7v̊3:{ӆ(6+pt5uXݒ2~82tCْbf+_g7^Y`g9nfOO<1睞3dDL=^]nr Uq\= bIh;NJ;boԨ'ݖ Zh[mNեx=]2@ rdDʌ7MW?q׉-~B6IQӽx͍&UL۝;FB1J%)C$:4Lt:BbҺzmR{W2vln_X./k p!k4OB@ieӶǨш7dB*P,T\ԆVs:Wr1|gKwt {p{o)K7Uadu& }p}9]wP3H8lj*P. hXl< Z!~>KpJ4B(=[tx#\vGEP 30µq+Gs^> ՐF~jJtMDy=(f-bEkw KB94Bzz+ X E7R8Fn:@ꕓ7J ~''T5fU]S&?΋|ǁՔnm;%TD Ga\L4YtoGÓ4fhV23կt5eKp@I뇯KͮNޚ,`7pmT^rW`ʘ4>E>yDĆME}0QEAH+RYR \y d^/д`GfL+MgV;tN{QpQq/Χ:T\>zU[,r'r9'zT( p|0؞%6vN7m3nvtgi0`c S8z9"*S]G,<*"Ii]^j|(׆ %%aos!w ' Sepref_PrereqN6rlJ{N`^0jbé4a00hcVP`3QvRg@c˴ Z{6t2QsCf`?tFSza,Z̡hIT*We{<ऽwѰy-ә SurttqռqPmhu؂J*!b7mYU8/7=Va?i ]lFB/ 3% eɹZ KKFhoHi ޥܡm7%>l'IS!}pZr~m[F`M*mDx ͼaAo:JbLfυdE5)+'I~Wfπ̓lsJpfu+ы\0N~/р~+s?.*< K$>$â(ld`G$[]"t cj2U!"ue-M0{?=ԟ!meT$1lXb<N2Sp,3KInbD"Bw̜>'fBȝTn8>ęx/NF %C dai{T(CkXrtLcn&7,>+[6G@8uIŁ{|BaA*'?0:eR_8zehbjAd'_Rz}*)-( TRx~h)&GwYڧ$(qP3?U esȕ]LAbo0Uup40 t.l>瓥d߶ֻKp2 7A;Wi>谚˼_Y}y)27;)YSu?0x!+#B''8Q :o s(ВEugYYASSvf1pYHv1-iƖz،62\a5+& /26d51BbQ!ϼ |WNh+8;_lb*VqYaU7`GP!awHҫr4=L\ k߀0c^ES}ggN`*i0+`8K{́~߽b=X/CÇ6hW64D^,OJ,*e; -~7iX7଄@>KSI!8E#`R cq.*WP&Me T+}X_HaSn›"KP *qZxO LFzOS9iJV=`? pbڙg n0 fw~/z<(YʿA&Y7d2ΪM_{G8[Fxtmjg4|lD2$ Jgz_7ŧ͂s_0 95DxxπkuܣXٹ1=AOeI#bBMlh6 pMcxש[zO?{QEN25ztmd&j$g+4υe1%ʓ ;nA.CDd @}eoa,1YXBH#zcvC\'{"dz^aTf/RHbcX,^7ssF9vr fvRJz,It'yԖ^/hT AW'ԷhCd=_ox(Ul