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  )! d ]%]Launchbury:threads=2elapsed=48.405cpu=93.684gc=3.312factor=1.947zXZִF! (]ŗXf1-/6vRZd*^6UaNntIBu8u ӣ6)255hIt{;d r ܺK~.GZؕ5`X&_.mYٶA0D2J:WNg+| `nS/g8,Xb]>v 8s9mHJWu Ս4P(t5)u9E)D;Ǵt4B-6U/@*ӆ\ !#EA' J45#@D  #% t:+E l87H^V*ٟf\[a7WzD{Vo4/f"%H7ܡNxiA+'g>A2^(e`+'q  ! Launchbury|Ɖ?v95ꮀxlPSYϚC1쒲W{ 3XD)%=83mD¼ĢG8e7D#Nw ݖX IˌESGA'&&h4"DVu0R=]Wk^<\!Y!? OM;+w7n76jU5g@ؿKEM6n!4"xlcn”ׇ ?_c/] aqsh7ͧyb;.!~ڍ4 z•}jE(+~vmV/gt%41b(.h][qixʣ~각a0W]E Xׇ/f@e]'KCdlCJ=BUօ+MR fH,`U gu?P)ZoA2x*MҲ+"`\O`8@e]g 2eVmF~{3G_xiܶBMĿ!I̞lפ$fGW5Fug47t̏C&H8g3xNEH90#jk~=at]^& eWtvT(SM<zXp@-5aX!ߗ W~1z{3"Ezg=,Yjeȸ Q#gYZ7zXZִF!  l]ŗXi%60h"+%{A@ⵐ ;Wŀ+#DLJcv>|ۑpE5 hיxIIRH%ffE)P?ɨXFr~}Tm ΋`JIdF\M촖dfPXҺgDP98gݴڣL>'bض)K|8xo]Vט MIr60--F0^^J$9uހͥZ.Bν͎{슱5qKEʼnll&_%D8Ƶk(Y:or9ZɝKṚOφ{|Yx7 BAc*ߥv*ta g3qs#u4ӇpWRVDŞCb|{Hd^)l)49X m܌ش}Fp3~fz`^h4vE[2]$HRPog$'͋C5ImߗseOsLpuGF$ giN-}ذ ZlQ.D FU~pXfFmfK>.%wm@}57oܰA;j)]zJֈwuFq~#6g@Z޶1GRB̎k5o3|q= U6\ݚ' E3|XAg~ڪwL4?p#&ӬGV]9YbqHG9 %M+5P6t/ IjYR(G!67q7=RzZ>I y콎Djsu3nu *i87RG lp? !$t  jl\$ %zi h9 I=?Hb xiI ;K}S4 Nh/տx LK6R*%m,4wUJC ܅d8@=%Y3hwjup N rw^w BD@Kalf 4KF;3up=E30Y ACE|&~P!F'ꏉ)KJ7 $|V3=2nX:.!2KOZvV0vd,e9N$k(bEPApu oCg2VBߜeUxe\qS&ӭ`bcX.>;OgPI/y,kԳ4Î'.;Մas{4uX yhYܦt-gԡx>3]&ɭJWdձ|r *i&%i7{hAt5j+}O"@֍> 7ӣޜE83LkrũR Ku0z^87} M z69 ,Xl$XV>?W_䀦ejU4 1?BFGw@w ރeSb=ϵCN$g-}i,uIO1%cqj޾o&@^|A)3 TBX,6hΉ: hP(uh#R]*V|.,h9hVw}ωWak+xTU۳Xa*pwYFfuW)lY@?sEmrHGqͱFmWpKj3%6(I=Li,cZH&J.^T#KG дc4* &87r X9nߎrguk[Z!v9#C-5}p ) Wv̳̯{{zzaWm}e|V?$A{xjJSNv>nC]oBɇz3 gh) 6jᡘv(LX޶v)70 fY4^A60,ő04˼wvrqcXZI#rk(S9>;_:e$9qKU$2^|2)Pv72yGs:aX8SP; } A.X9h8 k2>=wM`„VMWb ,}HMm!w^@LIî U>ƶ^oJE/ y֨(4֎u | _Nfy9 rYt EA^9BHAо)o [*KmlxeH{D1tv*qeL73NYl)x]񺁬:0V&Γ>Cʶ_]ZfDI|a_L9!iGL,|fx(zpd-4̢ÄVk6WZvdiB֔<ୃggTǶ[.C[NjtxC5PMƢyyZMhIM?gYZab42f6e031ff7f5696e3e609075ccf52b91d229be3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 22fb12ef16c090cc7f2a1dc50f9e311e4c0e0ca1 0451e499e3f453744a222625e1dc3fb085adb4f28da5739637cbbc5c271b560c191da0eb4327a5f9