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 0 < ]S IOA:threads=6elapsed=7.180cpu=29.648gc=0.960factor=4.137zXZִF! `]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K imIdx;״gSe!eZҤŰZm[>qu7η{) ||ҿLgeOI44k"d'y{V눭.UA 8;VU&@Pןՙi QW7r@>K{ϽL[;E =JB_)▂_S| d0c$Ō)R)4pPi ǿe;DrR'R&6ꃥ[SoFz9`LˡaҼQ'9nWC@Xg<<+u;X9Z:J avu N,h]VVOXМ i 5ìOۺ7lurX7견0𧑕p"~'Z2YΞ[j䀛$Chܣ/!le,( b{FHz*(gYZ7zXZִF! %y]ŗXi%6Ƥ$p ,T8^u!nw-T!m 4w{4ѱ({L#G6ћ=X$`5?)*"DP":V9 o-y!1SCjF:'vsOCHT+|@R>*Wȣ%L"K]@ZN oWOptPa_li^J0L:l^mu[3^gL8%X G6ǫ%hZF,됍q_s 53cJאO)ǦcZ'< G,F=A]`Atbǩ7,2BVӳߋ 'Oጃe<OiP$#•fz%yFj+e4^z#NVgQd a 11pGh83 ;5v.oJtC9;e>f~Cxhi4u<+OH6l0SC0pyl*SKhkN5qJi()$m@Sc,׶_B u2pamn#1Ap"JZKC I+OM?Y.e(c꩕:oQ`=>'4vSlrŷ{NN'a>yQ;Ef0ZlId˱M|twzx3iL+%=UI%PEKgL\TnU#u8@Wj$R* jƞnTd A4iYKʱgYZa84cac4b92b423b434b962e7a1caf646d49d68f4d45c74c3c975463d5aed11161e8ffd9a51437a45 4473f24c6908ad0badf5e15532763e307c56bd29 9a935d177eb52a94e4456ec4f5b63c99be8e2aa3 fc03e3f36ab86c24875a3aa3b4cff89f4096dcfd  IOA