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 rrk l c PCF:threads=2elapsed=46.748cpu=90.504gc=2.592factor=1.947zXZִF! A]ŗXf1-/6vR[1Iq@>=s(qKgr'E_H->mM Dz'5 FxS^ n{cDƔ̿3;,\jn]~/YχG7OIeTJŠ8MT(L{JY>gWEws뱧 C.WU kuKXjg*;."71Xh(.%4 ] bcTKVJg"ޘ KYc[!9Q{ \0lh<@ʭ!QF#!*h"J'om:H,jQOpPJ3*̑5 =f+JB!3Fbrҗ9Q)h U _³Hko= )<~cθnqRn(`d-AZ_"4-X{޶+2U!A[}3b0ݒm߶>/'y0o crz\=XDZ:C.\abch ![S ͹aSc~ʡ8W76}o]u d Cg_X *:#Lo x[k{/a>^Rr‡_$6gQw(!d_븙M.}h\Q}af= 􎜎M`M3kTs3QgtZ`lK[ .P! PW5fנ(j5H$L|Iu݁B?xf6c\#UWSMAi"O 0}lW.'U N:MÍ XsgI0@+'p3eLċj_~p[ jrgz0a{a]JJGE,.7n'p 8b"dfSv#J}:?AVOTMOiRe+ANӀuj%g*;VQ?UG7gAa,L]lq]?YgZC׍ҴיL%|sM#=Qa (q"U!Q~?FsaG4dh?G,`@ͮarr$g{6J K{߷2¸bT)ՊͯڕOABdZIZ+"7$]@O8 ]S0[ _n3`}lva q^-\ m2ٜ$RYKd +L$4ǎ=僗pW8{Ц.=nJˉXce_Gʗ\$3O_Ƴ#dcE9L[_{gO\%9%(_炒i<Q|E_Ub{vH;֦ 2xvWr7Nw?霑nu[tK ?4Upj8!6-L 󦆲Lڣ|&ry&O86.%هH[$>ʺTT7&z-D(nr 1bfզ9mbIK \<2zăpٶCJ[g°"wycRې5)VC5!h@W9`b9Zpϛ QlmHxѐݪke&OKB3N G阌rRXrHs|K0N8C+gca32ű r?a7Y)T>wt.s^.xEV"!yL>`-n n^$W>肐<`J(ni$Ct1?_O-ROۧxH++1d)PQ&f(;+&ZE ;|z\KykzDO`XjrbZ\`_wx/y͇;K1]iS⁀W(0.T@ 8l(ٿKoRB+Mw5h>N 0g7D*/{)laDf_u-l }%EV:2.7sI6cUdƿDCB 0H&ԵU&-~XuWCuHI#Kn* e"0yԻ!sR!O95Umʏ7ڮF4-@gSDroNWOٳ 4NFdc;\0Ko3lXS{Jo=VEJ+[MR,p970݈a j٨u'C4)R D:#&i GJ# *ϊQAѦf"6 TxNGPL?G'K<ɃhOKߏQlJ+0p›#*4H:'66DP0гĸ/AiX\M-KEa`^XaW 'Lk5ŗ^կgtʹnMA9۬XEEg29 g QqT +)Bzy7&;%o,'t]]Gy9_H дhugYZ7zXZִF! ]ŗXi% Orـ8ꄏvd pe?t񈏊5"5IBrFWmW1uW`+´IE8>RG19G/dCh/Bk>/z6 `a婐wpi)pP!vٴ)͘0ԙ틗¨tt #=Ε䂸pd?^,P4 @LDVK'^Ge$',]dR!1ܼ!I$cIvU$*=yï9$_+@V=j;so^l& iLQBPKN&yp)9?=$ n0n;KNp_\ 6faj-_FWcKw{sFZnWv]:n\Ҷv%IJ@Un 1} pH4X4X &CL,kT}aGiG"guۘpDz}f -rMtM+m,w- Uf NF2 qݬ$0̓%*){电+ 09 P71ESTE>#;ס.=- 5@G&;<wpy+pb(`ȑDոHN5}SGiv8q#ߢAsWK߶(ߙmZN dr0+0#ʐKE3@[PAy%&nhDz &{щw:Q1JQt%Eg}Wz+q"?Ӿ2p Ky\ K&dy!7И2 T2~P>8[9% S(?j;&oGڴ Y'^Iau&(zuvʏSm=^,9I шWDAO+iٌ [;ǚ͇nUƵ9׹y3)-e9'C{ׯhGFoeԣ`/nX3،!]C8g,.]rlPiyMzb:QR^a}A%@36Vt7IB ¤I@E$8Gp1jZܠ2-Ye& ~1ԅ,vCĩ5򊥚x9hl.]{`CɴT4N''x2c5ORmW*/P;Qb I R> rTA% DG-k 3 ,3|]GƋI.4[UpV#=\toSGkBEǁ { NK. (GxgkioFg&T*W>YM_{C,\`xOi"(\Y8;)|p"U⿐K f%^N> $}Aw~£"aRfOve.0|Ó}$ٸűs[>tuN$\*zhEkET V מ0R-a/j~M'%7*_ ԗmSJQu=t7&QϦ"IE)N+X8h kUg 5j4&\ %N0;4-}5:,sD`>5^MMwwD+ )*ŰN~8 /5FF]?*KFJNHI81]N},jAE^Q09&rˈ_^6\I ?+m[&K20c_iULbG=#) p&0Zc#ن|<7I=~Ô5+;nU,xI(1־B\,e*f7-%c,r$͎R^qk