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  t% ,d S Latin_Square:threads=2elapsed=7.116cpu=13.476gc=0.224factor=1.897zXZִF! M]ŗXf1-/6vRZ(9)JTMI> 8R"Nj1Ƕ}UI)FJF:p)e␞?_#/< 7 7DŽQi^0Fq>$G`Xug3k&Q p$fEbShrݑCouޫ'gYZ7zXZִF! ,n*]ŗXi%6xs& o/\>hP7\rS;c1^yWA? QRG]V$Aaw Ԓ$ L{"g-͋#c/~@wOYb 2mQ}2jT =; Di˭=d]{ajԹ&§# T>8 c-9-yLυKC31"R;I!o2SΒ}9f֩ ځ痜NB`/HlDtrq^XDi fDai_{,PM7ҋ)oG%5!,Q!֕ޣFItqӍf6ĦśC}#xXom OA,*u&٠'?k?|$]K-&ٺ_$W+nI Dg8{-aSeT kKH!7U땇rc2}oXggYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504b554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 7923f155cb5790b593a45fa3af20736d5c9351a3 % Latin_Square