SQLite format 3@ .  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 e% l|\ ]/ VolpanoSmith:threads=4elapsed=7.317cpu=16.412gc=0.532factor=2.247zXZִF! p]ŗXf[&4Pb<h"֞y[b45Uܵ`v ހ8r7۹g3Oe2,O+‹z*q0o ?Tm(HK"p(8e,P@)f@Xv,-}T m bZ7+;dtqD;Mf6tWⷚx@#,pZ)u5r >gGR84nxH]j-KyRe 3Jy=3^~~axMDT .4$R# ǚjv(at"j!֊V>bʵ .=Gxu\|UMFܑgYZ7zXZִF! x]ŗXiɟS+;̕*A!@l@?UVfprFԲziw"Eݵ8^+C;V] aٌlThM_k=EY{@@eʝ# gYZ7zXZִF! ?]ŗXi%B#ÒKS]MdL@ܙnYGF:EEm}El4PUc[Fkns,seX/k:^B 󑲆ڄ[XoMhVţ G\ظl̫h< "7]9A7ulT [׌_(ю4:4N52g#-R 6ocHQYwD96=,p+ypKK[> ͡YE]cހ$̃b &ug1z;il2婈~ OR+08zMrԿ:j,$57kS!$ȓ.R8XM-,lF9e}#l:TRBd-e[XsSVWL8 1X4a=SO:l=CaXӵ (%±c4: 2@,?dSr3F1<</=biպhPvM^?n!&f" W( |kWlխ'zUvr`F]4 CO#8&KKS@-elNbp_qocE02.hk%Wq N[}e01B{0 $wQ 0`Ru^C" !$fA,mzgAfAv/p';Tѿ~!nz?Ezos&<אHNƗ$l-yEPnCKF!fG!vk "G:$sY]0~ij)nݞ6^ ͌7QTJ ۤОgYZa7724bcf4e93c614dd08f1739d81ff70cf2378cb3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 % VolpanoSmith