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 a \ ]%]CAVA_Base:threads=2elapsed=8.180cpu=15.928gc=1.000factor=1.957zXZִF! ;]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=|6-NR$Ӱ&'s)1~)3p$#1]LJdS%Lnu'' ;-}@ e7JX}Yֱ{wX|J4F>'Rgnu*IP2ÇT2uT-k oWxDª˅yTAߴ]x3|s+OQ5.1QZpFVG7VO9Q4Arf ۸ i;) X!El`sQ؞bxU٨h DvCxwN̊olj,(I[eW7/X,OkQK _-|'ZYzɺ#j,}bzZNO A|4!Q^Ig -Xz]w7.׆hLcCYk Q\X)i2B:}H3{ |zjFW?KО4oggYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2e6Q*ZZt9GH) Ufz0JȍvWcɁu|$wBCfCULxk?ȩ1 mޖLEH?] sܙ&_^))1\휫m"pgÕ\{챜,0[qD< arp@))xZ[7=pIXC(*V:R/4HJt]6Wz?9x+sh W얆V{yKN<72+v芕Lo@z9o]=FHɦm5D) B,2]t -(2^'9#g6,Ƶ+tr<0=}== |ES-Pif,V[_kS2l gϗPm/({ؖ?`pAWxpFY,I! 99 B8yW!H.& &^qp='\1: hvg\hh:mcLk GTlH'>vsVv#ZgZv[{zu5څ#-PP9`_b')H1ʰ&\yi_I_<7F nAN]"G_I̯m*7 ͍E^ e&ls`ٍz,