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 JQ tT m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.344cpu=22.804gc=0.728facto %Q CryptoBasedCompositionalPropertiesr=1.717zXZִF! QL1]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"R{i./%C{]̯(;k,H% Z;fax2s- Ίfܑ Ar H{I"Ԓ'/Gn;4ADDr9nP:щ>z`;MEbmkrR(#uBh՝e SMX_7ݓ7KOTC?4̈́Lhe$X Px!Tj/\Y(ۧ?%G0nٞwIZL7\B.ꣂ%a*R>)qv|ӭbAolQޯVWV3Kp;dMϯƷz'm*  ZMr~H[6燩)%ynFdH<-o'U[CF{qǒ)%Ŭ:Fn!1:׫ [7X7|f4GͻL]EADLa5Mz#+mR!҃œ#篎&7j#c`6j~7w/,L3zu]VG:'#wG2#X|&TLMߦ#?ȿtȡt?dH$( 6VH5`{kU7 &~ 5=,Ki4]`lc*ONUB&+^dq&ݙb&re.?""U7]s)? DƫyOzqMs;t7͗M<)G9y!pjO`s?M_UdQrWjBKR :T%=٪K`'P>L2!:3+$x`ăߩ9J !̓("mN u8snDPP>nqق+ ͢OScgYZ7zXZִF! Ha]ŗXi%0cE莼G^a윏 XqƉ3 -N`Zqy`Zyl^s4ЗI.4 4\0LS\.Hނ:Bpo:v$sKQ&^T7BzqM8g֓"k~O'bYչ`&sV=N}ziߢ=jB= ,Wąf7,<DBqU`iVoշ vp|m,bQ@b=Ah0BЩGސk se_3k4s)#|A?eGnQdþ@8i|} =ӂ$qۧ-0ΫދMSLRRg k阕$%xtWcbE+3ƞ̀6nPTuuDyޯTR$Bbs0%2=ֹs2bƒ7:)AxQOɷ;G{DThF2j7AN$8/M?%c FsSf_]/iYU5OCN~z0z| As:\{W aJA%$lDoӔ~)7<,~gbz}$Q T>tIPն^hv=6PMFb#h te_Z#bg/BYcY6/!