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  u u+"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{U^7-۴?_,QK/ҐWѰ<N6=UrٙP.RaAV,9DIV-n@Z 1v;+a>Xgڏu>[~$;qC1.$``16Ir DZgYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļݵ'BO4fXl! .cCx⦿LW{hϨrҸfF;#V[Ǵ[G-cZF꧓Ogb B‰#6ÃA uøPöN19w-ke`T*go9qgYZ7zXZִF! #]ŗXi%96@ƒz0E$wv'ﲠM`j~?׸)B\z#=(j:M:Ļq,FENL@l#1k~X%|Ej3 Sm5I =x,ݎ1i*O&P0'ϼn D>u:p>zK~VhPp5=h=.h 'aA»h0w M:o-%Ug]Ȗsu'TR-K 󄙲f̛mu@|GsYԦ;]Ěs˳ܓܧ=׮uobWMoUNT2A\bRW#6YŮ^vd'8:Lr o cޤk۔GN]CnebwF5 PeR}`= hwbD 2*|A"(`(@2CdFgYZf5b2259d67b5574974e15ca627fa5208ad6e6fd93fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de d423e696cbd8052390366debb40bea8c4171dfd4 + HOL-Hahn_Banach