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 ]]HOL-Nominal:threads=6elapsed=6.244cpu=14.052gc=0.904factor=2.257zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮK1/D9qmr@CXGA}*lYɵndNIjW/z~aЧg._T74: ~aQZV!KpG]w鐉Z8~[DDՄջ$,Rprsۖ*>R <#ڷ̫!r{- ƻ"ە/WYeW]T\>n꾥-̕ .\̗IK\u&&"G9 (-zrրDF7ɤ3 T ( VPR X A[\V 횢c}K0% >QZ}oNai )XRp$26 6^7#sD]XQtO\P)Y T(OHËbi,^4mQT,k9:_r 0:hc :]pXdt.5_R>b7Ū] "?,s)leq"i81'N)HobxP KCrw)aEx6?Z{i<1Nu**0PFsü =٢Y&TQMTrp&y8$Ռ!f aVT0`FGN,`ս z}R.-=@ҜNG1T Ȣs(v6]2= 00$ȸOˮ'nzfgډzUbg,xy$73.* ȍ-PO3.c'ﮂF6(:BO %g#*7<-zGUgYZdd4a0f92153d9809f596ce7186357de5d07a1d773b2e508b2aff2188633a82560156c897030a4024 d978af76c1573e6af7cd36158fcce388a4145b80 94cebb575091070c67b7e956f656be629ac72f021571b3f6370e3163bb765378837b6584ee79ee95 # HOL-Nominal