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 __ <\4 ]]]ZF:threads=2elapsed=26.156cpu=42.768gc=5.308factor=1.647zXZִF! t]ŗXf1-) enȈA"XxBT/'`a^CߕZ7SZQ`tLXg#>jidjg,|S^U?`T JBqzpR ]j&dH[Kz?|jhqD+޽gD5Դ=$4cҮ0[t[م vC1\^ȤݦZk6-s]N 0K3Y++H#&{gn+zb GBW*:Rj}zH揳f0+֥m/4y\.4ؓsp\y-U\'- qŹb\؅f w⡬a0 XeMXY;GĩM9koBf;Ta^&㍿Nisu>|}Cm0b4.4N56; qRJVn]|؟/َ/M#Ђh`QkK-=Ci9 `O4ȱgYZ7zXZִF! (]ŗXiɟ 1FE`uorI8逛WEV^ /6:vδ%i, YH E>Ύ(ZUE/ԩ[?䧏3d̉vßm/O?Vc<:Zsbq(OŏRmlڷ h9i1ƬQT_/K d QƈC`̎xtf\)2õZʹ=.c[^݄L _dReJJZ{Lwҙ&@ .~YJukboPspL 1;F* ~&6c&T ?/Mp7'h&oy̵Bͮ!"vpV[%H6AHmOfb)׬2(HZp\.Ч+XKBzJw0ZW^*kG+xBr|Q,qq'W'j]*;N^0R= MV%-Uי~Hk\ؾdvߙӳtjb>. wYepo?vAig0CqW%B|iE{˓ Xo_D,لS*A A{z -\xpyM~?#$3h,G$_qNZ6Owb6081 WsȨ_`zrm |C<&|8@d=a6%0N% FOo{.49jՄ<ŵ /K-0=~:wKſ eĂx \ 1[y*q87;|QP^ʏ_jZ]F צ}_%/l6.}J?Z:;iVgvDbRMnMvc!IPlӫp.`[3tތru7(?J"Q zIdG?G$%¬d(O$ 30ɀhU\\ Od5@D\jSډ;bJ EZk򉬊4'߆OjzE^[ڊYƧ0Otr@YrGӊ @B 1Jcw48D#Dw95"OƁzhL唝 @͹&]b#M/"5K*$~Vêm,γRZ5htvS~ϔ:zm]/uql9Ղ~UӒ]/54;9w<Ɂj+A"NN C_r-fskZUZH-UfsԌlYbBp';_uL Syc?̉ P,j'*^3 OBTiBم?qO'afU]o# )| ]\5( I/څ'UR k#`-|x^V:8fg4c6~,e޵.enٹ9"qqyo+>% QΨ ʷiЂ&b,+Bj=t8Cg9ea۠]x?,KΏ6 @F/&G%ʷ\(gYZacbd8d376a4b9c4886a8da89f107136674b782bf1f11aeb0b5cb58822b61789e97e7af2cf416f0f72170a5fa4a68f7b1a42bd57e1745c11f34cab24c  ZF