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  X X/d< ]/ HOL-Proofs-Lambda:threads=6elapsed=110.528cpu=139.772gc=5.528factor=1.267zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}?Qz:mw:Yv'ݵ'J$Ve X4iLڐi8Fwo}{͎n7RW5[<`N>6Nu_G.hߎ˖-;Ī߀|ƾߝL `Av3:܂~cX\'ƞ͆5ON_0 }d]{媱W0~x( <kGDJQ<(f/iJ`"wIMO@1l.*=)vr?RHn78`l8 {)1Dp3`D 7L.rgYZ7zXZִF! iV]ŗXiɟ11bu)]>_ws[Ɋ bru!x}ZVCIC(_( (W(gF<T"{U̐\hOģONGD!#dՋT#;ў.!j(_$:P@C483?chX;F kR|v~W^Pvr)r<"q0throolà }Yӥ*Iu$k(G(Cz$ݙ+y|1 JMm8 EKVgYZ7zXZִF! g]ŗXi%;ҘYEӎŘwv9z1b> XzcTQBu,>vEP%5Pw%yX_ڙ^5@EZI{ T&^(.Ϥ/l'.FD ޿كGY+90z4C"nO_+,P^_: 쐗1u9EJƿigY~PG I^~_x/VVb(-qƟװN:Ko 3ȄVzUY]/ؼtާ ;ze,SG˿?zv/JJL Iӿpo@a8#cO?TI+XGu)@RpC / HOL-Proofs-Lambda9"&tA0ڐL "a3 (j˧p⍰1T33,xn aVAْ`jWut}m\^ uOqdW !?˅S`Mq(kJA#Fpi-&uٛ}ps.wtiDCD@+;PΞtx|pa]^xׅ{AV;oU+<$Rfs6TB0e2`D.idqJ'0̮Ld—~(*FXhnE췅4mpH{ˠBvI&`jtp(Zlun(guu⼧6;)t MeSˮH FQRȓRP sE&՘hlِ= QMw#"$S~O'.渐ϊ8#@5 A1%M~:KW}\TR;0j`̘; ^ֱ<"/<.fqs޹UT smeq"hJf1ɡFձz(X!JJWHE$$]:qbLp1~[z*d&vv7}΂ pE.(3>@]ؿkLyZ'1Iv<h1G&G;Gp@u TZIo6^d@N3Mq%Wz} / >LzbVВ1G,#-+e㎻p& ^xRF(y 3F2l$ZԩwE~rH%ѳ\6Nvw:#G0øE*%,6VH Ծ7~+-zi=GS'݂Hu:R5!Ȑ[r箆XxJUaVsZg ͪVxPPhBft4bcǡGJ3߼YrA0Tk2tM1;xU:6)Xx\Rq\;a/Uhni[).u5pH Ct'Vv$* J:@e,d|+ \#B9^Av'ui )LLԨ:BRRJ"GQq.0fe@X`〩B?Dra.DŽDW#<;یe^#rojx#$.IYY,HK3wS㦙̃Ga{P-uG"6ߊz3|g#۔װ؃eL3r\d-ǩ/A,B6ݍ.6mj$Q-%cpBi~DN0 :>)p޸2ϘgC/qlu0,#q 1A$J*dPnW 3kɦ! k1~}b7K:'1Ү>nnz DLm0:;&[k0b8/Uҏ-7A*A)dTIQGq@l74f\S$p҄lAtyٍUJ2vIʚ(3"f+m54ﵠC2ԡ[~TS_Cζg8v_P"2B&~;@6Y;HM@{Z@oqT%ՆAbC}2s2k/|eSZA< ;[GO接t&Q719#IS/v2 w/`׸RT*3o,m7J@g` _ح4*QRCnjhvzu MP8]qzگxQ_/ y \ǓF}Ǝ(&ԏ 㐖4rk!|\k/֫TmIÐڝV>_v=u&u S9g("j[T4Gr{;ox,>S^\nj˕ݛrwEAFv;U8Ӌꕬߟ :U#s҄|G1BCtڞ`| z B ,*g 1 *G~co tl>7[LMg`0ٻYKI6(׍+&ZĿ]\tG ^z(`'zO:CD_mb@)87#jXwq:lOn2mmL_g+_˟+`* SHHkO!vtZo4dZY*5Kwe䵅\z{.zǥg[YEס?,7.~kyV?ym>Mw+Y?U@":{M$;krJ> %nq>XXI!nc6#l4{.AԜU;م}]okȱ4S{}\fk(!l9(+$GrW 6489< F{Qvj054AΙzqg(69Fۑ2N e++/e>ev7A*Kh&WG9izӉFp-ۯ(E"Ɠtƛub G 9`FV?80QdΈ"FLe\Dv]4"n{ EtEECEj/cE`a̾Gef:b۽ #t8<@9P~OgL}r"4mwZȤE) $ }orPbKcm񣝉 ?pNoSq_'1Aʗ`gpHAջC