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  $ ]/ Eisbach:threads=4elapsed=2.187cpu=2.552gc=0.000factor=1.177zXZִF! |]ŗXf1-q4(~$Q?bִp;w~ ѾA`FIa 5v:L5B\u'W +>G83p54=[ć4MXA7*3GMSAc[]OE kclnj<\Bڭ͖kP=ȱgYZ7zXZִF! ]]ŗXiɟsмHI:j|W?iUF|1_RtK—+ܤlJ3ȅ:Vkl 5K6S,-tu30-JMKa rB:S[j)n%zgYZ7zXZִF! 6:]ŗXi%ES3>Ln"䖇(pP!?Dwµ ;/aޱlp!W)di}J( %GH+%p8xkDԾwKpչ( Y ^iw=uIm#Y2|j 96[ǕIUhp<ǻ5v AdV KŸcs#-Kl Mimv&ӪK? w9'A k/&!SCn좞1Un=\Qu; ۅCC?.L. 5T즺QxFf^GrђjEG͟N?h&Xv[ =сyu-FWzAu?eRhQl[id,]P%V£uNBE7\HOK3Zg Yyo_4 Y_ܣsv{ޫeOqW0Gu޻|[X@ ?28Ѿ"$QD;\L*+˻ ZJgYZe3f627e962065f488d3f641aed36e555e55a69b076b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568   Eisbach