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 !1 $$ ] HOL-Imperative_HOL:threads=6elapsed=36.082cpu=68.696gc=2.104factor=1.907zXZִF! 0]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}cLU&0ѽG8i|] ŒaJMCXI?j;u KLZMߏC+{3hG{yX|Jdux}m;6|0QBGFRDmu7||ߍK0j6炘E)|FOǷ`T"m䁜y $ӦYVؽP Z.h;2&Tf*B3pi@e1{fQaGIJn=A0!A[7*% W3tZfyً`$$^>Hg,+A~$ΝN8ǍwW޾ʘ{Q-~,9f[Y[[_-g>Zc(o<(瞓ݤ9Em2XܗJ>DcD0|B bջ6MɘK]~i"4r=:vE-}Gѳ㶆!amOrٹ}jML8t=0a4X#=kÝXM/+-OVZjsI̋ˈ#ӚA4.Fqy_zNoϑV"Й0 PzX6=uCQ#@)|'0Q|5NjܮHBhЭ&L0+KqFuQyfҀeO! wvw?s F%n Fh@t6=uDm/oe;JV-0=Er%3?O64+Pduߔaľr^ĸ|݅?A >]>/Tj  ׍MgYZ7zXZִF! J]ŗXi%> SʚWq =kwE4L}jq#MA" ƴh6yiu)knN?kɐ*o{:n%ЉiH-\#*ӳ2k6^z>w5·?š'ͱHoR툣u I.X _O樓ڕ13|ə<>[}NAko!\~yk _0:a"]4(޵rҊWyL-O_j SfMu"kBE^W5J%9:K+ %W|% H<1lJP@R*nm_T-jqM*A;уsXT+WMGSO!&{#`GJjQ {3K|Jps"lȺ&F1]Cd:oǰ$$M0/{ 2@Ր9R0P A(N=vz{A343׏{Gݱ-vL#j3~_{4ncvems slށYۊ-b3 sMU$eyNi>6Des џO]灾ƩKް?s`^]$uX7Jۤu&-q'x8 =+p n+El(-SUQ58&v&b87%Pf2 )VJDX5:^.6٢YcMBNuO"cflrkᇩSZrI^&CE)ס$;n>,:T[㥬|b{dI rdKB-t\;MC }w^5dU |gN1:7V{UQ1Z6k11Ĉ$?WrGLZ=b)<$P4PT-(V}` i7H ՗&t82ț%0pyP.|crE)6.ˣjrm> ,sOp. ZLw=] #.LRbΓ$kޗ98xZOEh@n