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  ,'  ]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Ȫ]apL޷63@3: ' Flow_Networks̴B|1;:fnlmOJgQ)rߛ>q7Beoiyf__`szߖ^ء4]J,B"nyT4hr2WU4yD jeWHlh`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$m jisMo:)U@sVFb똥j\{בh XY)g΀^{.9!ˉ@% #k#d d:`ЯѐeބS]q|-)&T`gYZ7zXZִ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ӇuOuN vNݖ P|Y{uSxط2;_ TsO ~j±)Pk:u*/a.*nv^/ϛBiD d"`_,Wp&E&QrUx-eS$*ѡyMܼzpus&aSn.~| bgP*[z[i^DOz6O 7u16Cs'36fQ5cݳmώu9c0Hty[:19͕]W~vLv=)!b ŞS`;W ;*8Dm<2z1QFFGdz_}}%%8XuE8Mź\Hp8@[7Mt)6wslh=qX+L*ۮ,7 cBP i({hv7LJ:8hp0i7콆:sM}&P#P^b_Փ)a[} =uwRZ \/;F޿4 &%T:t5ϖ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{ۋbfS3pWvb c/}I>$'Ϥ%sdcMӌafRmɨ|9Gt} a"o)d'H?Q" ^FdUed5Y=~-CBb6qli"ׄ&&8zvlzr;F\.ϙ[TKԦ(j"걁]7M4hT'?~M=0Rf) 8i3mhӛ aq`56Ԗ[?w N\l_ӺEGxt4ڮxnW8J@6FҍP5AZ&YEXL|u,v!vI=bWDS+;73#5I0gK*U:D[ ƾM9H]&F\ycps9+ٿ_4@!8LJ? mjﬕ4X@ 5Z$O [ZJ2-zZbԦ#<]AN y85z!-gΦR*ktD gd8fG U`TeN=3yTV˫ńwcw9wq8mEmJvWn"x&vD$ IqvDZbx.([4~{!{ȕkN21c4.o 9+z~Qp3Z~(,"cۜl@wZ^L1. z b=CZV.v[cT@ؠ_ٜ+ArEBHGCUv- t!{٣dn) nyzC :V+"C!&dsZoΞrxaGfLR Iv!d+v;( +$4 ]x +Hɽ\sGʖ]7F/R tК uk-TL_,~BOd9' wHNN[ƜeUDf5k뭬ĶUW" VUrXUImR#YLl4!bƲvVS8::q$/it`y8 |Wv~L:8akLN"M\tz{_w%>GUN̄wdZܖ MgYZ1d58a4a418f575c36f51fe58cd850681a9601fc1e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 0080e44b3ecb23e316a4a5a70287ccdee62dbac6 48f8b9ff4ef4e6d4ea5aeb09d9fdde3380a7aad9 944d9606626b80a75c987034d1d8157915dd358b 4333ba2c60a45b1813b496bd5b17a53c6fcd222c 2b0f559df340c6768cffe46d99e06456511ec96e 4a27a53742eef37f89beb2190ba709603c6363f9 6500aa6c98666765135707218e18169d7ee922ba79533adfa53e192cf8322b92058f2d33b97278eb