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  = =8K \$| ]%]Transition_Systems_and_Automata:threads=2elapsed=44.022cpu=82.900gc=4.316factor=1.887zXZִF! +t]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAGCxCgZ[x>}C:BXhucU=aЮHncU7wtx;B-ؘ~uk$yxV/zwC}V]q5j*70r}RQtPnTSOdG|Y .* ?optMHhJvd뷍v`XʘDpT_>&篹w̹/M5 lObolI# bŐh]w1(z\Ag@(2G, ( =ܖC%f`J"=`¹~@;L\$]V4|5) eK/ 7]š6+h>-OA6c~_~ݶcI(fզf$?*ʠmSN}ݬX`g}̕kX xs}JzG44[r?"uZ/om, zH9}KJ{Y Y?N{` !cpm).˼-u9+u|h*ج ^a'AKi!QDw)]1{%@t@"+c۸$x{O@8MalPy6%Ges;Ls3uM3XT f`'u޵\? ׻ZX+XOAm "K Transition_Systems_and_AutomatabynJtt>N~ #%{p~R?Lgm#Q h `8 a~R A> "KSRBئn4\k.[ 7qfm §`݅# 2Z1S8@t3o6j2M +^έq/Wi50Ywch,# U /`nO$ =ATy'%P}\HkSHf.!FWB13a4yʕopi-Di=YH"e /aOSB[0 " ,w%Z2~/dnpN0.ڔ'.= j!çPf h6T)E-B͂ sow V8gYZ7zXZִF!  ]ŗXiɟ1˦r~KunύNN{$?K=gYZ7zXZִF! = w]ŗXi%92Ap’?tV!aHIf2#c&Z?k'dJd` @A h/s?yȊeyd/C Q!TO)g3.s&bDض4>O8)%-rI07n Peu*'@ӤvWzN4wt^;Qz(ӡN1j(xHxMZdI| F+|ሢY>o߷ "A1/ =wesal(˘ݘ;Wxhb7fn $8'Mi_1B^P)Xe짨Sq9BHfR$tGqy%O2AX3 'k7rJkL'pvz4<%|"I*/X>7ߌ~HaD # 8Y9 L"ov'r?`,y=Y]uV9J3HtaK((Hd?r\1kMrX8Uq>j &j1#|]͕Ձu*keMZH׾"ӆFRs2Zeb=^UxfZ"GӨɻ]Jozu(bgaKoԾګf[&v:faD?]`x7L|{VW +v$+]ˎMQXa0%p3?oj 9ΆO]ar:V,-Qtمy dr_䟁VK. X5-IEq=>sX27h3iNkQJcE:  FyoNSe#$3M8.2v585&-plYp*wI縐\ J$6j,HcuSجeų?|wte= jկ-*o7v4li !b&xwIWJ6z !9%Y#'1[<ĭۏWNhs'EPb"bϾ2I$̐o1S _k(ZL+Fo)l:=0D4=`Qz@9=6-{q:Ҝg|㋲srzzs\:\2Za}uBnypLe$ Bi@ۑ& &)Xb^8u0 ngg \:"IKC]fÃ֤DY0N$&T'Q:W_ W|}& MFm~IqHוAI o"+6&3 ǪO3ΡXJֹj1u& "6v)l%I#KTJ'T?|f 'T 748e 0ZK^is;} TDoVeB26ʨr폾q^wXR撟mSse?o^gPR˻L$yov,:%ŷU|}c(,C2ضKoɼ9W`a@=92O}zOve;ϡMw C|BÃ8! U+KX?;y"cG\;#>Rt G߄By蝏4>nY" Ezcw`V:k lTB?'qn&<_XN꥔G*ZKeU凟r>:Cn͗wde ^xslUi|@T@+g:1Z";L\;(P0yӸS#/ls395.Lӷ | p²CY}H0yJ !)2]^LypbĀ|2A):$tH/vLk 2*SF~!,ɬ5?@7iԋ'l ³#z [[4-C-DVӼQ]C+_N,ˍ/ڳ'98A&X0ۢ]U;