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 ee% L S Latin_Square:threads=2elapsed=6.709cpu=12.696gc=0.148factor=1.897zXZִF! /t]ŗXf1-/6vRZ(κ4Fԓx \Aiʘ׿@"(L^|̈bɅqĚcr 22o}ALd]}L^zQꄽD@1w\Ey6^d/Ee^+Vd# .wqZ|ƧYZu O'o'-/JtŪ&^CwX16b&.g~ .U*w ]ܧy;>Qire`굳ea47| +S`b/`BGɼfk BOja) m 77$t^2,3-:V?IfB=H jaiN [4u2*%X_O<놦! fwL2y$@>Cs,+w#ehg%C^9=+ǜ/-mVkGbV\z$3PS3 K~44ڥ1$xfA rJ6f ."J''5^;ḴgYZ7zXZִF! *) ]ŗXi% lj:JSgGS}[7`fKf( N^,L3mj:gsbz>DҔODB.!^Z}dOkW(C?XQmb!PU{Եs{ŁMv\|  "}-ҲqB][D>YP݌]L6,CI&? -+T0~L q6Hp9i^2Gaۿ e516j~ZS=\}CLKj ?T[jx6ɏ7 lԏh.OuG0Ҧj oq]gp A9Z+0 3EK1bپo^7{߀^따Xۑ.]W鈿΋*@ )9v[a{(V f4 (`=ik:{?;GW!0.nqGc( P`0?QbhW'Ǐ)odңgtZw@<'B|XUr_ԔBe|*tsZ]$j9߅dΧY*)ҋy~POKu]q)#XsTFƇtזwuZ-@8fkhhealZ%✹7'2.|ܮ:4jG1Ի.&Χ g޽Ư9N75oY,Iw)ӖحƃRԫ^%#v'eľBEsZNW~$GKϿT~~hgYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504b728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de e99e53c8c4713f31f4204541c847f0a963bac0ff % Latin_Square