SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
,' ]m]Flow_Networks:threads=2elapsed=56.890cpu=86.744gc=2.696factor=1.527zXZ ִF ! *uF] ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0w;CfMQdL#/0^s,%'12!iPȨ&}5af~ Oy:7 %),RLPGlb-#YtP݇Qoxɪ`7h'ġQ݊8'غE%@ߏ -|$BIK,5E&NP9ZѝZzNy߷{ߨ5QN>L.*-D7vie DgX6wHFqH' rcP
ksv^==dzUw:P&HkqoxȪ]apL63@3:
' Flow_Networks ̴B|1;:fnlmOJgQ)rߛ>q7Beoiyf__`szߖ^ء4]J,B"nyT4hr2WU4yDjeWHlh`4U|mC9ίÆgć`旹*h6ʉh
W3F^C\.|&+'{;SsIK7L?/Yf4o] l]eZ2Aewϴ{PJ):CTݖ2KGi[SPŮYfJq#U +CEWA]4v0<ݫ u})GWhg+7 -dUha.tfmd{LmK}K/P,,uqk4yf_3P( (EP.xHV*.iq4̽ ͑$` Y$mjisMo:) U@sVFb똥j\{בh
XY)g^{.9!ˉ@%#k#d
d:`ЯѐeބS]q |- )& T `g YZ7zXZ ִF ! G] ŗXi%60i"؛9#9!.K]U "%55-TcI,YPeyND,1AeZ6}Y5\)3ľofD Ӎre ͉=HO/ZPpc_A6?{:u@Q,p*=w
SaYh!\gEeݴI#deު0e)AxUVtS5`$ӯɤKӢ<
E'
6yzn].|jRt\S%HӇuOuNvNݖ P|Y{uSxط2;_ TsO~j±)Pk:u*/a.* nv^/ϛBiDd"`_,Wp&E&QrUx-eS$*ѡyMܼzpus&aSn.~|
b gP*[z[i^DOz6O 7u16Cs'36fQ5cݳmώu9c0Hty[:19͕]W~vLv=)!b
ŞS`;W;*8Dm<2z1QFFGdz_}}%%8XuE8Mź\Hp8@[7Mt)6wslh=qX+L* ۮ,7
cBPi({hv7LJ:8hp0i7콆: sM}&P#P^b_Փ)a[}
=uwRZ
\/;F4&%T:t 5ϖf"8z_,A֓7 iڊЦ2f 4`u?ߡq/f,8HS#&X~yyŊx?
iT.keeMG)1j[j+E>+8~ߖB˦3hp=4a7qeS ڷ$Z}@ZtXq'ӫA+JZPipWR'6Yy(Mxidjwv]-?6%f)1(E0W8]OdɪAp LnmjC4A+s>+7Hnԇ.ƅpqą/ThP,#1KzA{瓭~_?bQeuC^Ymh{iGEZ4T-Et{ۋbfS3pWvbc/}I>$'Ϥ%sdcMӌafRmɨ|9Gt } a"o)d'