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 HH) t O/]ZF-Induct:threads=6elapsed=3.298cpu=10.808gc=0.400factor=3.287zXZִF! )B]ŗXf1-W_X vL7Blv!~Psԇ4[FD"-ݽ\1T{< Zjz&Yz c 7PQ?rUtZ2£Y8hUb\""OE]?Oك:|䉜[.׬Uƫ%1gf1UQ#3?Ѫ ?FUc3\ie=p!]B;YgO ZUpbZi%̫`   ZF-Induct lYg`J1@9~e^?j*)2a<)⪅sЫ<9j~Gk8=9hP=7^.vd nu vI7ϊ 6]7G^횿ϐY6bG묍>Sbvx.;UX=k!zq,eZZ3>i*pޕˮ#[͏ܟ'+=8 9'7̚b(\uqvBHU bhRq h^z+5Y˚q08yMkmF8/"hptTUFW7z+8 [ېdb&SJTgYZ7zXZִF! 3]ŗXi%Nz!3{ܼ{ VG |J˵5!BNa#Y Wodk2<Ԡ?\hD7QmOɞy w]Q Pޭ~M3;u@yEBtD{@1J/𶝋;fL~r}@0^lcYjzsUج42dFRekSt W$#p @OĀZ*-遷<Njۢ/U3EX>9՝= 2k vaEg0uS{I&w;>gt[ZH3Em_P7( ΣBF>\ƹ &~aC$w ѫb Y4'zak #sT(i~B&Fi8<%` {ENAL1M&o8$7spy/gb)-5vjWkaP=mZ.,s3 dx8J?9RUI;~B/u