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 J7 4 / WHATandWHERE_Security:threads=2elapsed=48.407cpu=93.708gc=2.968factor=1.947zXZִF! ]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL= (E)x.x:XH cct81 ЉleKsq&>u/Q: }4|oE.Ryg5NqO21}ZšgU`+NEz/ˋtFp12*W;>R@+" W~S?3@Tm,Ƒ^uX[66 ס#+R~ulT)23&L=Ʀb 7 WHATandWHERE_SecurityZnVȿݘufi+fݐ02!̼ayɯuzKn&TG !Y]]ǐl3/9]]{g,h6je h}V<W\w  \[08&ֳ=J M^ZuV]_׾/ڭ ۈ' <l%6*>32Q~#A< ]/։߄H|1Qp/B.ߘ˻29q-7C |hh44cfi)MzAO_o=GFJh,+A]* vگЯ TճocUOo&L=VL^Wے'N]N캐*d*&4\t)9|RZAWx]01bsSKg`c+rE34Ea!%m<\N)* 0/(<Œt} |=^c5! 稦;"`?_% Iyc-o?ݪȰ }@ZK}Pr!Q!TqrۙuuL+\gu"ׅK{BI)9t}ـ+IJH$ZCv7 >G18Q|[},wfIZ9%Lr@)Vu<#Pvz{f 웮 UOuN~5a_5O0Mh]ݘĩ.S_{Z淂/Θ~J2P+qkHp`T!\ZHmM^_@$nW]` = sL 8O(##ǂMV홛R)n){c\5?pۄljC)>WvԾ\O$zರzmxґ ř t?yTM߀^0V,l4`i5p3l/fG> ~+UZ`B@-"؜Q],+:0_8.N YC&ys Pry|~Zq!🮤ܙ? ur1uzBYG|3ct6H&%h:ͷ1ePvؓ4۱DKc9s*HkJ/)=2%]{_l;% P| lNuC8P&^c0}q j-slΨa=`X5YXg"HC/RTQ-pWGS=B#]tq@n>G}_s)0iDvt (lnrI7d+7~HC<_sr#@}̏ZH@r-v^Yu$XE݋,&ԉ+/I$N c6ǒjB$L%+ϯɡbF ,*-Ǹ4]V橲AWB|'/e3O)Sw;3l06"-(ߚI #uaඤK=DԺ|h5+TD^NE%v?VϪ,d}85e\'I;3OEkf їu 畱gYZ7zXZִF! ]ŗXi%DQ[NT!L܇FM" yN 8"TyZRa3 0ܖzKP"p@|-+;SؚR]irߔ$̾w鸙WWק!@Cq뒖4y XzC5aR**s;肄O| ŝe¨_ȻPk͈u߾tK#ph }y3'{ḭ"K>¹L(%toKyi6):Ȣ:Bu V)cUwg¤j ^vx'OB&#I\I)D@(R["K-XWJ0BHy1A"42O m#!&g1ӧ pn)3SSfS/.z5.O(CqNgT!Aqm?h>$P_{=Oᎆw1 5'6!Qd2GS4  Ps~G@N8{&ӵSok˛o~< VY zO6x[[H툊D]ܝ I9{(}*=?"pE\cz D Ukw|TV* .bAvl!؏TUf2+ЀU%ݚJUAŁt5ǹlMٝz3 oG_"&=Ʀѝ./ 9+@vp>,*vp Ft` ͱnLP)[WPI8v9 RBZE/ecs*W/mI;μ͐dت ʯSTe0Z5?9=MB Ni:,cy %$,ƪ]&dر94 TJ.0FiJQPFZbO|_H9@˴dc 2瑛O+*E"IGXO3ɬOn .wL/P?I1Aom*Jm,\\ǃVN4kM& x?@PjsC&% IDr_">i7視Bl'҉.Q vvEaA3zhT~#[r1'])_h|^gQaC`lWz͙7g֒E) 3}LEW}=Trן@2#mblg{*N;č⧛a,ϿYA`K}1B:vRJ jP -h?Ria _0^=(4 ! j l_j"ƭ@ o\ᑍ/ˍ׉Bnb֝q[A&:elrr/t<֓ә [Jb?=ǢRF%aYe`ÓoEc4o6!ƅd8NJJJm|BeicjY/ g0EblcDk΂Sjwl;5%R}AR4 yNs9Tt WcRFU iLh 1s&ECy~)ߞQpPyvh|