SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 a% d|\ ]/ VolpanoSmith:threads=4elapsed=7.373cpu=16.824gc=0.544factor=2.287zXZִF! l]ŗXf[&4Pb<h"֞y[b45Uܵ`v ހ8rаm.Sk?4vyjyyB 0˽+DpC%ho|֡?GqtwvM`M.TeL=sd>/ࠍ;Y# :G@w:Mf?21E$.Xz[2vz }@Cq Vރ3ݫAͧr,ME|ǘxސe9jE#gq1KAqP-:$׶gb [6ز#"W۬;?Ȳ{'l*}qOy'θ"gYZ7zXZִF! w]ŗXiɟS+;̕*A!@l@?UVfp+„(ikC6Ň3L=PlFƙiPвe],$0 \A҆_rVtJMsPt@hvwf;K\#66ؑr;xY 1L;-emZB>q7[_n~  93sgtHTL"ŊD(\3*J?9<2&S}ym]e?U?J1׿6e!VaVlzNf9mDcCp{w|dšR a*-䦺dܫx?2ސd2'J-:WyeI2S4{ݸӘ4Tc2YLPQ5Xy?U'q_"Dk t u] d;ZF>P {F_@ƹayxs6lڿ.پ4kJoVW0N-љP @ܥw E s,KKs &y.idFI/Ebiif$Eظ>C/Pհ;_G+=}`.0!tD|[xBqrICZ jg3fZdx@{N^&m '5R#B䣈*S?jhH$]ѭך;u ;C^J>4Bϛ165lkGndؕyp1+ ~BHgYZe2a4946dbd6799ee61313218c26c04bf766879a01795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 % VolpanoSmith