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   4| #S HOL-UNITY:threads=6elapsed=18.769cpu=89.532gc=3.620factor=4.777zXZִF! 0&]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YŽ`vIDP)AEYFp)X,*Śm}zc8]dƠOSK}ӄo8Œ@=F\h19Sv{:$w2,JyJA㧦p9s%I) vn@ؕh/!<@\`< p؁c&3[5v%>~Mn ޽ik_SIkK^!X}/߲'7~W:\2T2\Ztr1RDzYpMEa !xIaedtH#ȯ|`:[D1',O8Ϸ m.`<g5 ǂ.݇@kWXYU ;Dظ1sP}\G^ @MK!Bq:H©쥄25=cx5M)6N)<4F{fخCAjW ߴHi7 ? @eo&iëM<"z0yL$KzaeUybI3"ZW6A `20; KOy~ġWyҟOYL-!U >o~h*oA{2tHуtDRڲ=#ܠ\ycLd}ZZ쭯-Ȉ2#AZl9Õ 6b{~ YEc+N]E$!N,k"ŝ$@A pH~*Ƌr]vŒrjq.4BҞ-\Nwk̎a/;NpY#Ls&klIB#esien8Mx`u@ 8roӊ׃6>E[-?Acr& |898~S@iLS̤Hs:D{aܭu} T}cs=)Oh(ieȚ   HOL-UNITYT_9 |+*8Zo8IJ0fBBORebq]٦Z~@ig>DD.R0ԃ0M@S0d~؂\m^[t9I?"dQȈ~ Y `` lgYZ7zXZִF! W]ŗXi%6po󋦞 hG{*L0FBk|kܦAX*]\Zchq'8r+<8:751/7=vjo3N5NhCUh%."#5-n\GeTck:v2̟/b@rm̹\A)ʕQQUz:P?:pg =v3 t ETN # ^Ќ8fWQrA9Fe<蝘H`-nh5a/XEnG ңú(6% 3Wkt&nMmbV=m < ^bLHOűt/۵d_h*HAsԅV\yJl!xRz:s~XnBͯVkSRqIN`^m=S{dY7v)Wׯ:f.g)* ̎tH_xyա sML܉ W7܂pٍI:r Bh-󘉈̹\WlNHD!;d%~*yd?p/5a!7T#~Bh^k)#*/OyAtvDp]d&c$\doBy5z̜09bc}OV XIa`. /fn5S,AgAa?=BLr7$POX٨QV sdv:+RLͯ9MET.ފ:1Q 7]tm؞G.B:jJ1AzаNQna}v3׭_u'8IڗH!W5)r4~*sg0hߢ-gb\tKN_4RZBr4xZo q0\K1fnNAwȑO8cTVH>jY/Q0ԡԨĆEɇ/J =1?5Rd`2#1ꦒz?> 5笪d*^ ڡmj-r C{J@#.ÇۻrHsfuIBe)1jSh:xV%b@QblHTI6Im1T0d |_~=j>w