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  9 tt ]S Stuttering_Equivalence:threads=2elapsed=4.347cpu=6.452gc=0.156factor=1.487zXZִF! j]ŗXf[&R;]R#'CN_o,3jL Ѱ&qrrn>n>,cR^ɭ6->{F_%j0rfB(bU/J4se «BVKuPAGh,g#Ύ~SO| ֹaI?eF*Yb9d߬7oxx0MdkTtnOJ/kokYi:N)^9# كgYZ7zXZִF! q]ŗXiɟ#-LJ" [:]d;ȏѭ׫?KTs|Q*K6'oZcG^f5Wh WPgYZ7zXZִF! #]ŗXi%>gY_OɇE>dHn|r|]KpӐx58"^=qz(0>qW0Z`Hy[ ڂ|OV5㬂=^a IC2Lr@ž:v.8^օFDo\"kRjđ< nTCYM˂r+Êa^)m:pjϜpF:XhpE:c}ÐýY_cN+ZO e'4蟐6EPշ?hUKQ! f_gR"CkTG!xI&|H8`}]1 ^l2&K"LT.2zT`cAQEDR0;yeߍc?ua>eipї̠CX UYNG6^kr3K{L6ajpu/'Ռ[}WZ0wO''*Z=4F99b1#}(d]yT@W0E Eȧ #=eO^sn)o$rНo%,uV#YEGVUR5V 0Q(?Nmy@YC|׉E&I||Hf*Lautf]## 3aw2, D΂0+n^|q#)VT^x?Q=ɸGgYZa3692d5134132a58019f7366ae939a1c91ae86fc0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 ac325b9a54ac13f23b2defa85b1d12eacb293154 9 Stuttering_Equivalence