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 L5 L  Lam-ml-Normalization:threads=2elapsed=11.267cpu=18.640gc=0.980factor=1.657zX 5 Lam-ml-NormalizationZִF! E!]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0zh\HR E[)-g3eiL4哄SGi&1U$q+Fۉp4"r28lytAH$#CZv#<\h(s~RECe؟f_B4Az?׹/,OaQo&N?;ߞVd;'rA$+̝xI.kU;!gYt Pd -h=uGL`oR0 ^Xsn7 Y[~Z@ܶ!U0EJmLb9zĕs(ecP(O-[f!gg!MJ7 iJC^e1/4ч#G-VWYh&$Gq [rZ=}N@ gҿs䫠H?EЈH;mO 1[/o? R@X;m Nv5ҍݸm8ܤq+CLP=|TRecO_HXe0Ȝ1au$ɒFiRujgaW52yĊ Uhx@}O}>h{*d/f$.6CiQ  $Bqz|^]Q]1W PHE9eV&sMfzy+-LRoXّMGާ'Ȼ!v^a.ؤp_(h<{_U"NE(DxAp\N.P=$L_uwGRTOc^whvQn )+o~Ġ?dtۣ݉b’Mo"Y寻m @LNXX 22x5.qg얭 ;9Y^w5|9RpȓhEk*CT?iW6fR~ci~`_K&QKdz@de@S)z(~KHfM@J`mg[j jbi9m}ݮ퐕Jzw'iX?-ے϶ ft&VȬ('^Ůok}D$ fY=efz]c@La+lW87z>+>ONDع; ٛgYZ7zXZִF! ?9]ŗXi%HJ'ptl%&;oKEh3%8LU= & ^ኋ->D  xaQ ݻAl뎲[띍'D^ L{"3TbL6ku`N(+ S{&y=Z)j 9DګٟgU">UY#AWhRVx+1MV${]( r2Rv9~40TK'4h*8ΉT:M"-wtAheq1vB[ "X9Nq?*ʬInhsߛYL1!{Anx־RH0 4}F6cu} :"xeueOb$ȱC3!(J`&!?7 .b (h ytiy2nЦfe4_ʜqII5 ͥ@y0IV[moysm3 σtgsX |/(%WrG0M:(a'SK5NigS6J4Q/uh0T}&}C[4ϽJ0]cT|Q:ytU ;y&Z\!K `Uʣ[lZ)Y(I.k+H'decAqfzANĊpxr=4mw´M#_կEp.JҚsctiH] %1˙6h0{B (rL ߥln<)b+zŐT 3)`Kcз^Klx~Bޟ@eΤ?; )ƢC\)fm|P|!0#w4:7$bS< \tc6Ȧ=gbz<8 VeWP-M#1:(8~]QgYZ22153a9ee83c690aaec55d637858de1d3e4ec0dc 41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 8d065f375f639d3b9a5b76c07b27058e95555fe3 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8e8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 4c655bd4326cc947356dfdd882a713b0de06e798