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 -) L S/ FunWithTilings:threads=2elapsed=49.535cpu=52.672gc=0.248factor=1.067zXZ ) FunWithTilingsF! ?]ŗXf1-/6vRZ#q$-RR s(|CdGe%-?FZDޗ)R0Mi̓w{6Ϯ]wmZ"/SVpk SU,fX`/N|}7=\hjcI7mdٟ:tAzf2`Ұ4w\9|o.PBp/[%a"?刂L~Zhn,yjx= l ;)q|O49eR@Ӛ40"ED L\߳Fэ ^Jfdk߳xB6B}3 RJDVн]]C!c04iR-bޘ՞ 5}$T4Eb;{9B>_r7/pӽO\u#k ؽ4aA2NZ!X k;jq(~gYZ7zXZִF! E]]ŗXi%H/D8%l#Hx'8ZyP2!S8UŅ4~?2'+dykg1л JF%9F^Z  U6v=]@5I9@][^кByœ_̜QSGdƦl/|3a 8']yvOƐ Ra\K{g(E^!'uJsL?5`鴪**1Ca W(ŷ*]7,Mÿx4NC._ߡƽv||rCM|WGnJY<3ee:IߍeoNZt{UQĊV8垻L'OpsGy߄K)6BdL| ҕ#Z^}>>w\q\^S(o5akN>uhD-j'Cv=8 j0f"dThWs_Ͳ!zeHrCS[^PX!ޗL|yp{=׫ƻf\ԋ!a1K5"3p]r0PNKt,T{Nhv# 3 >㭏hNgYZ65384518925f4821a3bac1385e15208197b717b8 92998bf5fbe9a3a928a920a635dbd205dde49b3a 929a6bf413193ab3ba47df98e4fa1c70b35c8ed0 a59109d2ca341d125311a74e38b48df10164a0528c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07