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   s' mZ5;SDtC٫{ho:dWI'ᢼևIɐWoVBZIOs4±gYZ7zXZִF! H2]ŗXi%6qϜ-k kSNk1UZ\ܸCUӍǏƻ8;BP[ *VR-  +*{9_*v-ud]6yvWVRTߗ~HVi!dR LOjvrh#2v&PJ#a389ZA%LMU\[ב]%q61RwE0M{U.]>< qc'E(›2.%؄>ᬃ@vk¬V4*EE45\D7F 3 iށā ꄪCiͿyzM܉cV>+()֌]$%oI5(/SSG9S6tFgtE"@1^Q4afM?\ 'hcwlZ<%J_$gm2ձ&ƢX?n iAJbJ[c49 qF#>𳰤 \L3w4Ao>α׆2hP0%@|ҏzj\=8l0JJ ըJsP(%bGFik\V03]\E%7 C-ZC4 T6D'wLf |0zR=}N$6lOC~OQ4'(ۢ,R/i=k$?;÷ڣ@_hko?tj ڳ$h)qSL0<u婀۷z!}pPR L+0]Ԋh%>iXC4PƬhŷ (1(ҦY4`dot|QB@n+ "gYZa8785832d5506f7509985fd06917c805a9d831d51e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 93aa5b119e92db86968b1b4e4036e2c365e5aaea ' WorkerWrapper