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 YY' <:U6P W[O:%APFhAU@㖿uߘBl\`Tbk no:LU KVhh77.ι~5>T^|pC&,,s3H Ww[1)ĸ6>VA'|\E'`|El)]8/_=P{Პ,,mqmhsK9 c8ZO0QoWc~*0LU.c&^|.j"M>a)))¹T'mtYP3)&Qm]9%K(=cW;Vw8MouU UI 5gI ' Ribbon_ProofsyHFH c9  N ֒NׄY|5Vd Fkq\X|-F#+Fτ=NF j4[ &Wx۱?mCdQ̓jgiȞ>+2 U(auLQK#5RofI,( IlnR"A|KED^Lu2#X%w?]iU&`3],?u:qjCLe7bM7@uJ{IXF"Pǚ h|l/j  *,D ZŽ>u % 6"<7< SgYZ7zXZִF! [b]ŗXi%R4e@sA6m90CN'ʃ|=fB&Aq}tT.} .ìib9O FO4l7]~޷L{`r X qL?H,2OyP=Z3ۦAJdV'nNrdwpi5gP/o@֟͸4.,#ip6L?S1مh*/}nbRy HcV>8)n.aIsgh(75d09qa"P hfk1|@'{.6);=ϧ@Ӟ2"LDV8'ͺ +,b~ ~ f˚9:SwYgX2jLZQb7kg~:5A?4$|ȕX?ԕafPN"͒wj_bYN8 ү8e >/"4};c?b̰pl/OJ(*F_M>:Yݺȱ*5N9f!>l"Ŏ6N銁H>1&9~":z ձN\pp÷Xnn~׊Mhֈ(|J%eHHIfCR\}NhnIןvrWc>ƾYqbfrK'($o4w1R1;kRF]1k,:i qQhm: lTq7(#N