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 BB;   ] Isar_Ref:threads=2elapsed=10.779cpu=16.804gc=1.212factor=1.567zXZִF! C{]ŗXf1-8>l޷VO +҄RXۼfxAajS* ̹T(w Cmιt5ϟwoJg¼ S/ɨL;{.Z]{d3:f#gb M<=5IşEs{ ywѥ9^RLS)1|<9S;4_P&q$}қhO /'w-x-t瀞,q S 'w2KХo `b~'N` MfLKMxTrYn6lLi5ÛO!M3JE^D%{O:y:n*RagYZ7zXZִF! 9>]ŗXiɟ]O5-|01 Wg9Ъ,~szqXݢ'+)oH'Stb3pqC]m^.*/KOOTe(]5һi${#V[HzYᶼC gA_v@‘}xZʴ#ۨM5+O% y!$֍*}/TǪ.M'6S9Ϭ&y&jbH2Z/j-Ue.=}D ؿS[<̴QƏT*w]ľJ: v UCu tvNāxWS Z,VzĂRV6e齚GvgYZ7zXZִF! 14C]ŗXi%;ULT%ML= #;LOdZE(p1T*xa$cw1E րGqE@.oe ;ia^e).g` s:? 3,ހ^}0YP=D+J "53>kɜɩQvB<ǞnvcNhx |_P^\@ɩgeqSNyƚ  vh~nIϙ0 A&zJǶ~o؅&h'͒tּbb9:'3TKw3۶#n  vmFsSm\ZI7hɕ\Z'i- 2p$ u"aB+&ۙ7H]2x WExrݪs.E^qjehR<'dc[ vf3G_sx/Yq.-+l}(;Df\{>Y#Iڗ8C6<ʣKz X'@VLo&?זN[ 댏##"/(tP .?0X4i:H^ PĀ9\BNu>fHgVٱ'/|Y #P!lMDruOd|nb Λ,`TiJb !-"0TCYΦ{LRȲ`wrsH |͏|~n`y/,HTAJYtyVq{Kw#%.ba.αgYZ45c250fe37d01cc9c5390b8543d8d4d83226c8e8f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 600e22bc2edc8056b332800032b4ed87cbe79023   Isar_Ref