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 S) \T ?/ HOL-Statespace:threads=2elapsed=16.308cpu=18.620gc=0.568factor=1.147zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]wO ]ȦO:_bwM&~ֺKc׬{0%j[xtûBY!2-?O: K][$fq?B+@[eA O!q!>]HΨ, ~>ku(׏`ZBDΒ ) HOL-StatespacePȋVD,J5JxW#БgW;r,fIIps#5-!ۼ2Iwyo_Rla?BL~h/OfpU0{ܺprc<`18I _YpoѪ5SEEG + ^jv?gKC1˂pQ@y|Μ(^a0pA*]>(Wn[ _廎_#:g;9EҲ&ƀ4BkN-ҸdM"QrUL = IE$?4!|}#z`ZLб &]Y@.w|>60guW7([{}HAqY3" e*Ɨ{s1n KBF0}Mat)t$VGv|{3^}2-Z0E' 2F[~F8feS;|eVN,H;V8p:TUqQl)  zy0|N'ښIo.ؕy?OM+:՛ v UQ$QqDNq,hg)"C02*@ojQfut's4pt61ٛY ")[^{ZvǏfC;?S/׮;4ͥ}̱$Eb7fx%=aRtR_h]^gLg ` 2 &E9嬘BCX' ֔;ݞjL#_4{/NA ߧK7)*0]e/"]$u ALry# Ψ0gYZ1a10cc298df6d2efd8c06d5527c768032d6fcc75 26e40afdb7e834e0eba44f1c492aa43d0dd63676 2c3bc6cbc40c0bbdd7aaa457a86aa2940c328c66 7972d027a01fabfa9c0b761a2151e7cc5350bee7 8761d72ecfb625a03c9ce014dffd9817238a9ecc a9dc8d6e38d2b4976a96c8ed8dc062bfc06f0721 c811f9e5f506b1b89dce4b8953c1938cc733a6b1 d43bbab3003daa10143df8d9e0c131b7e00b707d ec22b1b58b534dfabf8283dd0e71096382271804 ede24b52ae24c8ae2ad5bff52702f9d05f71d87030107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76