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  &?14aUVe*@7Fl 4˗O(pm %c1$ D(G 7|f& V@3L5랝XPԷwE'K\amh 15@-̈́)B c&41fIs5??@`cXZdm盡l,c!GF7w2 ? HOL-Computational_AlgebraJ*Sa0,8nAԭpڱDذb|ʴXLgT8W}l4S@i>!A)'Z)5Ӂ3:FE8+ci_kLY>~!T>jBycd-o#i7!^a' U%Z \g74p[3Uu~֬Sd`w/-(K^_2nt}Ɩ?%%9*X0+:JžgbG){WZzM.)S%8>v.T]3W/P'k6 ZpNX[ ]]֋@Ω$kGk e+,ٮ)N JY{7B#((Ś y_ƹ{DiFcLX/MS=5ɐP+,g$/R:ZGYHVрT֫wv5Y-re$9sDar<3善E̦i=ef E;~jޢ =k-zDh\. Bh+L 1H1NwhhZb%n?ti+||`vvYr-I84y;?Viu\~m~!B $Q\*@[I+Lgm MLt2^y9uy90<š|L܆%ZQz* ߥ99b?:ˣ\<{>':!FcŇdiQJxwL-eMm^'Y' } v7 CF!PV[z5Ӗ(5+ kT!ߋMI{zReGnqpw;܂uVw;%QXjh/3cv]_DI',9௯׮JM@OtD #-&72&75=eY8M30n pm$)Q~..?%_%_3w08[+,W-n i)tbv_tE;XaP17G܋>X[LZb_ Wڃs6J\֍~IMwwp?>f+n 0U 25[& |[xrSګC?Q5]!r8]O>zd@J[0qvawE9~8gm4mdmK eW!mOjߊAhk-&aȤ;u gj>4wzHC9