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  A/lD< ]/ HOL-Proofs-Lambda:threads=6elapsed=105.543cpu=130.688gc=5.728factor=1.247zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%m] r|AvSz=lO*k{_[yW=?2C"P_Ɉi1`>XHo[^{gAj"Lf+&uǂO%(75)!nl*S~8LH ]u$3 !mxyvnv=*BhWQ?Z<gU}Co1;](|Nˢƾ r x_qe 6 w[7 blk7`Svb(Uy Gٺfl{S43]4CpMP?ܠz[uL@r @f.[PQթJQQlx3ZhP_T"M[Sq9ypi)ofU灈53τu7 AgYZ7zXZִF! i\]ŗXiɟ11bu)]>_ws[Ɋ brTOQQpwh Q)wCc1a k{ ڪ,ZHH@ WAB2P_23e7ra#Pw'Rx^]u)Sϑϡ x d nhEUAT٭ \;ަHEGׄYmR4~DtS*.>1mlHgC!yϱw#q;↪/W-͛dg~qaVB)k:[ [0{Y ͸ zN8^(: nݯ CB\WaWb^Czv֫ºy-LA:ԠvPᯡsX# %xa`i ΐu( uĶϸ](T}WfO:tԾ872`v_Y@N{!_.hPA c 96),w E!P@fJoD@&łh7s m*p>/)f-H̰~-EEcK=lVWyQl[ <5U|tFvi|8ҭ / HOL-Proofs-Lambda'D:Q~=ifƮDY{yqkxGMӑ"Wn#EtzhEX*gA3G]5b^U6kW#+ "u$ /4?(:L [,&8n?5EB!X,#TٌY`k, ɀ=abpp35̂Bx q4[6;@L,//d#aGz6ʕHoL] ^Z2ż ٬Eߑt`$ܼ <[d,EWlfLIUdn%RNE#0jvJ .}wCGa5R"#ranmYf`u! {=) ZqATc^'KzvuXӨq5ZPL>xQ鿪^>afVpL#"na׻[ulp 78~*:wb;l424|y̕Xilᐱ Ti‚mFvvbaM[׺¶API37o[Z4=9+8krHgs&s@`?kGj&sS}Y3kN{n/FJ7!nH#ylPPCJNrwYXq%6I/3yq )w8,|3,ChSu (7r<3x3i#O1Y)@{)8V[k>7xίBM$ 0h!!3 [ 2S#:(Z#qKVQ˓`9\1]U+ 3u.%ZA8P)#kY銁θØ|<бbR&hѰ%L'si>r4,QBq^oZYsY=A1={*.tl ʈUScD"W9#-C'¾2J6犗,8P$hF:؄JX2^bNuO0;(X?lIdi|üV nt/b UkϬBV68{x%UPfG yhuke*y;Q]I3Rz#X*tyQRH"zNaAf%g*TwH*SxcXQ.O|`f faC.[P3ql"(S"J wR\eXl%=^2/}]Wkn0qKob:Ԅ2^c@?zE/_XjFZp%ىbİ_c2=g2 PU_co@qᡪg!~f- dHXPꄚP^\q q@'f$V]1gmtAWro0{.).`ByіN ?%FlJ"'xL{{̱nֵx}Gd W@29mT{-vE  9u wne9 I'Nbin-ZG7Cdݟi= f'y8j)≆Ɋ_("[ob-LJ?,;@d]+[KX'U:-._d>ma_}bW!Nܣ4?2i@6Sk/~|Dݪ4:'9h֓*> J0~ $j}vC{ԸAGՈAcK&2vx؛Z6MccSQ|~Aٞ8y*eX ?,j! +U6w1ְ֪<7Jt5%bFH| [fu 2+3C.1=g Mm(dS?M 1OO`#;pR6NfR# 8yIĐWc~^ --ȁ !3~Ѡ\{lJE NUO`z$ Xslhp!"ͭ1vpVр~GǮ}Ll̡of]?%]ztMh&jr {`^}x+´+%E ?ZFDJJ݃\Kc(Yomx|GT*$AG\ v15v&k 9U oҘCkVw'QI/ٶ):&ڢn UcZ&t(īLZt5WYCpXiipL?k{ ]u9+X}ǟԓW>t3zD^#&ߦ["OZeIH^mޏnǛ),2uvQ<~Uzavmj] 4Lc LwbʡjB; zoK2#%] .UO#ddn?` g|