SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 E% L , ]/ VolpanoSmith:threads=2elapsed=8.314cpu=14.612gc=0.644factor=1.767zXZִF! ^]ŗXf1-/6vR[iB9Gf}P9O`4Fm;s2ڃw)"kv7V(B:Ĝh 8T]Ӿ7iG˟x-YgYZ7zXZִF! }]ŗXiɟS+;̕*A!@l@?UVfpr[;Ԙ.4>\"p:Y&k`wK20@Izt=bVVdV@A)6pgPu)2{gYZ7zXZִF! 9]ŗXi%;3 /B{aU-SSš+#4$x|,X ^d(fۉMG)uU,Ү{r؋1{Wh+DV((m#7OYw[l0בz|yX3͎Ɣd%zʺr;raf81zNQTF\M pm)j}Mz I`;ŵ cTeͬ%juՙ5{G6?wم̹r^6 s6nnjTQYwh<\ۃץC2${=@7vlr奚+5E|Uf ;⑹jdST>P8 |lrh :b?%DgV0RR~ eESd|ce@R+~1F̠g8Hq6<UN9@ә-lhݧ߈>x;Pmȁ5m+^Brڮl#X(3kU+USkku,(${Q@Ko`fY__Z&0jݩVlYxzq?TD}g3K/89qMT' fzyme˚/Q~ĸ[ PIBxYRs\Z؜BB'M>t;&"+iX y0Ve,gM |Syj`'X2o9s5KgYZc28ee29c4ae1f3f5b45cd5b8bbb820027b8962e4665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee % VolpanoSmith