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 B' \ ]/ GPU_Kernel_PL:threads=2elapsed=7.284cpu=12.120gc=0.504factor=1.667zXZִF! a]ŗXf1-/6vRZYevta9"z`Xe냂EZ?"< Rڿ$ SvSʼ19.w+ 0%5Wn^!*UA%s`z۔\3TYWn{̋>^Vk5@CwZo6 ui$FDoszG Epys!?шX=loǚȟ՟JoXSGtuR?kܔib#kK.dktUԠ/C_mC8ȃ*JpҁVSXݠL«ՌzIH CIOazH{Q0%/4Zk =gYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},$5#I2xmĸ]R%% {۔٢nzi)Mа3i@ 2¹ z ])E WM麲9o3k8Ƕü޸)KS:1)H^xGew+o޺F61ݎ e%t.)p-OԱ9NRn#~96[%JgYZ7zXZִF! 1"@]ŗXi%93<8)OeA MuOԿM=e6c 9#;[zhq|_^w?x1UW-.W!Ə"F,(0Sȶ^SGآDGz( Nu[r!n^Y@B[r=7_'D'Zy(UW cb}Dtd6ii(.Jk`qVM{;7XQIn{(:E{\XOcHY.֚>ن3q[HHJ@sc(7F*g .aY)f R2fDOY5&FuM|c1y/Vp x+hXTtO!窊J@r-FZ^]}%W/4Zf+pq'+_\f_ 5?]W؍Pn:TeI;&MH֛:. ܾa@ H ąbWb.= Il ttEpsZv1tAq9]2qaEQ ;VQHYN&Wo