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  : :C|t$ ]/ CYK:threads=2elapsed=4.896cpu=8.944gc=0.384factor=1.837zXZִF! ]ŗXf1-/6vRZy/``$%'Yx3zK_!ނ#)=k'ԼPy՚6b88tC}L;('kNھ~Py7p,9*>kX{Ύ4kψtareϣ3p ##8|R(fl;NۻzoFϊ[s;bc#buhU}O?d$[ tgYZ7zXZִF! ;::name=CYK.CYKelapsed=2.774cpu=4.888gc=0.184fЖXgST}YZ7zXZִF! ' ]ŗXi%90ù0WGR'/> C~K*,#N1hR ؗәT_?cghrBB,[%_)l(1D;*r骘c/4n_kGZr uagLP]BZϠY "x 4Wf+j#|Tr="!e֢u 2"fxSjqUAUR=}}hs\9kV/֋Ƽ as0Sx/hȯ:hGEd!RcOMmr >";N^@c+1`n+tt%Dļt>@IXؠ6&>).a+_72W!dgWNO4aR鞞a G=fA^O#32| Brz.GYw"`yNbz75\i9: ld( =|m 5)UZjl/7-6@WѝWI$T߁vPy4hi?{ʸ {_qzim@)B%o:rZ>6$Fl`J1 S@obr6J[mY"׉ImT#?TڀcJTjWLC[wo,W]TB@=Y0!?.3݆&l#Xm0&&zgǭ}hO-gYZ177c9fd76b37cb37974e64d9d58a4191e5edc98dee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198  CYK