SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 LL1+ |$ / Strong_Security:threads=2elapsed=20.569cpu=39.712gc=1.320factor=1.937zXZִF! Wu]ŗXf1-/6vR[]IJ!@W&ac.{趑Kls ?.==lćߎ}\J6zETP$6F=E!R֡~$l)IL!CE ش` e^AV܅9;t-0@OH::2JBw5zv$GVX,rJXgNqqgi8jr¢v؃ q T\ZwgOQVT /V+KRi8^)Zp&ow]kl7%MYkFin )$?e0 U}K"D80[t*J}0ez\nBs`4F D\1Ȓu%Zw #aAj2Whbdz(#r!HqT H^u{_[IiTy3_oD'2ҷFPVϏ7Tq+FS%yy ^~:9ykUk9/ś9+9/zueMUb(Fg+B8N4+һA* !6H6\_ c$'Y{J@ŚވV%;6D<]r"^9T v&xgFeЬگ/PD?ĻU khOgB(#,Գ;)nl'*bȭw*8_di_->w7f{)uxzwr AOZ5cVj:~,{(ܩl0:kA<=)DŶw5h',]ZC@NCwa'6X$>ۏݸCeQƆSG;%2Ҫw})%?DKxd'ʳ[p9.wzN<,:r28)3/ Wv񁏔g"$CkM1VZ|^bA?3QgZ\TKs&S1 3V9 хac,E_s^kXTykycIBr,MrJ ]jr@8O&O,Y91Z m~@k",lGL0VB47B +{gYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec aa28aaae513cde6d47a7f4f0509b1328c1e7daae b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d1696728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 + Strong_Security