SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info F' D % Tree-Automata:threads=2elapsed=32.994cpu=59.976gc=2.672factor=1.827zXZִ ' Tree-AutomataF! [@]ŗXf1-/6vR[lNq!P{csQl]ęW'ףhAYBhc ۇkB-qZYn]!a^+ap`[(RFp_&4NR0vmฺ/86H'66OYzm#թ1*~y^"!/ZRShWF>,:TABXyv 4xf7Iޤ-xQ#?1K#LB4](av|DӯaN;M6 + 5̽֒"`'=m$ǗG""L3SIDEH05M`Hѐ?9&9J0k[+vƺ_31izԢjݠ8(&U&dCv4gEv2Eɂ=^D O|>:W@##`qV6}H2j u؇5[96a#sJӠ֟D*Uqj1Z?)ɳ[ٱ *04L7Lʜ݉#w7EY}6n./sX&DS#*9tl1xS =cX\8ciiZLvn]o3{^/q-ԉ-27%E{$ufg"N|vن-`c;B>Ob{pۍ @=5&- P ֚l}2!]"x"mX$b k7Y nspOg z6d} sZX"?q*!Mm~ ~Qi#C(5׃ĺU=H(N08U3w`}cp;j*8(*05E#( Lqo%bG 6wX9šA d"cMYUyjLmR~0~I@pgnL+rK8 {'&WL!،%wV$QB^\B"]Hҥvfe-igHЉVm?T?J1_GN8'glndX)ԥ 36gs[y'Z;~>bs'7a4]7| rabT Y_xpI`P MS 7Jjz3ELk;;OCfFL\cM|YaY&A &S̃ň+Y(ڹ#$Knmg)]Qd<)ށ&qaCU7*)G2 .x KCΞ Juz-B}o.T͞-:K ~᪡2y9c>P GkՆup@߶Izg0 =n40%2-*FLQ.WPχ'Ok6̧] >Vt.%s͟3}ۡ+<]NЀb>䑈cհYMPǢmd]x\uP^pO(;iTT$Rwoc :QO}nO (͌HTizu&:'AA:p?CrS1ĭp 6~\D%/ X| VfiQvvZ=pb_ d"0m4`bAy:}DA⢚1.'MynoӵЕJҨB3"tQ7:&鍳~UyA@rQ%QamY0BPZ oJO.?@uĴsYETX pRu|~j&X!]]];NY^`MlɈb3IDǶ5v@kq |ډ.BW NZ qOV峗ȋ\lG)CkM-x3¯BT}!C:!\േZU{dKJA5qfN!LEqO/_NU&>9F; ,$h;<WG@x`1koj("bZ m:AL@k" T\NvvrZ,'ˍe&1I{q (+q/P C*niN-nI˛33Z;wg>Q L  }| ɬ"g!Hg(T̳#}LG>UV0zN.uc!犬>30%c ojam']7?" jFs>uUMʡ8.FN0b ɵtntP%UoӴ dʼnЭ*F\nn2׵i}Kc)Xu~J0;26UCTwduϜgp[$≹-/$;؛ zJ=NNQ5nzBjA;v " 76n_8/:@W[l!̶&Ggܛ͓U2"m}L";#߸s')c+nj?б("e훵I+ q#Y&QTCs g FV2HSMߑ !J=6:Ԩ>1'9 ,;? Yj½0AqQl)Iuq 1%pXyr 0:\dGu t/DfLh1pˌcMҏ#܇άVXS\^KtX|T|-C}0Q''[U㫽֛l pPga }0=U3D {I [[^I(/[5 vPGDC&֓>)¬ *F9I40NwퟖG}ER)g4wOpq;X>MF%) ܸ݊gYZ7zXZִF! ]ŗXi%Voۢ9Sts bcvd~iDt>G{?5JոU@KZ5Z2ʦӾRC4˥>uܝ,ۺ1( Ŝ&!82oMz%D$s0Uֵ\JuaYP1x۝ 3@ʣIdn`dYּнP+P߁c%^_߱lv%2SA鶚YC L~O؟?vsRG$>qK Gz 6/ެ0II[45MpV>ﭠr%a"ɩMkj ))£jE@3p* Dtp hI'?l zЮa}T\r}f}ZR*SVm`n,5786 eFmT@("1~YP%$dnߺ%5jfXٲ7i#h[o3WB!lآ:d^MU&F wAn ,U.isc&x>ӲLpS1kڶ p-U|a [ui9DL5s !_`5I1jSL1kDoqG!2>~ \5$涝疸jD X#+HƢtzHE>"G6i[C>R;sӰTujt%Yf+Va}Jڨlw`OR.NMresUeb.Y{2kzN2 $"AABEݾaz 5%w[4   f{zCbdԨ5lxkd)~MGx7+Vڼ]&XǙR[Pw9f,Z뛏>n3Fm[l#Wh'V.F6S[ ^zlHӧw Ȣs2g /U3fuB={ K4#R´HYL.qiD~hKr ~d??nMŽ\lp_>ͨ'_2ؤ[Gotv0xI=b$omQ֜De)!B)R?0.6h7"H*~hw 4vZ{ [p*,#l︝:2̱\?!b Krx0{L izߨFrOwMk~u?1)#8s/8?9E3K}8!x `I [3\LjDmBU/*b<b%yG܀-瘓ٴ][M`èȮʚ}9V⠏g⟙ιAvT&xM ՟,c˪3PZ歘ĞsRwatOh SBW㦑ÚN}ㄢ-v/⇎ 6Hp1Fmm,ѹ_F[%FES%ᨇ4tH@ s9d4_*YЀNg^dn"h6NGU7DIi"095(¦|" pX }׋bVQV܍zlzr,'⡸@ (vGAÕi #T