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 y | ]/]HOL-Word:threads=6elapsed=8.780cpu=39.760gc=1.460factor=4.537zXZִF! ]ŗXf1-q恈eO/O4EhM6}x6 4UO&OGw ho~56UQVPKqO Yr nO%cZ,BO\7*y,1p nY<|( dLL(CV\'i@?G N았'ـyqU#5|Nga=`!>AޘӠ4(|&JP# yQlqGJa/P4q7wKo~U++2vVQP@Cp&a#uxlM`Ej 7̅IDs݂DI2[5IN@jΕq.XX P, 89WotN|-|&Nl'$~ 8+{ٗt&>e.; Z]J1ͪV;LZ8Asd`ӉߛJ8Mjاeu#HFC)w`󿈰_0"KiDM2䚑ap9`>X(:e#)ٍn 77\ o-gYZ7zXZִF! ,]ŗXi%ύ9'B=eGI7ٴVzt Syʪ I뮬-H yS*CF=p8۞$F="Qm]V_WZ hI >?]mW~ .Qa-)}Sx~Vw1SndeWtzԂ [Gs PV#Ò 3ΙohCߡ露D_ԠU;u- } "< jѧ:wqOeXerO\n@0߂c]\@QxxVw|'6tۤ.x9U}Ȁba㾊F+~bk^ɢҮuO{fb;Wr޶t)w2;aR >@^SJ./=K&OzvFaügt+1l nynО[#ٽQpusBLGxY_a `؀6+>dd5c|SIS ڛ^ahi+mj(d%-FR orCf:~f<É5 B"jA"tY 5Z