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 { < / GoedelGod:threads=2elapsed=10.931cpu=10.512gc=0.112factor=0.967zXZִF! L]ŗXf1-/6vRZȔd} bMJ3>~VaCs2 9ԭ2'qt3>F? NCp/-N'#Ngs  z_Hpg;pӬY46]AzYܶαӫ-cHɠ]#lΙ{]hFALWb@/bŗ`GgYZ7zXZִF! <]ŗXi%H路ԉ@ =p#ūr:]bۈ5HTg y079,$ˁǨjJ@9` rq!ЄJfw   GoedelGodN;]lF. hd[_x9,‘o|_J: &Q Sqx;@ # 9KNq՗ϡkF|j;jl~cZvB=J-(d(eg mXMyK}",bXȑdb/|k4+tVAV3YGaӑ͹aQzp F&GAN'2Z$8ˀUDuZ))+JF;)M,8X~xV"0DFbJ[d}(N0+'Ǿ sd E܌|/z2>Ty2`>m xrˆ!=#)Oƚv2ӃH>@ՓrC "Kuu^[~##Sai l;[u?e(!T8O>!yB#Z_,xtڹla<|/{ͧb ^{ߪU46: [t4Rj.]y-WMpKhLgͽk me>y>%n 831\Ck1ޞ95s0Ir=$P埚!\ϓ G_P[hKdozW;"M8U D# !8[U2\S0 (^