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  - Dd / CRDT:threads=2elapsed=38.691cpu=67.372gc=3.100factor=1.747zXZִF! 2_]ŗXf1-q恈͐7ӺV -fZEw͠5`Qƺ#_"GG؝h)j\SEZ#KMdӂ*ZlF[!ȳ+0ErAqj!z= %f[vE/ܱi#_yOsu*~?)bs70)Thg}Tioc)BNX4+iB<|20eՅU&Pl+9L= z5&jоm[X wOϢ e>) \ s*'X="*DG$Y)ĠN},WZ3׼.h͠X6Jz0QeO/xǢAx\㶁2İGHUC^F&mcjEAΫy5 KB,$k'mn =(?`VPȝ+M"ęgaQj;U`"R[rp0 E8`l8wk|̄qW|pSlA(sew\(,h0zo'K.v)BbZJsa٘E H;##5Kћt΋Hk 4UgrF!Qx!EXR{ iRN2 /1bL|aBnLh$kۙDcʘM6P3S`aX0~AȓKhCb<<# hDŏE.!ģ=$N<];éqԀ nXƑcSK 1bdyO /6u%1ŊyF 1 za1@"}?vߴt}Z ⫑D]T}HK  CRDT*~jJB\u u5IXJ9&lPZ �:z+mMs4)Vs,NNyL [4lQ&?E?8ìp$6c^ljf]|*_wm+N}l?>PQA~u^kIʀ^x?.p0-PA@-'X6][o[Txh??:&oQUH[[V%Y`w!LpJ5J(`HUѫm{J06-P5lhgMOh(B5@)N7AɃr}a}&xyU0i̸!㨙OJ2vvt㰂Rq)0DI/qn1rK[_yd T& {Tmп+w%бM{0-T.2^N@AG}M( d*gYZ7zXZִF! ( l]ŗXi%6wB >~؉dZ$2,1K<.qghx6˺'^SаLs vc3a~`P|aTY>ԍ7P!g oN?Z~/Vj`F@ʉbGJ@J&u3?G@43߆0Do`$*Uosvok9JbE0 0 !r8eQoF>1KĨL|6ʊ)1GHc+yDԠp~RUL.Da"ds'xVD MF霼49O3j.zދA[ _ ^OfPF*ֺч|,- $vP'p0(9=ю-l]ZyEhx:)y/U5ã\ 9ed*HLІMk8 '~GS5^O|dXHgg@y>o)T )L|,0ԇY2Vcui0kON lI%+h3lZW;ԗ} I9rR2~u5B7`W5TQJt;A/|.s~kT!/PeMەI*]]meÑl2`5ZkWXev<9LP 0lY|:2 Bp _`OE S_AKV3zW*ks]`b*2 dSu0 E\?#Ŷv(S)$?TB;>IL95q{\A\_S CT>:f׃5 1uHy`l rmz:W W5wDQNK3)|)W1y9kD24}` >$Eb@lKnyu}?JC#*,`8`y ʺ"pjm rvBk?ry(S􋿚$YAEs"^.mM>e^޼, }q*Yջ)}vm}3+kn:hf&6o|_[$R/S=Eݡ5e=_V4:;n2 ./֛tzzP9uAc#q0Wo,Ik6h+(o&yx6'} ]3,EeЫU =u>AEqF /wTíW^s|&m&SL/tNKFhf^- w?=utֱbZfK%pX;@ Mf3!('۠D2o|2\N] E<əNQLZ,3'x,> ]lHo)_ND~KaH28$Z/o?O”mWs^n|E0HF,tBT >'{"(V%d +Y^})>4 I%.B1?)\EƒB]li<-^^zd>87BIkM1“uR:n${ȥvv$, T+EiaTDS&) `'8  /J2}&eDZM܍py=nL+jUP+ D"׉x|}c,ټX1l< 7SE]^HխĮkni`&=c