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 o3 , m% Residuated_Lattices:threads=2elapsed=28.715cpu=50.600gc=1.492factor=1.767zXZִF! .]ŗXf1-/6vR[Oxtۻ<8(O-H7;6E(8@a"szM8bzǀzqZev>Ѓu4(_c:XYn?|J9+ۋ_?*!7VgV~56j^#w;6BQ$U0EungdA_țQ uvbb-+x>Z*/hP8,8bZ&HQЋJo^ٝ㗲bCk M T^zNq+P6D^oWG8|pڐUkg̒ēy^P16w~61Ȱࣚ#kjvtc=A_N7En8씝˕ ;':Aq7}QbQO+ .Kە+G6_w<"M%^ Tl8F| 4-Ɋ #@QEox=#;o;&HǟH]nhxn[Ara2F[`ӒcUk8]orgyS _ 6|!م޵b}\aC(}a#IS9(j_bCӤJ%|М] rݚzׁISKړD Hdo~~CD7e H8Y$l\:sH2CW,.ף x MqɦUټYfBb>NFPi0zN *b  +br@R8NE;u]TYgYZ7zXZִF! ]ŗXi%6e2DŽ@kLqƏbk:FTUj1^ 1~=~fIA1Rm|FZFC'C8//c˦-+ 2ǘD;0wz=SdgQۋLL/RR=tiȀƟWDs Eჿb tNL5B?>g0 ܔ3d6T8QFjo5&G5,݈h י<ƴN،Q%+ME=2(]oC-Tf^vCm_f9kj2 p,_:8w5kBdYZK-*9~ }i{z VcÌTuqq1?T`VH@ߗ 3U3Ri%MRvN+4S7Aq489ƧQuPw";ge*ɸdܮȵPr*4tciFp$W]gEfռr5oU亠 S {27[ n F=UdJkI $}),;ZLC㙬ՔFĢ~ v(8Qdty 璪lH-*uAz\; E:y1A]$VncwN1~̓3&WQ~ D1 LwŒ,1EOLOc&:?G,.q$Y4PCoYr ҕ썯[ T=lg;=on}yO3U~>%4SeZrc+4z6 `ab~d,ߦU~ֽZު6%G4lT-yxq-YխFJCYͫ 5*. ZO| z^Cf8X1 7&If +0SWgGYף菏7}84&.I+l~IEf 2>4{0$'ca$YOclN\kYRr1y%^m6ecٙ7Y sNؓW*{([P/),4.* ]Ù"|jL/PbG/.|(;k$:H1ˆp}$OaƨZhV9ҧJEclEȄqJt"*h:cБ:~Z"@_5i[ us%k" Sl%N+]ne4 k.8[{1Y۩kW