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 uu1 $$4 ]/ JiveDataStoreModel:threads=2elapsed=13.180cpu=23.328gc=1.228factor=1.777zXZִF! ]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 & Ӄs2ۀ3GksN+3ՃTHӚ7{Aؒ'cA.j#՞XDč^&CK rrzdMJ'7YP݀GB eZ\O&$uKa%hQk-xKpàZw\YK"MZ5S *5?X#1QX٠_ 5?5SRC' @d[+<v+K?ud|\ 9Hșk,1V(I32m՚X%HFOUmB,s=t  jMs  djt':8S:zHbQ:ǽRwИd^ё􊀶&K{H> W#v=x˯=~6fq?2vQlˉأ#5rpɸ]C=EP@µDOS8!,rL]|_ZC_+/Y"^eUU_ \􋳈 /-~w*q1ium}hy E|Xk5WՓU.p)~sxӘ4P*Xy`YWnJRA{|Y^L2D =Y1J.И!W3n`Kʸ0;n2PEHeqDQȔ^FX 0*ʗN!'Th臱̵AȝK"\H#>}bKETMŞ&fw-sQlDe=}&5ti2߹kk~55H$=L5 S`o]pKe>ۣo`@k +W'Pm-$6b\ |]$R7us$,6q6 zJBnA+nXnJvŸ։ǰ#y; FGpÂAcv[C`pz߈2*\4~_-vX,a`s$dZ3 :{V}rϑӛS-gYZd35efd7ad70cb6f2ca7b479ba8104a056a404ba6e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 1 JiveDataStoreModel