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  ' d Y]List-Infinite:threads=2elapsed=25.967cpu=44.436gc=1.944factor=1.717zXZִF! ,]ŗXf1-/6vRZڕ`0 lO"Euog(r׼3ncxT&O΀7EX Swx$fL饌b@UhTzx@sC&7dXnV. n(;1$Mo K1'&?o\3ƓGfemh:8'Bu#%ngkf["SMἭY 7c1]=WnSz'VOi ֣&T;#lFgYZ7zXZִF! X]ŗXi%6s &LE$"iL9ΚW<^@ ɈjFRW+frjt Z c\VWL#}*iƛ˛-PWl@Nf>חi=@ LB3r8^y&lF>^>15i葥ȞCSF5å<[F azXRY2/91ur Q{pr\a4ݔvޅne,Xuwqg4iͷMNQ߻jE Tr~&PLHjSUZh&]s̤mRyNWH#Gc(au<֢&͝,*8(L!)ѢPjWqlAC@ b 8sq#\67ڿq 9 <&]j#ЏGg Pߤտ]b(e w,r` ݁tg˟+iX F569o#Sj=wjY6sthņX:K\J #SrPi/NlUSHAʍ}M-ߙϟ4OiA3|Kəq$Gu8,'H+ D/?KH,ÈҮ`#ŹCRƁ\DUmխpM2s>h֖c%N]š^P$KU鯹6zVNyS##dv$\''iA[oDHI<3r7#n>~L0s 45w4D^fG =6de49 +V'ִ*TEMT8w?o18OùnLAxF-dv"'-5^GSţyuiػM']B<Ψr}$~ %d[1uׅ&ݓ`?FoDy:bBXi=t[: -T4W,M|lKo&(kjv+JYb W,7rv$іGe En´ʱ\?R1El< { GQ l2V]&ZԞ mI>M^=Mr9vߋf?ӝlc@cP9YLF0A0uMO'0@jX:ƩWcT5ײ2I@f9}1j >1%ꚎXuE_`d :E`PJk |p7]ٗ 4|0 Xg8 R¯G+3 LULn:C: YJKnEV١wn7s4hinsxO]͝mc{珱/G{|c|9jNJ D[u9/R*ݮ2= M g$9MoI.ߤ^M'Z!g*\8$ٚU6.gYZ055d4402eb355d20a482ef9514b70e9b35944132 091ef4d89f651303961b69de7d79c1d5e3449215 0e8f185d5c5a37638c3fed8946398a875d552ffc 1403df84282ee21302f7b44d0144e2fb35574d5d 2b8d9192e3645c3f213818f3c18ce41996a62c5d 3f876518738d879265f412bcc571be8ff627facf 449bd0ba17a21fb1b949a92e70477e4053f0cce4 4befa36c0da22d93675a607c9e0943c65fd95aa8 7e422e5b661e52e95cd6b234340a30b39b6dadc4 8742288f8b256afb5cc82dec75065cdc6f100a64 a566efe065e2f6a873df2dcd5781131b6854d35d c82ea78e6d5bed217a395c17afdeeefdd2387717 e17027b69b3855b2e1c5d8f085ea61fedccb40db e6ce948223bb1e19d608415df1d61947751ae584 f3f55c3ee1b3e884c71d5b59127924c7bbbeaa80b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796ed19ebff2bda66faaaa6c617bbdff53e5aef76e1 ' List-Infinite