SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 6) L, m/]Codegen_Basics:threads=2elapsed=52.343cpu=90.312gc=3.244factor=1.737zXZִF! ]ŗXf1-q恈͐7ӺV 1VbkEڄvJjb:SiN35}~_`+(SVM:}j0uHRCV'Hq+ !Z~25`!RS},V:$UQDm>2Lpe)oi:l܅ *6pY ~C1f1={O: 7 5 XӒjZ' C%@nY9.jeyߍF=iM>Dm PtTƽE춽_nx{h4MH_\DYbPt΢k zZP؈HºQ ך&:k4 4Őaq.ok4~AYS[Sw4ji&Q5;KfVT ,9K4pyc1aՂ00У(dgDݻ^@]-iBuBL{tT/T,?x:R0I*f* }+#7qZ{(r~]@)E3rh|)~Aky>`X@T~~i}%zZwXvX# +)(;9ʒ;'tM1yz0zwdzi7'_-L(7anjmXoS PYb醶A<4ucR- ]iĞ-F'vyjLүBWmu[k݆0Vp5gctrF CD27{%SsDIl ~pX L/ hOVzƣwp^O?д}䡕 y,gn役Gm\w dAt_d.;r_U-'RA+rB 0h|ŒS$,6~*R ~fK:MoNMjx*0@R}m0QԙT.ZF"F%Ag@lK'u7zs.,aB2CWX%X9 1z[rˣK:7pؿnH|N/<\vKO@G*&h ! O]@eu]{A#`UGSMBj/b 9Ai D53SMEC^h 5Ovm``b|"cٽsRN6ιg1p˳?8&k`dNկ<+Ʃ JtpwS1lZ/j/:f wנ] <.q oN,yNC\P!8]E; y]񵼜;pC<˘#R(dĉϳg3 xgɅSYa*.̷.^lkir/՘4\kmF]7~gY) 42]S["p֩Kt~Q.e`YU`'*Wmt+ܾ񚱚M10h(C$mr'D R sDWwbJlzAHXo>琕NgJWe1o`.%<Ӯ.z9IetƔ%&d?mqlٔ((AXh>L}SB5 -ѱ&ǫg lKZZ"`躔L5(mr"Z#|Jq Ȅji >D٦k?mUɖ<)bq)/3zhcƏhN16^{-%lq;GpW富EW1TS}WbF6xxkL>:]tp*uBdL{d~ZAS_kpadDd&:#×"fӫ1=H?4Di1'n0b%"X+([FCAwKnB!ޫٺiP 4~2 &?^ŃR_\iw&_ A.OsRF(KΡk8̫$*1iM#nW߅c?˱LB{W $Or("d8LUx9GK]dF |a4*d}vˑ >8 s&بQ},JbGx 8g% kD> Nז1U)H~u;J}˚qxzw)tGKQ}i+ ƦtNF0 1* ١? JJ_pw:Xo([=RE FκhY p\Ш#ZD [P$2pWWZJr5g\-vс^ÜUAPw7z?]4Կ-[&ts +5x6J+zu-4Rg㡖BR~ \xN#/оߵ&W@hs5Ӡi4o줎8V{?gaOh.a]`\+ Y)\ۦ3V8G"i?E6@+QllPjNSo=kítq.ޔ+zZ(R XSu+!urmEh,NgT[0_m*bKa쫣#/cTߞu-fjwUY|_V܅'> G{r&,ŋs41aBJ!jq_(<Њ4.,21^cv\K0^dGQ )Q7^]%L]jHdS.-쒢tɩpY3ZD hUsr'X X1a'_ni$? #f[1oS_J'6Pf]e%(",C Կi[ӟT /kX5Be6Oe|h$NI>J7 [o[ oYh wgK!>fMiȢ`K\5|JHP0ATFyFC~ J/,F⯫o[BE}2'T*:g5@.'Gm<2G}!ap9l (QGJayt°|uD qVF9Ev,َ ȚdkhM,[tHs\7648AlAGrq$fv^#fU} \ c@PL@8Fv]Z*K$ܕj|/m ;jn>4tTIiH\H6fЯ/8?mUN,}2m~m8{əG>1k*82B6:b~Aվ$Ton-FT9Y1#3yoih;Lk,6i#`ҧNz+ UuwTN*mTfQ|MqhߍB$z_ `7QG@_W #mux8҈OuN T@1xF|&o{АDV9£1t'kՋ` pLrA~t:t"z; Lɹ5I; kX,1{ܰw&`e<4  nJ+(qDB<$?!XP8\үFLvD@W >Z S@)Ɯ'/Bu.;׾%+?'>aG4# N" 7$fQN&Vorq\sS,'5wIb;A87^#z:/]'yIl377DAmz(`Acw+ce{X;)`M㷩דdNѾ짳[i  ^'K:a|U"RyH}n-85aI:m /9 A:w/gޟ-d?䐮Xʄ;i0ޕ ʰ΅F6(X44L'`ߵBKlLށb;&nޣ Vʉ*9Pc5gA+>؆lU !}abq~GiJX)Inlޯ˽bpМ<,RљZV<;UMGx6#N^PGzjF=3+k'eIյa AZ.d 8x>!ѥ(mZ0PDf~[@ڴ= `bH%j6jO7x9,k%0 3uh Mڏ\9 ȌL|-Փ9.N-B6{~SD1c~s!1^!d& K:ٴ3*FRyoCJ7M(.J+#n\UO@N1n hs;ȧ^"ga2cv3{B]r`B~+⡗/V7'+\xL'o|%l|yfP%ixr9zkgf̹,!]ܨL,-dz1;Ku[HWr-k&S5(yD@q"&<Ɩ0'w'E{ a,[i[Eڍ6,N6@T%D|oیD-,1"uCan0ӗ (ʐjkyTA,{2~3(Bݾ@pU) '4ǿ3uOY{J YcQ<ىPRn nJ3ZРnD;bF%{5_z2a0,^\*ی? 'qLlhиqp-WIQ\LSQ]vkǽ"W3n BUXPKΛu\ T*-J-1z./A-.U$Fĵ&+ۼH +ސAǞɜD?17=fs-hapdd{h;