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 n L ]]]ZF:threads=6elapsed=11.525cpu=37.156gc=1.948factor=3.227zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw3yIזvZӣ-)Ul> Yu|/E=7<󹮽*_> q\)>+iEcLܑp^d7/r]Ȅ3š> #۪~`* Bc$g)Z2îH9n@l\ JEN\_s #TPd|gkYQ!< l`bRH?2jiQaBgIbm&먍3򫛃h'Î~*9@1\N"^ _Z:VP9#\d\9#mɿ8UV ߸o睕=p&?۪A֚nGovz6g b_}] Df?2lOKd>x2l {OB@bA1ZS jmx= v]7k |Q:f5 6&#tIc'ËyV)xH+D W[Ja+ 6B/`f4~OdSw:p%&+k Y;- KZIt-x}#_Sc/I 8%*N+CһBY}+&~m gmHI^ŝ+m(G[QyS8ёC1iM gYZ7zXZִF! 8}]ŗXi%90!)C^dx=}ҽ<]l_Nyp A \82,%j=./0 rSMJc.Uz&`*h,ʫOQ!W Gj^GĢ._%N_|%hxR}to8ʸZ陟C>z4YJX6R2QTCiO o9uoN`yBiE} ]${z~dUocP$Jzr.giOV"?X0HL+75 L96v? =dB'1P ŬS)t\tۡ?b&T B?9T'(H?[p%zaG s7Y=nC{9@:?' )ϑHk^bARgS1P1,C[OSIA/ ?h4#ᢃG72,v s9?kTu gµtߵ{J@YDNxl͉{2%qX=+ ` 8*MU5ևRm$A?E#Cfpn#W{gI\w'96Ċ'[8J֕S/C<<$;%c:\6kRDMzR$rc;S1(a.>8W-jFıJ~eZվ."= ט |)jT5z02ۋ;8JrUtM9UĦ[ _=_t$$2No&ާZؓ~[9E%tOlEhvPLh8I(P]:Mq; akTc9g sJ&dPgx#%CgӉ%6eBK P 2j qlxd]P͊.z._gxI:L6Ȥ|wu"W߮屭gq `xXL")u)‘wǝ: Nc , Lm=kZQ &n}ھHWP#!xKMGp'Nl)څƵ3{ qEgYZ15324b2b5b5de27f5794917847da1af565fad226fa37635535c1a91559f94a7dc9acf81e08caa63c85ee661c4d2307968e9f21cf7ce51bd1f0926f7c  ZF