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   gl䭱p4~\sB^SoInT#A5-~ @   Hermite%'E4D[w8f,~4,"PWg> oP>˹sBf4+X*X(pg]J=e |>_ݱȿqv?JkW֮cwY5+zl4 2m$ahD%|5(RgP3xQ`Co$~5p| C_a)ip73X~r.0Fy=BP}L!,c#&0G*8u.[Z`}PdsW "S2'=Z~ַEF}0@fqXEY3ѪXOn)ށ9J ? dx:XJguMnds6&JT$ LHz+KRh0)oT+'hß8,Y9G*)s( sSP+y+lmR~3d}+i;F]Cʚ@?AڙdrE'Iv* LodAx9 R&CTW512/eRfz\cxvQ''Ob|@qٝ' 1f6˞ '4߆Vw Yl-ד(J=$%VԮ-2Ol&RL)\@ )V&A6f /VI BjfZ_-6ګ%l}f5bد?rSս5˱dB, 1?}2ѵ_] h*W; ϗWxjE^A?;/#.J/`3E❹,ؐ7OLi%kROż6)X8]5?[!Ҫ,`CةӵB mYٮ S;0:*eɷnv$ߌWTpԁk` }ݝ1u|g ^DˮQPL4#gW x`\m˄>'|0T 8Ѹ(5@PrCjlTWJYIJ]xLԆӸc^(6-P,Ӈ>w Sv`*Ng5IDoDG)]Zo`ò%ջgM ^mr+ QJJ+b%Í,^gL\0>*9\С)kYj@:M [!wc2AGk!S91#-&,n2 Ͼ n{P;Z]xv,< ^G[U$X}qڊHj z\?8pӿ Y=lZkf|&}SdXDjm}U ( g&|gl}Lrɯx<+B_Gq0@ !ex/.PSx*zflI!@~ȭM !=[,̀?"=󿺪 z_C>K]/tf%.iO*<&F@=yAہum&Z~tHKKtV,MLD{([9l@%@31)5Ǣak 1CatiP*3)w4vZuBGN@;w&Y57 .-8:vrhD+o!jwA*G:Ѝ^z9o )5(:*R_Q$~ՕU?zMoFUP~\ 7kGQ-u=~ɭƗDjn&s-# w7YIH,#P5.hE wdSeR{a)2WW⤑ ĺ^QW P# #Iܨ4(hҘYt]Jbw[ɛ,`|yۜ61Ys(47Vi+ƕ Vne5u[˼G|>!.COj2˯+zAfAT h9!;W' H{At9rݴAKo~ !}[ߎ-v7dwJ8߇_Kt8 l F>%opLw8RuI=?m*C|tK.TױlX~ve!B" (J\(Wq3^2.0nm[m?EI7/]i¹?@!'$eP"dPW$$+;Vxrn֕`x~a I6]]ՋBylسLr6 & h;5 0鱁RtUgO.y:3Ubxlܰd6i%,!3ښ2KLXv{,~`lYw8Cd0DR湰0;AUn/'726o,HyG09,Eg=^dZqYZ1{ٺO`c)-r,p0%ǻ8X,?d?ݿ;e|k﷚d&+|%&Y˞+YNpl6cdɔOǨbfBf+;o|;!y#NW%A9\`k;0fϢ`]+15B_ή==$..E\-Pn;s:cy:T2UQW:kӚ21uL1KU~&t` NA%қa/uQ9^n*J?4:_ ,(3y$tBf@0[%NOm8^Suܰ0w !2"H6jebCOm9 `#7ppq$3bO ~SCTfO Q-Z`k9sA}@H$qsڅABM[ Ud R\ϣ<Ode\'55AKoYF2 crA$jR4/;(URM6M: &⎈xo%wI|&]D1xi7w;پ1Dq*!϶n]S=d~{XA0:y\CZ []S9[NA?v奃D-B "MrcwGw $E0cTś4Pz\} kڑWT['R5\pDeL _?S]G.