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   p7L$T ]/ ComponentDependencies:threads=2elapsed=73.350cpu=140.580gc=6.660factor=1.927zXZִF! ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyv>>W1KGwxwV(,%؟L ~J|6LUJ49Ny|f_"f7]X%I Z~Uk +鏥!16/ӻɉ4P #< 덨{ p@l{{zՖB yuXcU+ S?z>`w\6cF$z6$Rln8҅w, 7JBQ &؟NrE2Hٺ9ac͇w1I{ZK$x(J\veY)YXṈeKX Z>7CuWL魏N8m,խwhYVwa2ygƭ< XBճO: @rAf(v&a&;z[B ᄩ78J1$ctԩn$aݎt:YW~m0J*q6 EMv[֓YEW.g̐( cL(>(k2Dyn-5҆ 9=xԹى?35"0盝K'U Ub܃Hӻc d4NC| ł4KǎcOrݻg gA\z!U`Fd2A}S O&){iֈQF{ )%)a:D0xin%MUNxsscڍyZtސw-F}}_~M 2\^;߼9$<{hflr$EMe*`^p5 ä+L%~W3;l>5ȵϫZA`Дm*&fJS#K98n}(p~Jl|\+ub6S_=u}i;Fauz2;`-x7m Xzٍ2K?/G=]@_;(2=R>hxv hП4U \r4g=v}vZ0!j*&z"Cmff\?Թ p5ksѬ)|͆~(*c#0\o#I(!\Q7yzȘ:fmIޟ}g_\dլMc I5;lG|;*aAB2b⺞>nְi@.ؐIf\:&clp88x>VGfӖ:4ٖk^d%IiyNlD«+]4BfD F7B*5Ϫʤ#P&`*^;z0 pzf$$M##mq`6)Q!bc>fAJS]3 xʪ1f8a¨ B@ߵ7sQIgk74Ap)ٚY8yՓ)O }ɓ'*dx/8%kkd'eYx6?)OQ8t8iKa;G oZ2rQEa>bcsAU?StxQV l^S0tL.# uVcTŹ?G !b'W'%1P,(z|!hVj^[y#8 '&0CfRA3bGFN1@O&3]y@xax{ W > PMYX\wz,K"TIjdOZZ.QvP@X+"*gRMo[첃#5oGɾɷ 4[|^)ʭfn4ƿll1T kS$Cゼr .9 ~ZݳlR2"5 !0rf8hv%Z&R$%vz}/>̷L㊔ݤ(\^&[qZRyمCR+SͲ 3q("TR߱) WlW}^gtrRnB|j(zf:҄EZAlz[ Pk6=58"X#;-33~.7Rx6*Q>y8wϑe`2j XWerTZTˆvs-?«7W|F*oJv侓rlv0iWaj=G3:C&,4p"gvِʵYp؇UBEV%"ibNȡ]V9JϬ8U"IG==W6UdhrI_j"u+ f1`%H#p.nodC<_G:ZtSYH$8@MGv)J$ON(j_ń{Bj|Nq|GBΙ e  ]T"=$.E ET.$ؔ0IRќa[~g`vARv01'Ä~okFzx0}Q=<;Y41 DgZr[h\lA*Mz<0m$}@zS􈬤l. 3 @VhHwy'P/laB5juf@8SsNsf+YdCam"8P6+ vXBZ&OEt'L'@<%S`Iŧ{5 R }p4c=Še3`kvu{&W)I|po\ 9GEe HvC7' dcm ЬH)HCBn