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  a a  %w Topology:threads=2elapsed=5.961cpu=11.076gc=0.824factor=1.867zXZִF! ]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C#@(V[D f1t@VdgKT>RZD|kLjX#F5)b5SNHL=Aĸco7U: $ڲ"G~o(4x0 jy]P5z/][M,`r;+SkBֹ8P& rgYZ7zXZִF! ']ŗXi%6xs*5Bt?$2s>?U~8-- -] F-~!\5 .Y _=or=K2&TKVDteI k]'co*ly_ZĕÞ3.CoRiH(chPTgWH%UsdK7[-|_}ߡ:Wcgsm24c/]˓26 Ajٙpy8:;'٢#% ϞV&Kj1}h6cn_I ϙBz֝㤍*^X}_vzy:lp@zDIsiE{y<|'pZ7~5/*X៉/q5gbe%F:P#li݌^Vau:&)("x3oYғ prb2މ `S2]5Fƈ0# _m-pH]sHi3RBKTO̔w,BȍJY)!E͜2O i+?J{Pv !. xMK*N$-Nk|rʔn;U|/(A~ ~ 3Q}Fa;FR\R|r_=,P~>IP2z /:}E ji{CuKҔXOt gYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f2225554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bd a1e9a19c8fb632a730c1250d9fda421ef09de7d1 cd575134e4f7d947a0da022c86ebac70947630ca   Topology