SQLite format 3@ . YYQ77Atableisabelle_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, "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 V1 $T s/ JiveDataStoreModel:threads=2elapsed=13.544cpu=23.404gc=1.140factor=1.737zXZִF! ]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 (NTM̍4WB %b?l%i Dm??b>gx3LVm*+LW鴁f"nީX) ܾqv۟0cꆴwP8k(Fy,|J]ť>dfalPjhrڎ٩>Y!GNP Lմo4gYZ7zXZִF! Kb]ŗXi%6yKڇ:x^HѵN8Go*o<@ aICwʻq3Pݎzr?Jv.=]j#=6 +mh~ A6E4M/!+ZLArg$ĎklP@/H2+&hf\]`'N 5.d#%>#d(h_"p<|SS"l)PZ_xJه~WG'zzK@#4:CUEXs7(X)ǒ: %zg6R' ] MŰޤU|1Gv( tM#C0Pe>pUn3U-ZZh 4x le5U{Ereqt}2LR T4\aH $kzKz\ >yJ zem:_YӘ ]l+k+Tv匛šJXK B^-rL͠ڧܭT6bi]0A^=!FIt/0`b]`-GY՞w=()`"dtbw7;gq vP~邌*;6Ć%"%S+{dE$_dimTæõ,V:NHڤwϮ}Zh0WԸ0lZ= -[W=H$GLTHrw^{{IH\ۏNEzv>G]J[?G, LԌ@gaM !9~=^3.Qo *(eӍuWh8C$B$6ޟȅ&c:pfq0G 䀱ˈ_MR.jj5w{ ˥ߪ0k35igQXeޥpi)Myul!& c=~D\}!5HʟF P$@s9SRp ZdLgf h(P,*? G|5ү,-@]yjjKԴv- ۪pA(8V=6E ۸*BXmg*҆x82C2 4kLgYZ026e82bdc883e209e95ee7182f179e9a51dfea19 169c7b0b8bf22ae334ae1dd0922e05a66567030f 4c806ff3eeb294bc1497f30ff8f5e9c8100a631a 4ece2e7d462effd4d763587a3986f069689cbfb1 55a9fb8328f80d8e547cdb93d4f21377ec709063 600be4dfb96c96f9239c609c8d82faa9d71f7db0 6c33d46c0057a2b99ab1bb320446117d7c11db32 6d36b4dd7f669f1b63c36b0e453bc9b40bfcec3f 70ce409d38ede16b522b4fa352a7a32dc8d18e08 91cad80aae39bd03a63371f3556db575ae5311b7 a55c24deb47f8cc95fa002619e42b3382a09fd7a b728e68fbb56eceb268eb6fe7d26dc189effadc2 bbec8e70538dd76d3e6e74285fa4bee9e74a3b6c c4a712d8133b4854537888aac9724663140bf2e2 d17ab5e06f74269a63fb59d9dd87c6ab113927fb d27e4dc29569653b37d9d47696fb0b1a3802fa63 e3832e941a546c1a17713964cba57e0b0da6211f e6f30532503bbc60d1dd44cba068487703b6f332 f4ea32759ba07ab8c234ee2c868288124d535e94 f6aee7989fdee8dcdf7c9deecfbcaae5397c3385f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 1 JiveDataStoreModel