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  A A4' t _ Myhill-Nerode:threads=2elapsed=39.209cpu=61.568gc=2.672factor=1.577zXZִF! c]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj&q!%mŤ50b`@H16rOLaV~\$K[JsIOlԄvYY}/_9Fš pg#(Ƃ.J$fRY( 0 W++5 ܔ7ƁE_( R|0bU OHTjsL-ia0u+w?;Vܞ8推ki,&~?[0휸20sm῱$"h ҂t錏I5X7 ,(RtI} ϣ>C yz^Ѱ> C/ҹkuU7W M^d"Bh;:OQe0)uی Y&4Z d׾d5;#ĆT^1#G< c7NGZ> 6[fcwBH;0CG 8&4S&r|3ˏrƯ o,_Z!5fav!</ gYZ7zXZִF! v >]ŗXi%E?bmBÏ8H6[J^Qt&i7aE1(,ݒ*y>G6%=.RI}XUsOFB'0` rr}V_*H[xS.#RIJş9 n9nKk^ZȺA{je|2(r870kHtjd'r:Og9JLCZa5Yk#Ei<_!-ɬ= x)܁DFD,.pbO)`89"a5`TU4 YB6i#V,CU2L*izDF\^iBl >xݴyyÞit()c=rcvl7N)C@nu#d^14 ;6'ܿ g3Tb?ޣ=|7`.ǔⲳ#p@=f&ӄy0-5SUicŋgW#2.j-wgڌ,SxK_ӅnnGb{^8&ZŦ7ؖ¶"_e`Vu^ҍvd83P34{e!2S1JFw7USm[N& GX~a EDw'Pw2Iк$Zbaߍ,>ΖJ ( Ywr]D]ͳ ~'N?ХFCF U5ٖwa48l@>ke{Ig3~LL979B*Fy2R+ce9.DZ7ZYqq豈2!/"V5^^!%yj1QkIc1E>)Ke2ږ%60-@q+\:L[XgrR9<p;rLK2K<jl^Žܢf}G)#jQ ӓjAu {ԏD]:9g@-[#+?'׍s飬 XZ%>}-d6ϳszb_Oj/i 9.Y7iL>IV_/:G@3<ƻe}S`R /mMSVe>nǮY$4uwMzp$05c|B8l˸n7pY5.%KC Ԍ~ ;N.1V-w*w특?@BeK*4ᴈҲcE䢢MߥB ]:W-S]&,evrÙgD2n}zCΛtwfޘ̝`)jNJE.6d .8ͫHnKIu_o#x&ˌNQRձ3*ќ_Urfq[lQ$DiCab+X67?̟Bs~ш2AG::ʉ0Ɛ>PYU8Ŀg?ME}"(zCnj"! oJɜl^6?*UiteqjÆnmwH.Ҝatv Ip