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 ##F 4t ;/ ZF-UNITY:threads=6elapsed=6.599cpu=33.176gc=1.200factor=5.037zXZִF! R]ŗXf1-WHIkWxXrN֫>b`ѻPy4+ҥWaU_YUśZc5a8x`yt.<;Xa#{y8&X_mCM(QycT5?fNق j䰭v   ZF-UNITYtE aKab@wx!Ğ]}VUMWdǣF׆1#}Իg\83NEfbx} P$6bzԦ4CxA1$SwY]b K< r;$WoOlG٠sQ;b I6bIU:"qy8wݥWbGқmsA(J>;D%)tV3EZ%&}P۷ _J don$4~OšP-U_gpƯO}gdz8k$w~**߽sZWe)otHE+9-~$bKQ@rҌ+bI @@ImFK zjIiITk-Y|+dEIlo:uЮr3 !%I3]΄YҺ,y2zN骆a4߈7 4f|K Ľgr|v#+WD򹌁+}1ֹipIҋ56zd"̩8#Qm4W$5 Mg ZB1a $`[D^|r825ec\%AէZy_bw+ v ]Pe|_bnhQapĦHs4kMqVutnKT$R7U{}d,K"J 'H9*c\Lʩj"յD2DR+YČcHb'޴ H-XkLvV / ""C?t?cG8-L7XARdh]ދ)A&{j3].zqK\A>ۋ6k ; m=, )p UF43.b+XconPS,h~F9pCjxiX,v VnI7Ve;_ dNasKz_V2*`nޏtJ!^hZMgˑv:(k*SP" >(â|g\QB_tjeJ/~[.>k0Wmo00lvrߴ$zs:5'~Aa❟PAR*j#n m;rr4\ȀO-k+┞c.Vz_P{yÆ̱V`wVNG[+\Hai"Ù/ʶ-/X, &xfX¢Sq"5;^VH]Z @c᧊_ !4rSF5;*A(v XEpy"2Uݗӱв6zwkG]Ț-F-%q,f6p_>0&h~щ ^ #rBp?z^~۱gYZ7zXZִF! !t]ŗXi%>,Vvvl/E+|,Q;C{Ot3yZVk1; m Dfo fԽ>&^p/dYRHVÄ҇}CO&MٸC=\ײ6 <ܶcr{y0h.dZZgxb0 a KC'^:{&xn\ِlʹ9x>>xYʀdEhn0$z2R7`^ 0xD ``Cָ2LL,5Gb?3^3Lց/?,TOxc~(*3N>ěa1 Uϳ;oUžN^FtF<QWjJ^@1~?4NAxxڿinaoa;&<%KՙPCo6K^~oۓ{!M}ԽKw?#nas%:Dzy@緡Q dhڡv*LҴzl1 I+C[ó$}5-͔dA|:BM7gYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 1de571610dd535d91aec3c0e4179958f706b06fe 25d36e152c256908a18b0792a5344e6043680b74 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 3d042c01ebe40811fee37ac47fce7b6ea9e031be 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5ed42714d026e75104e8022b8a901adac4d43d81 7413162bf661a814e55d4e68819c87b062565a18 772a7387aa921ff40b9a641b7f16b54d1c199351 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26 c4ac8dc1d359c2084e08495882ea5245994e4e5f dd3a99112e079d3315463008fca03d05dfacc330680aafe9229ef73c81f6b008c602c3fae9c15e45 bf4cbbc0f252aad07d3fa406439fea072072eed4