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 / 4L  POPLmark-deBruijn:threads=2elapsed=24.728cpu=45.640gc=2.592factor=1.857zXZִF! ਊ ]ŗXf1-/6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jfŞ}AB9! w)+U@:'IZ;R儘ỤX3GT MJM8–囉lz_ Z90j / POPLmark-deBruijnH4Tܬ"&ЊlMY/1{ؙv&.fKZG*vOpn< G$ @b>`'8xA%qA@$\cP.mNTvVMOŦx kq\y9 Яy`! Ytf:J/eO,cj-1ںKs5y'Qlk }Kj(+4_n-0<>Uq)7"0B7vG V 8>B)եLf ԍ ;mUphHa\Zuwo+ ʪє~}%kOAJ>'9\7kQ$gh0Tv 2bx_7hv) М)BniUY/Cxq\Eܢ>3v-AC m /s.P"\V2 %)noE; %2(6p}tμZ?hD}ZvkLS : k0&>.8<!atv.!\ 6Iބ!hyv5$YhFOW#+.i ԜEup 5a!-7TcOНZBIV2dtcAͦ]K;i]hM2Mqͪ%5Q ~  ZQS68GwCt۲r|r ]4Rɡ[Pu04bB6yRzLfN{xS%6r-EסE9 ([QݔdlP]tU|jGlqܹWB_u'7O?6MaPaƖgzv^l<.є,Fy{:K'~nvGM Cnw﫟T粽_¤{Xi:UU2 cz!{ȼL2}c|n}oorKmѬ$` B4֌t Y8}-'vV Z!EX.y\W9.XiTW}nAQ>  eMڦs^STX503t5T.\|rDVĒ8Wm# #d $Ejڍ#\i{ph]]\%Ao:9\KmIU% Hu.A 9?KR#yKz[ʯS-unrVF0הxXĄt2Nr#[?50M&v7OYw.ǷJmk''jU5UMLoU!đ>yܶ2ֺ{ ,TJqR6|81M7#|]>p, cM/I pJe^11j|J*xNBݪBީj9wC9 b;-D<E'LJz&r xk<_F !F 뤼w񔰃_|+r9Tk<:Ww,Vhh!4%6θd DD-hyg"BUwnҗu(v7gW2kbӧӀrQHj*tbڶv\r>C{#y2٭Ҟr&%nLW ^\jD- Ü%5R֥MƒF"IvbWtJWu +%bT"g3$*u?Gtacti}u~zڍۀ c!p/ɲZG,%`4bŬ1;C`zggq~!?]pHG/ɾawy PM3/wo xew4J5 !z,7D4>Z=%aG?J;iF5""= i7lu_-d&3 SJ]Y3Ց=/ [BqYcsGb֝Z `ׯ&Z?lPML*M{L1fwKZC޷Ks̖+XY%K^n㦶gYZ7zXZִF! 8]ŗXi%< 4{\(&TrH1m?~״Uӧ!3>^ Ee^Qϡd%9]*U;G<s? Yv>Rt,"1pp-x #xG32Nc8$]ai@iѢJcV$eoEBn܃!kg/QI&x@8;o8HɉQ!G2̯vǑ"@Z4(?S ]F *s6y\t7Krr,o<}oCj!\8|יkg>ݲO,m)[N LfP|,juJ~UJ2d]FnE ,H|^Fʹ¤[RٽtvjITQCΩIgd]>=ٯnEЎ"k-Ȯ4UѕA-J c&s}Jt!8~3oR:(u8ڲ h4|++ihkMб,4'/ݞXnXPB@D-{_t2QqJ^嫵CRsFw3[ZqH3-&>/sYSyW\c[!jK4'I;+@ A6ޚ!S5M;Muʠa'g酞:*CN?l}nEhu-T"&|5' X}rvRYH'_vLŊnw`GW+UPi6HZr2B2ؐwĖԭnq&܅TqN Hn$>XTw(:T6%mr)|=ΩsuvS)-p /rQz+VKJFJ׹GQ`e"써Cc,l6Fj( pȶW y,zK`-_s\GkŐ h%]6( HY8-dK [Ŋ/x؈&9~iAy0`1bi%PU>5֡7G|ki `7v/gG=%و i@^0&߆(/'8Qxmn8C@DB-W2~l"psxRBXier%ꕳiU~ւ R j㌘eYn'{ +3'1!o|U%Su{+Q`&eg:isIJ!~1kke,HX{fp q$NĆRub"W+ⳄGRiVN7 g ̅j'j DIgYZ171de2e8e04c619b8ebf4a5ecf68c39870853763 20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d b4855cb804f992d2d2901784c628e661458ae39a e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea01079878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5b529b8696e26d1affe58331545ef5efdf5192d0