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 {7 $4 ]/ Coinductive_Languages:threads=2elapsed=19.452cpu=35.376gc=1.336factor=1.827zXZִF! ,]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NV c:iN1IqS5tR+ *"mȪRzXI_g2X.ܔli{nBua@کfp0/Ih ])#2%#``m7 ~) ֵ?Xp'bA /U3;r J%NLi_a Wlu:Ede@d~5ow 5^>xr4 n;/h܁5OPzi{\Z$N1Ȕ{ Q[?C ?1_qE`AS!aO(B 8_ \| ??V1#[ejơ/ӆ̿?m3*-.'$&.bںqnG-`+:+f)חِt9zZdnI^= 8;*̩1 6cTz)&`1}54V48b/?L~-$eK~h}xnX/+4NmgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{ddt#maw!L d̬R$ԁNͻ`i_2V'_Br5nW%@rv6^ #5DjzV=gV@TVQg %cPtWN~-IwCvem~h+`"s~m@RHBkwUiOѨYĘuϥG7ĜkhYfPj;O`t>llv'W j՛wҸ# "2~h0F;%b&!UaV 2j2[f';'J (Aj; ϰkj5Bgl rLgYZb90981937a1ab71b62f1b54928611eaec1b4ee952722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 7 Coinductive_Languages