SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ' ld4 ]m]Flow_Networks:threads=2elapsed=52.430cpu=69.292gc=3.008factor=1.327zXZִF! "_]ŗXf1-/6vRZr~yյG!ޥo(?{~$ !Ad}[Ռ+ϻRȿY_ԮT[9`ZOo{a1JJs~:'7v]e1vQX KίuwJi3iq_<\tlMz:@ Ѯ%)2ZMlߕOPg ?SLRjcxD8W2b;ZiԷb;L)4#ۃE?jyr}Y0NCC(Qtt"IsEb^6Z#MR6 dIza{%}J8;|J?qR+֨> ' Flow_Networks(D~evg MzR^`• B28PĦidyB6ox9!ApMt0 TPBͻ~SY=\eSJaė]NP".tI,-vc7Km:u)] !/Njxl{ox)q0x:YiCTEFrDouq?v\׍>#2HaJ_|\ivM.AV~B$bt̂7dN7Gh5'ִ Ǿ]9@ ns؏GD@v᪦;FɴQ~CBe0/r1EPfmDgYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:?dWxqJp_fu"J|3?ބ7<{+mUmw<  tv}`Ɩ[.tUdp"p(l&ZF=5=v(4ak>YOPo1a/vZWjQ/7{b๘ }_B"FUa{X鬒gYZ7zXZִF! w ]ŗXi%;Ղf)dUū\*^}x]> Kq/򐸼ww6\l΁uqbXѹKE2b~RI]'!@ӖMvQ;0Ur*Qy2;@_!"uH͖1(c2vo_vQt _ ,Ma uVL(UF ݦѭHׄ\\m*wμ;P=0he]^ŭͰo!Pux4RY*؇sSÞ5fg%o#&[h`b25UiJٞqR [*8Άn^if4X.P,%ڶm^lw.bE10u9_ dbm|$7c>P8`Moi$^ΨHm !;{ y"/aoQ݊2h{)P1œF: Ƿ߷+zuW^QJ8YmkBy1 !RzqrkM-`|g͡nH^Vb3*mVlA>RR5vو<`U%M'?@<;6s3zG|)m>vxx,-'Y}AX_c5>=8K#e1MtUGE"UˤOOFNtlp "іm%nzBi!NW[hv+w"CXl UE!k!.+cmFzmBNs5PC璠{h}HI"5 SoU;Ao!~¡$riօtojy_n&^s JWC3> ok3UBӼ;3+Ob񁋈Q W*Q^wDA6*TClآ}-sv#hos :c`pLthʈ˹x#bt_4 /R d%`x3. >7Auxzb Z.]Μ:aD6 :I&DW !r(рd:d4a-D0#, g4 U8FZE/s$5+wGbt@"BeD| u}8%kTWH#c6LCKKAxg`V< 鴙.#Ϊbݳ<*"556+ǣ5hpFj #4ɰz*>VMsd rAxJuU$EUUS~eCoQ6`]{)NY,M ݹ EgWl!k-CdzC0`mn}toTօՙCG Wc\>LP*C 6^{]Du~c +iԓbA\eHJ{Mzd2\ [{v~yڤ j^鮠?\L&tgYZe2cd13825ed1c0b809d829b7814908db9fe096b179d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 0c5953b692bcb2b87f2b7c3ec7795d09827221c3 c532b7095a0f58e0e717297c78a6a9f54ba5ffff fbcff36748cc8aa22c534f535c07142d48b83fed 4dc774164a7f194949b28eb6eced0fccd9668a5b a9e480378b55891e2a4421fcaf1861b1372f78e8 b14218e7b931c7fe8278b59c2c5acd8ee1fb115c e233554cb09de25b8f49dd9c65c5abd43c5392710d4bbd4305e4ad8aab17fb1811d0ac1d49ab524b