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  p' 4 cm]Flow_Networks:threads=2elapsed=58.198cpu=89.788gc=2.664factor=1.547zXZִF! *Q]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0vmpr,'4MYnc˴„ #'aՀ ^NߦԨcz4I=ٚp&YĀpÅbxE*i "N)2ڃG$+R-tCe*v]mث@:b2KW!{ v9Ln):|k  w5JrŜ,cw=A#ϞSXA yz _qUǓ©&<s~P%>L ɿ 蠹_)qB- AMqut#D nVVɅO7s4[oZ15!e-\~Tבm>ɦLuqitg^N`햎sBi5 {LbR`pDZ1 (JAeԻ}n,_UxYDkrIXC+խZՑJEtu*5<zEU,XjN Hv~(%Փm`r~}M@4eQ)L@55 ,˔UD` ^Є*U[\Yb(ɺ5-@UbuI&)5́0E%@16YIVi I^E*D+Ro߼SD cͤ:<<"V:A?h99 ' Flow_NetworksWal舼ܰAƻ' } +;t69"$(ϓL?Z6Kw%Z/>/Y5ք{J "f"%_GUoO6c%yu>~Y* {qmpqeHRpi^T7YTIjIssp:8W\֦\R I857r2OعcU\!RrґLg e12}HU4>Jl43KrLp/ʶO$rew L6ϳ<-BBV9Mzk?21^T2rݾ*nT"qsyN; 1U06 |TvH-W~ǚ.!z':΢ʥSLUNO4_bE`r7PC2j(e3Q-.cgVatp}ƚcv|G` TAeKc }v+[tHdS2s&&߷>o*q_pP3Uշf: O'KKWjԐDk TO3YnZ O8Svzrs//{UzH%yT}쒲-:9\?tPD07PHq!~>?`W(_jx*ӏudY ϿE7B V)Y$!^?~&*ih1bf ]b5Ɋj$ 0ПV8% ;%m'}{>̓H ޖf_PEK(#lf ZvhJ(^\m{|+HCA R|(HuWaY|=Q;gXM-=7.GKxKhm<~vG?;2r& o_0KOv5B΍o gָ-"2;=\1t2yVԒKɚId7&){u-$4GA&S+yyȬ*h5J=5 Kg0O%CleZ^_bi-+NFsZt A'lj @ ;CMF^^brM| O a6Q\x(EK #J@|~$ ^873̹,͸Yݡ#-@38C~Wq';MYTC} ;{zfd0ńnGt`C3=x} ICE>^K$iP,]J9qj\%OIοT%ڝjv9% !zrgF3#"-ǬB`lXp[hdvJ)Z8# 8Зzp:inS5fxIV4&#? ׵o[w忝a Ħ܋߬}B[I*?7#MYhld~u{R8( FAb{CۇWƅ|&{yNϺU>uO{a~B .)u=UxF%eڊz!FK<HM5YC:C5g1.&i`/ﴨƃ)N T̨6*KvN!6]Wf4yI@#&~z6]AZ0A n$LI%;NO;VpE_mg0kJ'|g бG0kLbɀy`Ђ MOPuE7ԾxfLk>u~876ܭclR6Q Yl8U_xh׵V#~ėmwu8x*[H1tNOmL>h~"ӿAR.R!mlQ!P !CBKwqNƓ@@wRCi]jXACfQKȫa@gYZ391ef19fe6c4f81911efa0563f17876236a3c4a5 4668112761fa2b45a2a5f500c082d1c18ab3e405 659de109d93365202655115e3694614449557a2d 76ba6798166757837bd7c22eee5a5f8495e29b1e 9eb47e0b06cff711fa2d7c2a17a8593c8eeb3935 a15e4f76da4bc1b8f2d33eca6c93089d515ec5e8 a2484ff5f331244ef1ee68f1475e3e9f95de4b32 c285ab9a0736e5594a431a2c08b4af0a351cad18 c3e465a9c10450812010b0f875e43c1004a9fca7 ce84d976f9a6c12985f01f30bfd2605b7a3c30a2 d6cb3d9c833b073aeb18ac49304badf272c1c0f4 deed226923292f3f570122b1733511c6138e6552e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 9987eeffaa47768225e03a8dbb99ff4465196cd4 7019a16803b89683be990817f3b3c411a9426f3f 9e9a03e109527f30dfe18211065d8061469f5cb1 2d04245313446ac79d755072d7cb466f1edf39d7 7d7c8975d630ed3bba475c1420dce1345e853607 c4b514754b220fbcd8f06929af0c3b5b50138c65 4791ce5ae1e90f961ed7c004df2eeca79464aae916be3179cccff042e7203c5c01285f3771cef0ef