SQLite format 3@ . YYQ77Atableisabelle_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, "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 ?% | %S Posix-Lexing:threads=2elapsed=15.205cpu=28.328gc=1.548factor=1.867zXZִF! /<]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1ƼTC,i~6uȻ3:j_i}4RK8{ry/%* ϔ\6E%f tvgQ C{^턨 pbSw* "z0۱^`f!CL{Vbs#Š/C¥"-IJ,az[~۾Yd7WӣjAhѓж~@ 1H$å2ʼ"#fjBV֦R"aƬ*9]l{pVby܁3/$w 簏{J3b^ >. KC Ir6G L] S ;69IA@4tdz1꬚|ylXK@ɗ SUjH"yg.q"uYacLі1W&nܕl}--kH$ud\a|~H!kE~2 ^$V4&wD<'f]~Z<t8ضl>FpTq$Ÿlc2*d×ۍjbN͚a*jPYpOB> g$c;s $.x ?i>=[T$; fw'd(#Ϋ?_qOV^BϦ>)+}jtI}FM*Tavf}.b{a6!N?LK谔/)DBl Z=Jy1  ?8'dy ̱gYZ08ac7e261d343e5dc1c9683573ff9f206914a573 155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 623c7152078ab8668a85ebcddbf3ff7a84fbc27e 70b6156516dedf8c4b101f9047d7e1717eb03406f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 4327e9f81d43314e8d3500382c2e7fa2226b5ab0 % Posix-Lexing