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 &1 L l ]S]Nat-Interval-Logic:threads=2elapsed=42.920cpu=59.084gc=1.568factor=1.387zXZִF! -O_]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_<=QJ Dz5ʛyO&e%A5:NR:=BC4'eVtx<0TNSğ4*tPH"0J*! ̦O2VEBDXғ jak U0ZfW'$<^1-gƦj{q2Ae2N)>Z|(s-9I/m9r!ޢ6)=;ܟ wR.`<@|0KrfO93&3[lS:0җt݆Brzv#DmK qERa_C9Y`_Ms>@*ؒ\-FA݀fVJ}DrfgzTDN3\yfYv .]ZYX岞B +Jl/8PdNLN LRNz靀|7O? nآsdyտ(8kO7+E8[ʣ򍡕&@9q:$X0{"|}#~:hU"v9 Y*չ.9E4=T`|; s#En#@|ZX?tgYZ7zXZִF!  ~]ŗXiɟĊ:4OHsS9?2N&JOQ5cTW*@dv%{ļ-{gYZ7zXZִF!  0]ŗXi%933 X"5DaRTkv)K3 ].j 8FB dĹ5oUʞ]\9OF8]_O^XO {6g5h8D$+<ϲJrf:%> f_;AWj\7rLlۍkpAĝ]Y(NښtK"sdA -qMVB%#pDEyYT ܘGQy!(DX C3#1^M-v`&CTCVsG0j)%M}0<9ĐHǺ[6LGb7: 'ZyBZ9?5cxEQ_Si/ds-*Q=HHU󠻟{n0鎃O) l"/C8ֿd|.(mܶb H%屆s˱1צ :j#u{Yz/ nh_D9@$h v˷M"t޿<:߽]te k(|t2P =82pOc):zr^!CNjը46gN?,s^|e #?ǵ{U_y#>l⹦W53A){x8e[gM?3X?@v5 hf"hj§r}Ɍ8͌o`!^r4h /*oX?(LLH~q۴3BzؕqPxPM`&!FCcN$`(>_7NPNvrpr{uIf`Yt6`#unh Bڳ_cR?<nR?prv-_hvg)g?7BLndЋMQEh[+{wQJ)L,J =G9 G =ꆴĹބ.3Z:T!@0C:yކu|p/ր{EeoCpê ?0Y\!ozoVT92f; {|j?ڀ]h$ƖXeub40YXɕ$61׳bquE vGH}#.ǘ/L}'@Q(tD]N^NM@aIqt&ŪKF3n4I r|"J+o 9khBs\gt! Cj*_L/SQE7ےil* y;,CcgHH́( ;7F03|CkBsURWBùõ }X%F<ɂ NE!*Vo*fkFbǛD9\;5d"eK] /GJQ},4 E@PC$'M b9f鑃{O#EDNB_6hlł>Xt@OjMw/OƖ: ȼW7F> !qb'ÿ%(b7wz޽Umݢ,a|Wt(7HeUܓ49ӘmD~)Ƃu t isa,ovrLMIw'KhpYu1շ1sRΑ¶? a@t3ȾnsRmhId2{m!ْ?gkʼn@W^{bO{\drw|w/ly=JeHS5Z#/ t3VeLiBtg t[ @9?&8#{"-+D r鈙%b̄ ()uϸƋ!.3y݅Z@t7L'J4uK \`1jLDG9S_ R nmCOk`V\XMљcwFHQVZ;ۗ5d ۬S:td(|$7t!ӶsX)؆rs^cE"_ہRCwya'T,`Jz P 0RBzʹ]WCũWޱiSugYZ198777206dbdb903796dac3cd538a37b50887d24a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 9cb44d75d547e0248be423d8e466d4207db0f5df184e0cc21c554c80aecfe4640318128e212f4232 1 Nat-Interval-Logic