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 wwz \T %% Topology:threads=2elapsed=5.712cpu=10.972gc=0.808factor=1.927zXZִF! A(]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C#p9)c;i koW3 t=X#ANʦH0EC׀XySrvhL[(NuԲWa lڰ? {<4-m(hɍЮ8\+ȡ6%Ƞ{&T;q 3.m WDQ77Lʁ wX[l-Pk ī.Q,]+W?r* jptBў9vj W4[ͩP9pvge/&Z"β׊3#%ry$ٌB`q^gV,zfZ%BӟkD1FJN- s)f9b|%AY ʷ4`,v-G?o4pGl  ~8f;Eו"zaCqINL{01v mLMmH Vkh{R.&c>fDpX#.T|]l   TopologyVfׅ֨Ku+n] MkfO< QAJ0 ^pj 8] +7B:m&4=+E+Bv,dWD6?]Wa@w9~]gfyݍ*xދ1` { .Ė[ ~C3C}蒬|숳ZGa]PSSIfyԫh Ўt1I ;X 1B[k[uf^+-qD3nrDŽq>k"V;GXѼ5q1~jtߍ8uӽ?i-Zi+iScnz,jdf^mvO~Y) ^Q;f.nUrTv).k9 49iLz-Q]K]ʓ5탢tOfX4nr}N{0 YuLOA`! Ľz)&pMMUSJCgYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a bcf07e2969ba85792d5d8c6f853b8534c23b5558878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 278d3a45d56163c7a0a92ad467d4e69c490882ba 80bfda043ce46f93995636976e56de4c618cd9d8 497631ee67cf074fb36c6454e522abd98764eac0