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   s 6+pE_1RX~Li>9o|šQV(ZjLCכqbObjS|p;s+eN%mO,] BfsJR=읅K@ғ6:v0uEkkoD#Z?'y,:8IVF@oupy= 'k̪p_ːC+ + x%gYZ7zXZִF! D:]ŗXi%;PCI<O=q9e'10#?E,Z3PԐ_Q, z `,?t5&x%>d!WsPcm͢ JǣE:TtO^o׉0&=yO atoREbj$Na+O7'C2*?&&S.yxn< j[ {ŷ"*24'r3j~YLu :}Id:7"ݛMW9>J=J}6SE\zUżێg* 0Ol28vx.4ϯ_ژS,'@89?~>AXm3>Jjb AFᒄ  O)$:kT@!ݖ>d|Z!<-r_F*xC9ؘ(C>K`y++rq=b?-UQ3B|:ShL x2DTe"s$FJ 5 "8& //3LQR`)lƲ ytn_ڄH r0$Zlf 2ODۻ@ $sĈRVs=YZ<,UkTcǸQ +!No'7ҎnTZ,WI syʧW4Ol9qS<ݕTVU wo0 F@zԃ7;'E oSAVaG`@7lp\QjsPGpZV8_\|uk{B1n;c/(!Ģ(wЩK;w[Fs)^m7';OKy?w<2fX3nbj*o[,:ܙ +=Am3GA ]/\Z/unSz CuX*G ))٦ HzC#b&5x:՟a$R!8h*OƊ<+*P}uZkr6f3' ~萕BK?| #hux7$kb;y V1bR{V/ bu<ٸ脪<{m.qDi82CJ >tFWsF#<x1 ؠ;gYZ614c01df97242ad71ecfe14c9ca9c936bd2ee6774b2e4ef84f2f7c72f1d619e9e1af08455389b338 41e65c246344adfe660a1912fbe78ce79cc96f73 5aa58055026b37e2d27a1f1556c277b7a86990f6   ZF-UNITY