SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 h |T ]/ Huffman:threads=4elapsed=8.360cpu=22.224gc=0.428factor=2.667zXZִF! ]ŗXf[&qأ8<±0LB]O& ri=Ⱥ/pY¶yafm4o73 jߛ7ߊF5 Wg-=@ pI'K)iJuNv~FPXHty^H.ZGh\R΢Ҧ;Lqykj,# v4uA^pZ7L'+p#ntk17L$u}Ky-N?&0v Nsbzh-rƄ+P ,{Ŷ핝 Dx{ @-I6w-D Jrdu7XLX1x'FvKN@dg#(Va!ϙ#rRcBB!Gz' pz"HV|T*1TI`%iggYZ7zXZִF! C?]ŗXiɟt0sϘ ECS>SIZ|_n+(N ei FzSzW2N,9[D=x}YZ7zXZִF! B]ŗXi%G̉Sm<򟞲!ɶ ^BWʑ(jd uGB,&_arҖ%9fUOV4N 8 %5XMسTNg{n\ܦ?=*6F䂳B86*ժD[cE w#7 VE?>W"T@ݏlD=~gh|^7JWWs_Z P"ZH5V^yB¬EYQ=?|$~Y_M"ȤaG/f._u6|fƘ@%nkD?[צv7ti 塰ʤXs {{i b' cHcujieM5x29 VqJnv:tZݪI'&K d4?oō'Gkt楑f4@N?% ,؀9 @hgz0_<.:[f` f\ ז,Km$N {57 ,'(t mM;_rcVc#"` [o7VEhGI8x~t!dF{ dC!a ggYZc1572edfffe6c3c382872cfdb32ba897f385dd0878a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59   Huffman