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 - | c Lambda_Free_RPOs:threads=2elapsed=19.755cpu=36.092gc=1.412factor=1.837zXZִF! <]ŗXf1-q恈<-¡$johkX2I)􈔱Pf-@\֯)sۆae#.bEIwcN8lEI,䦮K Θ{RwMo`GFqci #atBPZ=CT}^Ȳ :>t$MTP|awa4Qi,#źUˎ dZd Ģ` =;:N^WYԒJU!~.3_LzP4bFF voˮL)~TrT\^åP:N9g8$M>4j5u+]o&L4bMhaTccv6UR]!ZigzFψpqǨ >`!@OroZϽ K" > z;Gn~YM'p7L~j1lqu;ƼԬGy^ʬ|QFMp>6vR6xx|UIA1Bʲ8{ `Rav'4ŭGt2*K"Clкb]?y ]:ykT!4,P8KbCV0%UgYZ7zXZִF! i]ŗXi%6y4vsR|wW ,U'#g'|}d^^p{.|"Bh2Sebd&O5p^y׏-~Q~е5AWnX;8^u?ڏ^2 k)G<~S+'b,`%- cp;Nctz/L:*&Rb*9:+\gK^#=MO)S6ozcU혌qt?!*bY~Lbu1pJI؆>h/D_"Ar tеQQb$,e)K`3'hULKS+2%M!iA y*461ɛcڒ)UE,O,fE}e\&htyQ4J BQ:0<{R9 x~=: 6nT2Q82N+ ÄYlnVW}߫ ܳdi+6=st~nvm.:lXthoί!=9F|k KxS%Fȣ`QlVꨥ{>2鸿M6;}*n vmG U3G$z^4N2]3 7K*斊B;!pwJŕ=17wJs8.|6#[ԯbLaYצO,LPf/Tb"H|FFnr5N ]HIخGnr ?mі`!Vz`DMM%]kkѩ3g'K0o~/Vb]`4s0-us SC,bg1 ^񫅡 #oQ5.sT%1[<'BIZ6:9go]D$;`S sDoM2ۓUND(|\0z'@Mآ/Wxy pkGN c dR "nӞ + faQLaҦFU$+CTBk~u73sΉkWػVqj; Ik%>CTir&wGɞ b-V5 NGxtA㦌4^o[2\"%FiSj 6AgYZ147ef2da4898fd7abebef0d9c6fa4e69cfbbe650 1510cfe471334e7a74320669945e2a75245721df 1fdbedad69e7304f0c14df92e53f8429c47faaa3 20fcb830b82ca4396c7e8704f97b2c4ef8fe6d2b 47b7a5fe12e0a6da3789fac4e79561006dcbd253 577af747421743018e6d9c79fbcbec9a1ff2305e 5f5e53ac73873d20e2adbf647127b736406425b2 73ba0ed3ea2540211a0a25d3a33ba20c0b635cce 73c669b52ed7f24685c6fd2706ca64b83cdbb042 b6973840ec5c79bd127f8e42932f3ad3309018bc d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a - Lambda_Free_RPOs