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  \L$t ] HOL-IMP:threads=6elapsed=65.059cpu=274.684gc=18.376factor=4.227zXZִF! r ]ŗXf1-q恈gryuPdX8RL/r+4"DGP{EBF$G =h|,Xc5+kiҏ ]gpq)׳>OpYI©Hӽ::TN'T/Ş M`)y'ٞ ?M %W! M" #.c\+Pu܊ sվډuz{7 H/DX0u(Oc[ˋ0C`ڑhq0n238Vƽ|[n.x_6>t bOe@aS'9볉+8t3 l *٥1,| I%l6ϋy C=d0YZI ?ӀђÎ cl?4w;zדU2%%0,Nnivur7 prj{aܰ>40+6<`m"@+ˢ+3݀mR3C }YOFdq#2;M)ZX(K{!_ pg*fǁ‚gv&OO{l-T/ӹI]JW{:sm|4١}ĝ}yQ&%)4X&+gA^/MDsL8yI[ y;&t^7U]#bX$ n=C4|FJgp%J^ ܞNts񮽮̺3T mr 7_!rfcPmygΤ397 e_Vl[qHS^1`5 IʠKIjEA,&qi62_1fe/CQfC-K&;9L -?>@F ő9UV T[W<  g̋Z9p+FJ!gbdECmμ~ߏB g^~2ʔo>54|~wx{`lh8ZK qs4&! '0-M%S8L&Ι6eY~O ~ V&.{bQ^ɬq([G%xaaKY#V7BL[׶* /cܬ؏G4Kb'qXG <(!onS鮬)${4C a~݀Eo;ɤ5}6^D@%yZVL6:%,?HSeXEsoyan1^\f58zসu \]#b|{vr+`yVF)z1$c5ҥ\ 8F̓JI\ JytP*R7 Q֏{hƔѰ!.>,Ԉi|oEcqA:. p&Ǖ]:,ز!8[ET`2 A]@$L:Lo36j~t,]Z`}@De/Qa!\.ŷ^2S8ӫ7c,>teZqFex?'pJDtm$@MvLVTv!bDhi,oKw(oPixɉ=~z*;l-?)429RM ւ-Nv4 "ʢ!/ ~IYnYyg뿼.UR?ŽX߽CYiQ,n|$E4lez(wϤRM˯w-/Z:_FQ%RϤLLaXrl0R(G෼ FP 0sٟ~GsCHiDVjVgm3S'@L#\a.dYm{*v;: u3__­kX|q؟LѻŜ-lie .: os.#f'd O|~eDG/vTv)R.,r!5"q+}]_7 GU̕bVJKRP"KtǎR/ك7V~e^sjkڻ V.1+7H7&f6n^[gâ|BYّh؞"` d$Gx{G)!v5q/^d^;(6Z2M aŵC)PZ[ qXu:tj֜sKVNDVncyJC~oRegf2ٱ ߢRTEɽ#@ЛIхϪܱgw>E.ԙUyْ+8zw~/{>B$BW@ChmI`y~*IE[DѾ2zyK7?+')Uza.͠vvX5Er6KJ%TnA A{q1'* VlՍbk?ysk~YZ2T5(?c4.߄#l:^N:)хNrۣ,ݛqrz=YP(X1bqJ ֭Q&F,qM\?] !OZz.NTE\j,ۺU*a6=\bhԂ˦<T qxBtuR2P6=1~3 +:^S 6qngLUi,%Wu@vVnDus20c.8Ay .QY9rӭ&49$1PPL8 rvH-gi/MFw#d:|:҇+q/ܙ@hlGdnI(s =>BIk@euho2vr6mI\M۹D\|-ʴ_ָql?)&>!ȌQ]Z6L'gO ԝgؒeg&ǵLT]h2<]T@X\}zVXMFK@cJdX\!r)u"g—EbE퉲gu37բpy JC&ZΥJ#}/fFE m]Uqyi 𞌧 QR7J:p{AY!u*@QnE,t+SK?g t8W!*h㿖",`èpb2rzܗJɵb #VB>Ǎ Bwہ v㥔jG 0<܁QTR +*Y?04lk E(N'[ {{y1ȸGI^]4N.~Csǝ4_ڵwFoWT4!q &Q2Cgc,J- J^1gP3̱(Ѕvadس|_.ҏܮVy+iUEh-g(4[y=TI\V8TL3/W .ů5"`ܿO<({ZL-5c'CRoMJ~#xBM ^}Μ5 2W&P~J{lz-|1ָKi\aA{*b`\xSZ9μsv^J1K:PQ0fGuqq2 JAy[&e!Yds|sDvcr'ć5wR,+Ie\4JqT286c= BB[]LX ԴГ HNQhe=>H7̭. !zlz PiGXO3q /Fvط M))o=m@duTO$&Ƴ'TVX-4R9imu1d_;7 U4Gj 8ETި9