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 % D< ]/ VolpanoSmith:threads=4elapsed=7.470cpu=16.612gc=0.676factor=2.227zXZִF! \]ŗXf[&4Pb<h"֞y[b45Uܵ`v ހ8rwKWUJ*]o^”X 79u -zP:ƀ$lu 1 kbJ#Z^ U}huSM;NO@\/F~|H>3edPA @]Tr?ǹ q /rU8[Q}+[tsߵJǂaXݣ=Dj6{҉̸- "e: +`z Оm`j !r XñgYZ7zXZִF! y]ŗXiɟS+;̕*A!@l@?UVfpr4;Ԙ/zUU,! $o?כJg?q}(3l.,>~tgYZ7zXZִF! <]ŗXi%Eb⬗zW=crEkcȲWQ!#5 SB%ShcšAQ%%$p0%s:sAYPŜ%,L;TB@ύ!&mς(:Aȣ G*/9UdD i.>jF>I3xD~KpeLKJfS 9 oB!xtÃT1V%7POmb"+es5=TL.=[1(#LXTBT0-9D`S%d[MIa&vd2]sʡj8OpBmER.YZ3hz3r g7~ط?~f\].Y3kְ{"'2ӛkh>JD`7.2Ҽ\kc9|ڍ&um|ΰP!g' )VEeHZaM_yaXK5x*,Kp*ϰH{hB-g{IO-xLcK9iszk5З] pY_}\Ъ('g#М7*sCOAw}y:l`aXƦ]fUp~7؛i-u)8Pr֑j1"9& qT:Bש!X\k۫!:„Pqf:+ YT-2NL]YLcU7<̝ f5y-$(4=[N1ڜ)W4iNoƁ;\\ Aƚm6 Y}nvΎaVwvA^C8PA(.|&N7dvmTG o݋ʹxjҿU0BI1{` A{o`4S`KsQH鬒|A(P7g'Y-b3 pJ­И/>N碿^N/'HU`4,JFR *OO?,j,{ y:bgYZ077f8c9b143f37430229a8e10362083caf5c85ad87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 % VolpanoSmith