SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   q \ ]/ Huffman:threads=2elapsed=11.301cpu=19.968gc=0.568factor=1.777zXZִF! ]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp Q{ 2mЇYe Ux^O@2]t1W#@I6wx.2Y묋qDwz9o8$†E^̠+DMcSf ʾFzϨ|@[9gsYp1cj\BZ(5Vl[UqWΊٰXw言y [D⋽`+Mx!a+jJ8"+sal|Er8)gEQ q ́JFaت˸Ewč:7O鼢=ajd EcZg0i/hTILH!{gYZ7zXZִF! C>]ŗXiɟt0sϘ ECS>S@=~9o($3A(˖Y݊ZD|c}YZ7zXZִF! F~h]ŗXi%;ܵ|e.*4W`CRk,TσeArө1D:r!wŧ)jDj`ЇZC cBDvrF~߮lUԈ{׉qk] `#tb6`;O{:(j>FCB1.r0 KNC b)]G3FkJ)*! L L=&)o;+"^J8S?'lOn_7Q 5ҕC+ɤ'.v`'YfCd1VTC׌aў0e!k/ydְzJ#QwT;I&s"x.IAvI}ε!ҏQH4^g46h^8鎤'|! 9ɚuIQ7~Q7ș59$ uqK4Zyu3A3׿55tk`RTy RHvW^撘Ƴ+Rr !i+[N }@I,K0є!u&6S7![:½4!ijU,|%3nGF)*BK'#y2~mo1%gRK -=8q_e+UA]V,˝s72ƿ@(Nz ֶΌ+ARM7d<ʙ9)O? Q2s Qt/+[L)i&CHKрOOX@Rk~ǿlFOYD:GM ##tZNEE?9.B>w VcJNk4þ (7_yi.k \':vmOq8b)v|($SBmKs%ϹiBu<-qrtO"n#c2RyP>H)gTy!OO)RS"qS_bCQ備ap^`j *ab& 65UdgYZ71b515132e56d6861f6ef74cc98077a73d30d1f279d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d   Huffman