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  =\, w Tail_Recursive_Functions:threads=2elapsed=4.421cpu=8.488gc=0.428factor=1.927 = Tail_Recursive_FunctionszXZִF! ]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+3UPOՈZ oF=itW *Qij=_"g})Q2+I$?3S +SB=H]xdMҗu_ [p#L.F6z綏y $ V6 -jШ6 F#ܘFmS,3s`R ]C_m (+f!yk,Pƒ, irPAgo~Pgj=M;im]e$ f&']!\4OA|*nϗJi&#\8rTXP0Ŗ f qD2҆r|Vv/z9MBt/K~6ܫ!;T̃EŰx .6B:f_eFK*@LMIa-`<[5jA;hݯ}Gj$mg IÃm%/V^OT("xΐ*FhG ^nm!`!2p8_UKgH2յ Z ,|- N<Cşۊ඾O‘ iԷNQQa@Q/lBͯr˛c٣yAu"ļ=tQ"hnIMu?f^5D(P*WoϹ% j"@L7ȶYhUt>X&w(Q/T o\ :uRjS2 agm5R(ra IZ8~Q$.D,n@2{N6T5;!R>' Z^#K~xڞVvsɡTH%ˊbENאy-$SQa%DN-|ApgYZ482081933c65411080eeb8dce3c87e1fed9e7f2f 7284de7108cc21216686417c9c894a2419534c28 bca9497c07ee6e8063469840c42e6880fd3d4705 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 ec0e142c5493a009ca2ee8a268ec69ead48e8128 efff4aee245ec79abd34cf37075c41956222804680f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146