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  !|4D ]] Spec_Check:threads=4elapsed=1.401cpu=3.860gc=0.072factor=2.767zXZִF! ]ŗXf1-%˓:[L #cI"O nyE .cow?ȵ ZM^u/O+Z'OKx8 |S638Ն۩rӄ4{'aSgGlor)u&"@ۤ3y ^{r. 2gYZ7zXZִF! S]ŗXiɟ?NX)K/Wx2J>naO\h9!$z4ϗ$ʘbdC5<soGz)gYZ7zXZִF! ]ŗXi%B4fcf9זkCLl, E4#$Tfy@b2]E\9_Κ{R}Va(4R}{UQL;&⯆A.U e)G/ڇ*`jp=wQ7$if&*`i}ngn B`P;BeBV?ﵙ+C`SqD._w5Į}cڽK4ԎP<VP%8Չsx1@u;}[Dqָ_cT'yzVUX[BIC:Z!|FDgP>\{h}7GH+=PhAyҶy>YTͪ|=VgYZ8a92c1e248d191e0e7589f4aee840dc09b9084aa9cd33e2f2669d2e2ef0833012528b204015b12df  ! Spec_Check