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 ww~4d ?/ Locales:threads=2elapsed=1.859cpu=3.012gc=0.000factor=1.627zXZִF!  ]ŗXf1-̌g.൦:qLk)ޤ)1s&0)t`}d'!ͫDGM+썫_(K#6]6' u|Op[xc`G%h+ F.1yI`"ԒuhzʧA$XߨA[wׁ{4Ql}^.pZ0)+EKO8VF]fzI/H\!*lXb{Dqp&42#=RXFv9 Ov}e$o0R4$V"Y@^м@)e U~1MOO%>\_yXv|{߹EX.x[븽CZxag8Vd5Cͳ_ ^50~m1FEsLWUŰE~SƱlzh77Al1XԔB|7LhZv}O"YFm3t"   Locales,Ác*͛&2YgYZ7zXZִF! m]ŗXi%Hﱣ_~Zܭ"x]g$=tk cvTIm(K`ށ t,XŇآԬ%IhC`8iK#(W☃#" ~n@O_g)-j 9l$^wnRM~28ǫ( 1ޒ5XD70N ug)FhΚ^#ǑO`'lqKX9ģ ǷTmrT9GI(ԌOOJÈzI<(tX3a"!>7/s}E2ߐ#Uo!e7nK+d T-F򽵇b''FJ9Ҡda1V,,vCTir,,R%qy 3wL}^`׃_gYZ007664efb3738ca409342bcbf25b57d436593bcf 1da160366039766e29920490192f3e8c22eb2103 1e026a42c258fb94f4b48c080e1e210318f42f95 67835f79b4845d17e1099b9acdeb364a1bd6de34 6a4e0cd44321be400a4a4c8df0c2dee7a7874284 8f194db846e67a7e87b25a27fa8ba1259c4af82d 9c8d1adee6a84ee9f5224142178592e3ef36ef61 a634d2977750efd14daaf8018feb1fdee3310b68 ce446eca49aaff573a11f5cc1ff525729b6c0716 f6b397756c6413beff46422b39adee24be220ea27f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16