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  Tc_}I/l/9# zF]_&hyyN# (n\c,~V[,]LxNIhI4 g/}z2gQnfoa*F)E\F.1mxSf\KNf*렿hJPV_sMNZԿ7dy *fd [PzUp|$&y @@ۤ9JqN:݇hZB7#㽺l}4H"Ҽb9 o' P[ NG;- L݉c#qRQ=[qPcIZ[*KXEUrF",zgYhI+ k_RFD0=ue69#<(/Ts7m[$0p4^UC'I`dYQyj\c?;C0ȮV 1 ( #wnh-LD0o!,Ob7OI   ZF-Inductj3k>"!|)hmD(?R[AB/%޴ܶ)Ţ>MqnN;ۡj!1̽tC+gС\rkah^"% F,+Iqo#4wE8x8]tĿ{}DL!@c+OԫZChN`ͩ\>la%<F#q25+oR=$1H&iߐxdz :oy]Yh"O ^T ʣU[`n j}NjXSu+ZNĉ4ƧڃRhbn8J&&Nw67"Y.*ݙcUJTAʢHGd;;z?mOR1ϼb=W. q gp}tjLGsh/TV@}#OE8EY&#p7t* ߋ~w3]'&w eP9 ܶ tEGDD`C(pl\)|Ϡh_w˶ԙ N5Pۇle=ZF]Pn[(ޯ {OWիZB[gBL@lxx'-Fwf6WHR=9ޕi"6U}Z9U ~\z4!; ,o|nxͦ#( sf XNIgVҏt"xHY^GhKL@0Ki|,EH.&x;g+/\V?_ [5(cO/aHE40kxiqRiAF^XUXG308unFW*n*Is DXɱgYZ13a708e80ede860b56bb4255667ef38f89d00fb6 211c6d820a07c7d8a8909ce1ea47cba8bd05be8e 25d36e152c256908a18b0792a5344e6043680b74 475f233ae2035d666d45be596b68cdb684836c21 54a2b9cfc7b1ee599e8551acdde97ea61c960b05 6f72817e7acac96bc07022dc6afaa9420e4140ab 7353b7546cb46d8fe8a83ba365b83de30653aa5f 7c86bb6abe5d55bc734d8fb4133675fd6baa01b3 88bf2019a4473fec21b474c43e91a66330d82045 a3a98637edd490eace6aca8e896600a6e62245e6 c4ac8dc1d359c2084e08495882ea5245994e4e5f ce84eada21d67fb38022743b9fde5b6e2d8c71a8 dd3a99112e079d3315463008fca03d05dfacc330 e619331dbd8ef867353881a9d44cf095ae0469a1 e6ef99fc2bdf343d2951af24afe67b66665908f8 ec183088b851237645051a5014b3dc03d30e2bfd edc4d1779a3a5d82f56aad55f6095cffc9871aad fafb911cdd11521c98216baa33000acde2ff02441d303aa48c02fbfb8fe205c90ee243804756e6a6 08965c534c4374e3d01143cbee9cf396c114f95a