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 CC |4 _/ Datatypes:threads=2elapsed=56.573cpu=90.188gc=6.572factor=1.597zXZִF! q ]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^ fNiWm@0=#Z$}vڷK5/o/AvꡊiT/zGSP AeP*aw x25L9y5 cO: cׁTof|SV4 Ak޹1e֧np k'HW2q6tWB7Wo@a1 &ۢجBxs=ɱ[y?0m| 2*Ŏ txkE]w6>E>*Y`/_ 3%d~&}*`b&{lnCh5,c \ m"wdeyy֗I5`MR2(;T]w-oVLF= xAMzrOH 8QԎ_ 8R?ä]í3 *w闢ߜ](s mFG&j!p]N\ѕ~Hӓ$8(vp㴲=YD$1 s'\ |ELkBX.g8x(N'lD Шi^#`Wpnl3Kw2U(v88\Oq M+_0%Ke5:,h@MK ht(?)xҏ|lqwQ(n [E%f7ّ]pbەS5 f">~MDC]9I:M WoI?-^];\K`an9ĸz UM %7dᑸVGuMgĊL51iq{%jz_*O˓ #L-Lr>ʒ4C7EFG'C6;P1 ^$]E ;} m=t[^2n7L#+`ЃX"ƻrO:/]-{n~BaK증#!B"$0E%T*ܦ 3_DGW.:,LW8|U6mċ:WgnZXfj) .Q~]>Z%ܹ*抌돕\L:(\tw(z7nsv_ыUQ|eN)*l l_sxsqDtL>Jha}okcu=X/5${gcSY"PyKrħZIP4䏭1):mM:3kA|t7韠 !ehK9qܿM>Xh4$4AZ)%&x3,z= 8pmͩgYZ7zXZִF!  R]ŗXi%BՊ4SQ7]XQyV~ywI w|{L4/y0,]מnPtCQjTtÛ'A m3W7s8Ő @&gEhGzF\` V劌k@}b dP`ZzQ5g:Lc [j2 tE3j7&4N4ޢP;KEń 6ឞᣈS-umH`B$6eIKCM9ιk|tI&huoU"?iX?wʰT!(=qoV9ھb+7wvxQs9]nW,T "kodF_uFXG 2U=(TY'R1}3ƧƙT*` 6BpPA6}5 WfUl ǭzw:-l(`5>GtVοz5umǵ߄B)uhfM/y~ҝĬI:OƘX}>>gg@-`Y '^oevoք ɘ@w=ƢGoYD:v?'zF+T1!;eeo9 zp)VOu5U6gد!mq0''c<Η(Q1/}ʖȘٳ᥷e-[I5hBQg,Lh,Bs/6jzYyBK[΄6#0ڹ_BnJT*˜rHS5zL(8@S1UK/HTj7#ya`8Przxʕ# ҼK!z.H9vArsƳ; 裸ћ}*sP12o7Yې!G\AX`+!Ⲯ++H_^?,tc9zSsj. ]yLﳾl0Ż|lǭ N:ٝma복#YS Y*>,MkRɎz6\qƈ-sں03|ԲؐJ,sŘys|ud">X@Ƅ}ۮt$3~,dmC7y>v%B3^si3W"[F蟆aMn՝|~|n̾r_>נ<ѩQ~7޷|g.k]U)yF|H# ,h' \Hk?zYC u`Y6V|Õ6Cna) 6JaNe)%hq@@;RPrL?\!7k ]g<}BgIB㕜{W( 8 }yL !sI=ǛvW3PDѮ<} ?a`&wE0W$2k^B~M7J&` )=G>n1.;濋e\oդ=7 =ͬ5tk\!DqM,0$Qs)M? w tOPvsS!eYjN$v:G6 g2 _=6\"o\x|Nd{N<)3v|rp8;b12{*B .{s E5}T9R>p(ށU\4=EG}yRL̇^nO{IdE#dՌq']5kp]\ab25f9@p9g.anh)=̋Q  #YjץVd.BNIGa!bN" +Dp,-Mu?"†dWyJ"%uKW[|Sڡ3hX@8g.Dq 蹞UZhI?eNdqSO‹sN*Slv@ߪ;YYX;(!3a.[s$\2q3)`:BXɚ|IM(@Wտd/$&D PiPV:vO;@%9-i$:tk\QZ`j-p/R+{P0I[z?Q2osJRʚ/&5?`3.C^|ψW,J_A}`X)K]ݧ&MQd!bvXPsŅ KGߗ;YVI^[, 2QH|Z%V q@F{ iЁtސuQj\M/2HkrgYZ007664efb3738ca409342bcbf25b57d436593bcf 0a1c04aa85a9a243094e40fc947bf06eb5295a79 0c9469e4651698f44e3e228873be074985fc67b7 12801e8ee833371d95b3f173da5f7ac95c1d057c 28c08dbf29388b3a2809b4bab0c7bd85598f65a8 36545764fd444e531db13bf1c0f3ea261fccf9dc 41388104a4a5efe93e14149d743a56e1da702723 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 5117119a178eac69d137fb85243808da2d667eaf 5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd 74bc78eacfba501cc4e5ce2cfea50268ed7907e4 8f194db846e67a7e87b25a27fa8ba1259c4af82d 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a438efea6288f9f4f15f7d643bb504a34d38c343 a634d2977750efd14daaf8018feb1fdee3310b68 b549213b2aef49e3da5304ab78395d90a826e17d c57202b4ffe9ff1ecbad147d413f3de8e9e5d302 c9a7834754ca020e75afb9d98e309c88e75bfb0a cc208ed3a7c8d606faf4ae986d288f99b98dfcde d7d6ac5a68cd81a8e80b54128cf50638a91014f2 da1567c528c0591b76c11bbf612dc90f71ec564d e98d989b0d56b347c6ee1a9d61645ae944ef72e3 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fd2b02dded527fdedfb330e24b0df02361aff2bb014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa