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  w w~tD s]Word_Lib:threads=2elapsed=67.174cpu=125.820gc=2.960factor=1.877zXZִF! 81]ŗXf1-q恈͐7ӺV 6 hD;V& _w]ӘJLU( Lc-=IYz7NiXp}^2ȫ ,BAثwdSm/pfrn_`&Rm!$*l 0֟*OoJd?5>LSijec dI*[->(GѮE \9OQ?$M^[H .TyVC;F;H7 :FhA8V%bE0hJ|#9d+ńT/78 0ե8k(/R|)U"ܽt\LX5KQDI \6`ɢb"=/H3"L"nBy΍) g7&+N;#˶Owϭ*]#/)}}bdOrRy3baiVށUwC1 &YއǾnNKj?2 v˘NCTFCeQK6^B&<--qTN*HFCHqUW/K4Q Zjx Kt{ƨ.vg?"Amlt? %8UMz) [!a.ҟ*l+O鰰f uA?KdpbAU3kVEr@%l_L6MttbDHR r_a zHJu!IʇP©5.E/z[l06%gYZ7zXZִF! E]ŗXi%6wgv/(3F: O@Bm>;Mb;#|؅e\0+H,df%adk #Ź5%q3;D Lm6o]R)OqZI1`j!N8M\^vh`o U/Yf>_ fؔA "e+ JfxLŖ3w7i]Ql8OCA >vXsnK5Q dG|UI x=Q5x0sP _oYŵCOwl&V0GBlV*ѵ˥gO V>j9` ]nCϞ. vsfE]h}^7S 7wy…i5'EHzA =w4WF޹;1a^vkf,    Word_LibYҏ޼ 44d%|Ui&rh ${֢@`VOrR)[;RtigՇ1nQ!XXJ>v>IGعF ql`' {q@Zq ,N.<[ i- 7dΗ%%(A]0Ř >`Yi/h$_2mj>|)03rwVR=-"c/i&AڏR)Z"#x9Rc1qzkT{0ԳB^ߚ+[$~`,NnlGA; >šp[rtLL$V!/ɭgw!J!33I!{b)&Ƀ . livum]!Cvwď3ee <B^E^[/#;01ߋ.EQzzLA1mRмRzRsFz݂VBc]˫"Ǥf(4(s=ճ&W6(= d%}}SGd1V ܦb cEK=C &2 h `}r{ܸ =NA{ª4̩><_$˃EQ%q:-`!# /p/JװNJn6>z_yE]³|,F' I改k@c1P&:wENez#{stEKfb&Lqjeh|"Ԉ/QtU_ad Q$ bi˱-8W?+!%)OxӶN|ѡ Qn|ѷ[+IjJFq5utbS6վIAo fp8檃v2M0b&J[]dNƨ_?24lu,Y”&^S7Z 2ɀt3!ٜd9vտ)17(ZM3*2sdu9؃dT5倴iwuEHBqm!r p oFZYasLqGDO89K+3 CZTC=Pw{h]\JVؾ[K8Vat26Kr?w%H{Ļ9w7;̸Rw`zˊ+`Z' [~X2*LzF%G ojy! 8vF8޶V`6 `W=&nF"@(_9|/MkV;{DA' 6tDhXחI*ۋ疶5spzLĖHA^Aid+=۰-xۙ<],B zU:]W}Jd&8a}#.ԕ8I:±y\ZK7 a;fph;۫"IL5fqtx/<"DE|B6Aj&~&i)ǟarY9%H=*1y.Z>=gBRm%P43[H}@!H*i$:U,7yk̚'6_x0+d6-?Au1IQ7N+Y"-kئpE*atA]oLg[yn]NŖ_yrΖ,sbNaZs;jǽm>8eA34Ȣ;bcܗWB\8!y@iĝ遾/Dݗ`n*H01| P]i䧛kˤ0oaLy^aXX`zsY+y"݉E'U"y[a gxV7