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 ss  < w]LTL:threads=2elapsed=30.452cpu=54.080gc=2.448factor=1.787zXZִF! ]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"bo7M~ҳ]0SV.NEq mh nW7&4[Wh|lڙSD1Ʒ=GЍu|}RC /AͷF^wȧ^vLfS,&|mP!lρqyC&잧?[NQ_HV@ly,GXyp_2ʼ}ѝ[X}CtEhLDAsVj$U(Q̫Lį;CHk;#GuL7\2H.8$|= H !h7H`mo~_8  V1no-}c]# (P6(2x;8q^߉-cVlf@rh&0jVpQ!oY,\3 a8gM4XUA393˒B-Ú X͡ xR,:c¯~rp'*zO/a)k&-uU9yYPBF`z)X< fQZ?+'dzS\z {M r٭Uuf]x7ҟX:L~a vUBW_AωƂolgC*1EvRByB1R^XNFe NQCz08l=t4;Xk- PR(uwSR:qDĝY?6Rf\Q1D-FS|,,j~ $~Dϕ($%Q=N+߀_6LEz նˈ)F :(%xr%z"l*=fA;ھ, )K|W/jyºSm1dDlG~>c Z 8T!Bu"P*ĥa>eTu4c4.N2!pGm.w}2Rגh1{SP"DjO?#>ƍ# 5/LzrՖ3.DKQ۷qy M,pXpV0ѽUv}soN~.a3=]B1vh++!țpK`H1^ڝ8lX˜˘$Ɍ߬/([D^$,'[C\JOe%$0gVbs+ iT޻cWi‡Y֦FXu,{pBao5_7፜/w>V$rB޻9n}x08tk;Dbf96:C7ǹk0OWWU?gu>xM$|-JtYکV 4LPF|7{y{*ںja;C)M [E/BFdeJ% T g՗Ls)gB ]nDNYdu7v:߼5~lcKsrχM-KԺ%pUfe@Hu:JiF&y;XzK@jwՊy .BuJ-^} 5y&1mOo @X{xMDYQ խVő,gYZ00fd14ca9b781c72eb16aec32e3f4e722603cdb5 02693cbda30a7a4e72da59fbebda9da8acea4fcb 6540e6e73c439215113bb52c542dd2629f8a76be ed67544291c3b35270e03bb709338e31a6720914 eee8e3ca0fcf28de481b458d7e68949f7f4ec678 f1454bdc50e5e17a7fe5bee3c7612c578028e747735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e30035803c7106eb7a82265f0c1f342f3b93e74fcb  LTL