SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 JJ+d m Category:threads=2elapsed=3.178cpu=5.716gc=0.268factor=1.807zXZִF! ]ŗXf1-/6vRZy_^&Z`Qp osr@P[[՝YJ_ W?IH.%Qu1l>`Y6Şu™WM05&Bew<%?ˮ?4wI^7c4͂ʋ;Wmޫpj(Ѭx xgԧ^12:JؐJߤ[aW7F>hxi^11T6zZCM5_bbqLO4mITDZ=b,OJ 3\aK)Y&+-bٵV׻:=)ysM['/Vf: 71ORd9<̟sL)Fx OP]Q-ֹmۻN6ȤI}%yv)5_])M \fo!t IX }:Yyq5gYZ7zXZִF! =]ŗXi%:5Gjffěr>xWvo#x2LgA4٪q h?j lG    Categoryg"}*ify| ZN$6;']v<< ``&Wޡݫo PuBkXsݣ'ĮO'1|gRIiX# XpY6=5=u#!v ~G@%QSPc17xN˃*24JR<bnҜ) ]`yQǥ|{ē ^镓rщgjqOU6Io58F~GT -P:P4}*1@fɵqFbyK )N:WOEXrɾ2*ˇB&n`M?½J؆<֍fd1̺r4zuD^> a/q/ ~7S4 Ke&.nc>˘g5eӞxN