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  :# |\ i/ CISC-Kernel:threads=2elapsed=21.845cpu=41.012gc=1.792factor=1.887zXZִF! ]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&1D}SOz>MeܮXƶ:4ua}M}OP%I@Ht- Zv J-,S/jppno,,"Fjq#^uńpTK^9S~Df䤣]9#+re1N9dmMS;jFDSld/?̦73<WKȍoH <:1y(Q \hukNdϣ,Z'gC7j4ezGUgLmduA@Xuе/~t2:[Mtk̯ݮz=8Xk*ABfl<6䞨'á+hIc4炌X#T 2ٔ 6DŽM5ԑQ["iN)X;'E(,5 te$e%F֕*QV?e|SꢎQTR?r ԖS hW,͉ܬoIĶ$ ʔo*I0RNڝ3KVߒ:n݆ϑ9Jpfpd>հX:`W~G J.:VAOx܆N6O\9 \[!~QȗB ?X|* ДX4)jr~m(hR0'UKvò92v V%Qizu[,wZכlZ+4p.dKl ^ }0؂ҭ+˺Y" ~{j2դ+50 Yx|㼨*fs"B5K2Ap{C~2Ϛ >wJ[{3g3MD_ډ=TwlGg |)0ۡP<>M;-sNh)p~%b.Ǒ]& >uẉPZ7Uۭޅ alTu?ԈZɆ_l89bfZcS4_|{76Ya-/CYNMmfTZ7}k6i$9\O@0RgI}>vJ|/ޔ7؊!a*p5ҹM>Q{6B{Q&mAhĄf\"i<䀣s`rU72`]r{4Mg8ɝ\J%<ۧMf5ײUDjFS4*)Fat5%33Ǿ6?"$/|$MZ`?x`|}V!@Wf` $@a,q[ObiЉl ۤ wlc(A # CISC-Kernelg_b*uw NUtZ:)0¤B *5&ʨEuB W VAAa <0 S"1n*l *s@) ~YuS0i]jё8s4s0B#PVz>+'BQV(6QhvW[w{L⢮~YZ9bt(s8_v:^K [˧k%ٰ( ;XZ^޸X%,Oᵈn>sRp#[DNQ}jȌpRBB ;l%Ԑn&O6T1{:פ1e Ѻ℥k\f2IQÅ(,5{oA eD+E-D.XPPԸƂȰ 撕!_JWx1u,QKj@5*$SN/}(VjϕüEzۿY6 T 9[nx,޽ gYZ7zXZִF! x]ŗXi% Džm;cIr9ebM@~v5}s$9&{41}j+B%TYuD^X 5@?O5p. ƕ9{CС5l=ocloh\cV{f]ZLǿ\ത]2߉ L3QIHTƕk0)<籣|y|/O:e\ qGpdyy,Ɓi>Bحdfy<ʬRMHv FC kQpc >K1l&/A&%ix-VyNpژum;xk 06wy_+SP$N鐸4[!- o077 3_CܯSdVϵO:G |B۩_KMD&~o,R }ib]]jҺz*=<J{$&Juj"#O꣢Ƞ#U:&znpaL Dw_ JM[9#gّQ\>o{'{߮ZYIOT|j.5@YS`YgPbizvҸt^T B,Rf|)1{>۞^8Re ʇÙڏ[Ow'bב}Nh7HD$lHtW ?l c=%DhK3m|w0)\x^. b^[7Bv$nCu0hmcs͍{s?qJkbIJQN ²e'G\Ʋo9uλ"GG` TC82j R7Fx;Ѣp6A%5c"2k;5Oǁ_mt0tdip1>S]]u)e-!zd)W}$n|!N?!XQĴᷥ`rиr.*>:woZCVgPS-P>S.֝Ab;kHT %`_YwN$XG;1ݘs5{t5M83'lvasAfm  B'i?h/lcty<cAL#AE/D)]y[Jp5:vLIǛ4rx F {ky,`#tIӡ(hW"~noMs`z d*Lm0{Lx%jͽBU' *V/yxn4/YZyn"f:[ۊsk.|Ӥ=xr]LeY ;ڪ$"/T>ƙo_H,@