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 j  w]LTL:threads=2elapsed=30.412cpu=52.884gc=2.032factor=1.747zXZִF! ]ŗXf1-/6vRZ "@`$%#@tHYMzGPUD6D[TBvw`Q:au#5m:&T$+)//5ГJ+%A9|klijGZv~t G+lT,J} x,N"U{(&[ { j)idբo P/=7]CR8ooà)w+Q(b`tBcCɛ?!{x Q9JYCfqKsS-%aL~ %T)bK:T=#-U4MBu=7l$;=C76]aO[b6"9h"0˛ReIMk-J)ioCWD{a%hi6zȎDЅ ΞRͧC!eƥ"J፱TB=ņ~C 7>^iQ ;16n̾,%U!Gʗt -dp惲aUiqy}>/K8vg~7F8s8 ]'2{*--mU&)-6gYZ7zXZִF! |]ŗXi%6S(2UzpN-{PulF9|9nŖ[PѠiRG՘@>t,q'1Ţ̔x c5GVi٧$[ѐ2 r<&3dX5wMF};h깠d F2G$! JɦIXtT~Inhc l H 9iO?{ l][t]a]v|zZ%i< `^ ^)+ WΤ޸`;VӐ1dB@\85V#y\W,|-L\kO%H2]jGڐuZ-(G6QYbs>S `mmv-VOG3EuLJSPO5z*o:0ۛyOd&Z%Y)52R $3{Q+v[ ɲ!ٮ4 dj PsUǶsFnEWGq<]M4mT3_S\rk\>9a$2,^0!0zwodǎ&>Ϥ+ G(~[>V˝4~{`t06&QLmi!INЃ^DKoc@SڱFD-wx4G~>ChT)g*@N`fFndGX;$!w&PgL./Գ蛭e^-> ,)u"XЫ|# O@BΡX%xWQ,L }Œ͹WUI"w39'<<65p"dW|6U0}#dV5oQ>T Uo|AJE1a “x0eKp*!Ӣ7o}##eqӟoA:>aeǁ2lxZA{AFwD\) "(rkeH#XcWIEy'kT652nmnI?iCxH4l V[>:855uķ)0Dwg~JD8Ēl4͚֮ G& i"|Iy#Aӟ|p.UOB\aq;җ+Z /vbY@&>}l+p6Á@,mJգ# P6e Zy: w82NhG'ښ eL9 NʮV҃ő|}ʎVr`w}/J,OwhNQiǣkWEDn} 4j}Wp*HoDu0]GcMgs} Mf1K<ސd*Â̊woJa_ĖBrqAMWf.W@xq%api{>sF%Enj3 J񓻾oV_p0fҕcB,5 Y?MyKgsp GW8:4tWjQL|AIcX `#_%gYZ00fd14ca9b781c72eb16aec32e3f4e722603cdb5 73b789f172552dcbfb931dc71f5d8ca82a924906 e60517f902a6f65d17b21a91e8a840ff47ee7f3a ed67544291c3b35270e03bb709338e31a6720914 f1454bdc50e5e17a7fe5bee3c7612c578028e747 fa409439279e5c4495a5eb9da524f2d7b591c8c0f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1f1fb18c3bc539b4a1f9640aba38c1f163c7f9bf4  LTL