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 e) d\ S/ FunWithTilings:threads=2elapsed=25.801cpu=49.360gc=0.232factor=1.917zXZִF!  ]ŗXf1-/6vRZ#q$-RR s(|CdGe%-?FZDjOc[޻yHp? =mGH!]F7s ]Xd$ RF#9ӥZlFK4jN ) FunWithTilingsg( OQFFPdsW/eLbbjc$2y0~.,P )aH\~A:tJ>Y a,AtLnr'&{ƱgYZ7zXZִF! f]ŗXi% Ϗfc2ÌwT^NH%b WhOh-y$/Oq:.DK2FeݔC,q(r8{i0g|q G=kO3؝F[82puvD=YM]QgRcneyd*FJ}ΕDoד`R_jq X}d:1:tO\셐OK$?쯕=9Mp YD>iY-) -W*/7MTJB'Wm+#Ŝ<6'5/Un9Ѣ<\ޣEP{kY}^`뀿rs\1"[_03jD|?LK3³$׹{mF7Y |TG:BgB=@.jlgہVMXLM2\!*LK Eܹ&‚}l $u.?lYtdH+)vfB }d`.[JDV(ēު'i&rHK;+cKe YGv=kL>/X &V `$A%&].͋-k?4r#?\Ò4|%׹ͦ| /Te*?fxu;6~n Mt*#`(0|^6KKE VjҨlG]mJ}FۡGU0.{9U=fBRL$DJAA;ͮixd2 HQn0 uhvEʷ NQ%9Z>,nR֓r9eJC'ז$ܹm^}8y|.j =10_aI;"XD Rd Ő\cOBB~GNODюI^4=V(e5PGbߞ2WSy2& `xD7L[Jud]/mJPHBWQ9NnIa5Ў [ t_K"Ȇ iWs^ myͫTZXyuweg-~TPjLŅqec/7yxA'Q!2ͮw.a!~dr|Ѫe!+ J~b UBi_ KqK!'eON uēfPxI V2uN_!0:a-`oAJ(tSDo B\珟ަ<J{9r@P&Lϱ47} w:W~jþǷHNϩ7jfPCH <0LIJjQ ` sgYZ65384518925f4821a3bac1385e15208197b717b8 929a6bf413193ab3ba47df98e4fa1c70b35c8ed0 a59109d2ca341d125311a74e38b48df10164a052 d3c168226a9d88d268ab16daf783cbe6c5fe8cf93b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd