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  g/tjuhћ:sOHS[ݏdم0LƐpyc3ૡn}B D+>8g צ,HyRi\uL-:q5;gYZ7zXZִF! ?Ws]ŗXi%6Ƥ"^;a"Q9M66^iv.1P W*HZ &o-t^;~KP O..|EkP+M={ E± yM -=$G<6؃Aa~rkC6x_yhf"g; ?Amz#53byD+P_=(%vo4,AncߜelW7ٖ#FPWԂ/X03Z&bcDrUΛ]*cfB Z. 1^M:3`IjX(Y!z ՓjƯNc跥?0@+Pyqƒ௄bڒ$`SQ(+og~ G'(^0W@Ч#s^dplĞof nǵWHQ]DARG\vo?b=?,)UҥmYb{(2x^#MQ0;ḗ`,W,T';5~Ɍ߬q!@&Mp6v*m;c-@؍}=v![`GXTͺmDsTȇ[+XYr%p`lyh~R]f>e.Yc(̿&'?wx4:>jH$4$A>fy˄ YU}?[{)c:B({Y`Dx!iӧ8tsSpLcN?+c?uL[QslAhZ_rNt7Qм/˻EQ9V#'/~x .閐@i+(wsizZOhguK~'=Ha%wp|bRhix﮾y/ƽ͡$xbᘌųO\4YWJS$t 6l$HBԔ3*R׻ J0FcK7/Y[I`PqF:%4<Gdj/ɚ 2lC t-l4GVWV8u,j%rGUp%i}B|aoѤ,|jC (sKn>kG6i3_[vY!WAiOq"OhI\g%g$yyrPu$h Ԓ'yԸ9.mVF2zPc|Y7MFgG֐Pga ,n'WaQD ,|_u:tc֋%.Ȑw«o wʸ0Kq6$LQ6:j XP^`8;_Y:LfT7Aqa;?wX'=Hl-;d $д+i\V *V`ljylZ!uð8(DcuYlwwX.ۄ.Jܨ gӹW㕄)OSO5@:UT4r~n\E">{=;k3 (KАnkw&̋j1J[Su*]5lL1B2z$"x^Y%Qe*[)颋aܗğ^]u}ꅪ"T4Gvq Ee`v=őQT^-gdzLk@ߥ流GSq$l|L1夓:eÙ !pc8' `N OY"ȉtIdѪ7z2BvbGv }EbeCVʈ'޿UBx F'l`-ϧ.--nfR f"mL-{EH^~,Hՠ_Jg)gS=F@Q°Two,5OunC~rk6, 0VC,TVXl2 gҜ `'{hsؘYD%ɬ4)0X>,`CYSS0W%t&A!ݨ;L^J,^2Q8cFA5[/[:Z< )Tm DZK?V4{^ UJO/ޕ4S豲LyA)G;ꅾHқBietߌ'\"If*v-@/=soڈ./r*8/gQr( 3z9yI%Ѝv@WhXn RT+Yq_8KaNV,FLxy_d (P .-NBWgkejp+ -Q1&;B&_ Mh7ʹL|CDᨱG ;O:3g^\vZ 1)C@H~ c#šw[ %MjJE27ިB .Oϼc=OLۭ>!Y0A!z_0$`0_hEW[1t@uX<1L3 yAU3c,t^˷ȔJ6ޚe_~| LOKIR=zH.kxN\k^ω~csz7&WBy7+ |1Nn9lPAP,D 5gCqfvJej{!C&n64Vf=3*'EMiQ` ]CEVgFW+̬yG9ja͉D6ce^kyE eDzc~X}!q{E xWf$ =)ǜ=hQb;[Vw݉lbw{Z((~\Y8гDw"7ME!'u$5h&^00%@kAWy:=FWՄr].Lw=)?ܮh/h e\yi4QDhk_f'W8ڹl֣Q1|!эy~m!Jvk {,Z-mz'`1˱gYZ3fda9f74da5a420a28982a6b0c6eec6d70f7605ad45c74c3c975463d5aed11161e8ffd9a51437a45 6ac2021bdb26dea3533cf58000e1c82b29aa9118