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   ]]]ZF:threads=6elapsed=11.282cpu=36.172gc=1.944factor=3.217zXZִF! W]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(FRtQ]k$.@\m&+"Yy,vQwrKnbJj<|X,Ea):npN0<:[ux7wyC%Vv(sJWEBm'Z|[Qjjͨ;ߵ9a jPy3:!Q'n;%~PF_pCDGFqUvBRTQu7,w˱gYZ7zXZִF! <]ŗXiɟ 1FE`穵;[Ȥq_{~:ocFP8EeJ)*c쵄M=(?Ћ=p~8%X th<YZ2p`E#d^8k=H'\ΥiQ;kr}|0iIkљ8KdgtgYZ7zXZִF! 6>y]ŗXi%9,z3~$""~脗.9|KAS~%y\Jdg2Ty,1[a=R`xHiT82eYݕ)#ȑD)|NTÙ{me2ٜ8lbBm{K\Ŏ6h.^3-Z_W>O^4H֤s*ZYZN7 'ϊ}&Jqv?R@T-AR˘1 Y%Y܀+D Ʌb1v Aeq0h NRHܛu a2X\BIs{j1BI ߴB<-Dcs n.c02ӳJxhԷanٵ >ٽܺE\Z-/:56XN e(FFꝩQ41BrGi]n züЂ{O{.r@R/*Ka6za7l7#~