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 |Tt ] BDD:threads=2elapsed=69.435cpu=127.932gc=2.144factor=1.847zXZִF! AR]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>.2ۦvJU qtblܶmjGBLNLz FU[A_i"t9M?cO|1uu8CvCoKr#J@4Yt48N߯FA {6Kf4&X@UƇ^Pz3|RB輰2) a[J %3 CMP{ֱL !:Zw(~Fc]T];Yй'h1yo#.TكѰҸ1|k4ZxJxn@1 ԅ\ v =CSW !Ιd~E=iKc +8Ljd<5oEfihT`x>!!~`p}*tڶ#˪Ý{rǴp^fp/E r(X/P) \{IE.H~h[~j#w$C/tJ۷Aeb*}o4Hs.TEk)/)839*gd)}EnC4N ΘJ@ុ| ڡJ+pހ. pR vFԔ=݆~I[n ەVr臨?Պ\Xˇs=Vrq;=ájʜɓ4fb͔>mC2,( LLU@R!G04c\XQ2~<ߤi= ?'J;jŲ`esirY3qdN|Jo丂(ƕV ji_ 2ig,AG5.%M;|wϯ׽AJwz] ޸[&ՅE|6 jW7{N/_-`̀&cXw'Q`g|f #gt+N}X,,fk;Vbji~BB;#^#3k> >E>ii~ .B$Z1 rM2'Q+35hc6W{Oh'=kb+1lOh< aڜ[v$ m8Þѯ!\/xW.܀ ctυO)6v pv2E r =4[ɧ g=XM5]T5Te[U^äW߰e TOAuMvfOHRf,gl(ρez,c\f9s ?2S[MOiUGW6'xmS?Tյ@ZD8Ypty=N.+ChMjʤ.0_8Rz^ J]QQDo IDpj6ޚ~oM-s. @=GT1x] ӂQOgYZ7zXZִF! u]ŗXiɟיvL6 SczP6^ii@{8j*]XtuI%nmΎ ,yғnZ (\Hb(;~VE'˞ӵp>O? {m])eGl1*+`zta'ER|l@ć#I[q6ATEyq]vf> JɞCú o kvm ˍ}1gYZ7zXZִF! Yq]ŗXi%9#oׯT!3~h{ K@tNKeL  BDDa- ?,f/t)]GL$3^&gQJªVayB!dK}sjkm dKJTM"oL SFáO.,XЁ~ iJ۝ Ú'cfU9y=.Pbe>6#hrr=3l4#)sb͋k^e{x+?9ES"sQT0S/nM#*jn<oW?: }NJ rs!5!iXx+ ӎ-kV_!Èy!B)tulVXyL.תd.H*oM/jRݬ~I/fadD$d[|Փ?A.VAy^^STE,謝KTs$XFE8<&== b+(wxH3(g)"8ݵ_*sQ|!3,q"=#g+SDQo(EpepD|C5A癭.=]i^JiJH%Ia-f8,&ZA*6 Z֍10+Tν;`f|uoF[q1V#ܰK TKrOp84̜  /'ǴNڽOS`Aeb?{|v[#'0}Vt|cxbai{SҗSK 5k4xx`DUZ*ɝoW%pX0u~!Kx,L*ۧ9_ AGm@ cuwĵ; G-\}9y3Ҟ&C-G"iJmbDq]h,47r#0BoLFIA;wO_$%ҙ?3k )0a鍺@o?,z(ݡG@u,tXfoj%{cj>r$Kdl$;TSk$;­YU!c{R,ੜBڐ00uBUף4XPRoIw, r,Qp R [ᩐѐn(_-eg7|~ma`( ukB3> #> Xi1%9dҁfK>c|$ZMl ,50f1"Hf@ǘ+@PDL(R&)`UCy0Y$=zF-~L :K̀Ao^K+AĂ,3S] oNQdGV6P g0CW9~5}k>tdߴw~I]BUՈ _ˢHjeƉh8肶5¸*~P 'y?LXY_"Vpd*poq@o.} z:\KH`4l)kT)m=,$Ac+{#Eu@`I 8ɗg$_<|('էH4 `6qM|j-Q=@ɡX(i56+z 1|#Lbệ9mIdbGWpFTP1O%M6D Qkw͉ 2m8smfY#2XX& F#ehCb;!g_F=zpҬ pq([2Ғ r <8Ј*vҧ'|3vdBrB(Q`|'XtQnPLsϡٶ)+pE[i6ddO+vh}\VWSV|2>/J_)ynz7X(ҙw{%QG`h[bv'GM[Fn57%I N^P s֩8r\eo4oKwF&F)rv\G/=óp{XJ)}i1-lrn'Fa2\"`^c02* 6A0^uG~0cEzVr,ŮhKQyךKFXO98Nfuvbt)`P3>+&:r5H>k,d[;\p@dpjh9h߲UK1. b|?/~w~1m4 BD+`^@s7CEB֋{nKl#*IgYZ2b975dc27266c1d4cf9a216fe179fb47ed632ab48ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 256034b3afcf8dc6fe6113c243901a7bff1f66df