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  <' < cm]Flow_Networks:threads=2elapsed=57.430cpu=88.872gc=3.052factor=1.557zXZִF! *A]ŗXf1-/6vRZr~yյG!ޥo(?{~lLqB++Ϩu"{֩8@H_{xLlqoA3 zᾙ^M,0Ӗ?֝ۉn現˂/t\vEOS/Y#5==g0 ?//[Sx6#f_{~ǵE ZT0sD m+V^ZlB!Ђ֘Y+_;^F̬QɄ1 ?3CFˎvS'3E+V6P~c@ub+5VDk`}*%T~}tp`ڇ Ҋ-2*I)j܁Epd(| sIWBRIU3ڼX' E|J:tLވcĢL)f,GoOre=si8=)[L`ڙC[!^][2u)$/8v4 h b͏JJY}mt]-%fВՑ*GzvšATqKO^O }^bch1.n1lܢ?@_jH y?9$z`dt$jG&9R+$i|S3y-%,4a5.WƽEa Lv;e 9=HY*ȏQ˻>~IwL4sR iwb wTq.7twL^$WG*'Lw=[E&-ݠ-- TySd$ Eѝ ʣS4w>f;/OV;o<;dLԂ F ' Flow_Networks :a凬Uc.LS*UmJճgYZ7zXZִF!  ]ŗXi%+#@5~mxϱ1—rKC0 P c Ubw/0ƺ6ի XB1vjy͖j@D&V~y YXua2 :`#r=lKŁTU\b 魋4lHi)wNR(Tm,rC'*QH"rz¼cicxbm[goKVȘ.Sxvr`}q|yq`\ԊW^'xMAȶ=ni߸2@ӁUHFБv `Pzg!X_5ђFPQwL[pH:xrZ̋IX;Rec .)E|"ˆ'w)-&ǎXo#:Ԡ]`,03?%*2Na>% X7 77]t7%)̐l!@l%mzޤNqXu*P z9Z( 9tA0T1ZZ(tJe9M<.m('~k`Moh ]6?Pi89%y_<#5 XaUkj/\:m;%.]s= KhO<2Up-J+uÆTt 16eT]Ј /*~Uh@ôI4KD26wRCK%ot"p}UЂ-³. cVXƅiCv`׸вas~Ct˝[鵺|y偭LGj3`CD O@hp AhgYZ0300788a8f3671fad1e37a88053a0bcc0c84d6f8 1ccd65008b8720a6d7624ca325233036e135efe6 391ef19fe6c4f81911efa0563f17876236a3c4a5 4668112761fa2b45a2a5f500c082d1c18ab3e405 659de109d93365202655115e3694614449557a2d 76ba6798166757837bd7c22eee5a5f8495e29b1e 9eb47e0b06cff711fa2d7c2a17a8593c8eeb3935 a15e4f76da4bc1b8f2d33eca6c93089d515ec5e8 c3e465a9c10450812010b0f875e43c1004a9fca7 ce84d976f9a6c12985f01f30bfd2605b7a3c30a2 d6cb3d9c833b073aeb18ac49304badf272c1c0f4 deed226923292f3f570122b1733511c6138e65520ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 0277895c3651fed994efc86b055a3b7e184a45ce fb3a31a8ae97230a6f830adc2d8bfb21594966ca ee31945af302b6c76ef39e0b98cb5dbf5004719c ae78acc8ed058f366abd178bd25483a4f9174e6d 4089838b3b67cc2124b219b70a2123571c7b08b5 279e070b3a3d5937d4359e71b54a2363a35aeaa2 b953d037f912de3de9f817438b54e232287ffafbe256a3e83f70a1a9d463218a68ef95fe59ea2bb7