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 %! l< s/ HOL-Induct:threads=2elapsed=21.144cpu=38.432gc=5.924factor=1.827zXZִF  ! HOL-Induct! =]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L 4#oqUp`a*ȭN8v4WNwBdK TgjuUUop,b&kn*5{oY%]Q&K>4FƎRZ|)Wr[T4N%A&f ^zOkF,V'uT]Pflv͆+zzdsf7x<*l xpV.p"SiQC󈛓xDظ٠eHQ{k5Q2 "ar궦ʨ" tS}Pbg,2[M5۞knmc1A~+m %Yc:U;3ӹ6jk-k UsBlZإ6Lyp;C?bHrv=ظM,p2HF ,"|0Xĥ3(!;(@^&!u?n.stb8h/V~YO '$ eX@`w^,.( "cx[pW5; ٖ~O5ŴMs׵r)0طIm*̏S3ۇ#<3rTDHcx=]mѦXZâEn %7w [Q$`]'Gn"Ղ|pD띐k€{S\&#Rψ bAJ8r)Nkk 1[}L8T?GüV1C)ur(F DZ O(_N#ʰvFfB~eJ#cW0UUf^Uf4N1aE8yzbd[^FLr#ٰT&w-dV%`\V[jS?큆aNT f&wkF0zj^ŒE,L8JzLw?*.{e9[R`O4Ȉf!}{ '<(I/v)21M"m-DUkI:>??MQɹSR#YԻM5J`^~| CLbg%ߒzLJھOynY5A<μ1ɤMaI%E`ǡ+'ۄP6~&r9|~,$ILDA텇{'|!(“uӒǷ49Ic,ߴQK}l osQizl5*o:MQsa`[{: p5j"ߚu5eCD!P{u5MDZ[O6w?21Ub%6kL-[ll' }ٮ,*2/Odw/SPkh4