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 b' Ttt ]/ HotelKeyCards:threads=2elapsed=6.520cpu=12.800gc=0.372factor=1.967zXZִF! ]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kT33_R\`O|Ď NFA"݌AF#2ja=Ӏ3fD} 8 m5n+wqZr+ʎbG7)Tl>TT]mIa4w^؀s{ꆴJطCPrGvGKO *kW]͘`g{]97=aq̞f@֖AG'mLXZoy !).Gk5xA=<"gʔMI9iC0v`Fom=M}po i\9 G;KeÅyӟDYJGEbBgYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ AT6_՘6S9&HW/{Y'B-EtYgtB Y#1~~b LN_\ " O:MA&XC֡q;_rAUQDSF6PhgYZ7zXZִF! 2{q]ŗXi%;C/<;F3Ӣ_ĉ*b.(=&Ȋ뙅K yH9xYFï,>g>[ɤh#I#̂%jQ}^ DZ$!`buK % u~C`:W;2ΖHLBq>jTΙ tY]}?