SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 !%  ]/ VolpanoSmith:threads=2elapsed=8.435cpu=14.128gc=0.648factor=1.687zXZִF! E]ŗXf[&4Pb<h"֞y[b45UܵDv3ʶ&%iTc}?=M+s-n#/EZ s򭴵 qmW#r;bc3ˡD _WNKӈfh{D3CPЂ9Sl N8*Phf/ K4.wdjk3092*n8E6@/Vfy0VSho~Ǯ J5cʼnx:ؐW{fUb,DxF y3ϐNVgYZ7zXZִF! |]ŗXiɟS+;̕*A!@l@?UVfp+;Lԗ$rz~ay5cy( w0„lllorI$\Pʩ}IȱgYZ7zXZִF! 9]ŗXi%>g˗gq4x<%<^"ֺbT5洼FJbcoY;ir6ǣ,ʫEwn!vџeB:I bOm_hl0NBsr@C #k}@\Hfp)~%j4;8$W~NSm:6C}Y ZϽ$3 k]k٭,_rK YB(j7^ ?عq1(ri>b*#E)bףt13A/0:@N275j(4)>aU7R [ӕE@bu?Y3S&3!$&㪱9q*@r뎯Hhc8R`́N'2n9Ƿ v=_m 5oO%U,oTDN 7x&{aS B;qRD "t gށ΍dƐ]>GpTc;c#!5O*r7Veܢ =:U2 FSnVkv