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  {% $Yj<czX+<2XC>]ҫӐWuCYPXHer0ۍ&'wڷn8*6w`IJ"'£5}tձ* EL{V'+w!'[?ҀtZR=eT>Vs?zl?ҟe(Ҏ{?(`%r@SALlU2;쬶 QjU7# ڛ|YVx|n28dI>Us1Ԙ.}79ݏP1A-4w;AfF$Az*c\$S\l=(XDOQjGӍ [տNxi*_CgYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~E;zROhq`Oxvz}4=qLt\7?{A-;^4%D}-/(%^WzWIƐs?Rdȁ.(lMo0uYl7jwђs+(<@s_`GLH6?nb$5aצfݮ C4CRʁgulx)r_6KL"<@OITAK֧CӻrP"o8 <|ljgYZ7zXZִF!  o]ŗXi%;3菲%_$`I0Zo}_lrP P'R[aTo`=C/fdp?צpg!Mjb=\]2`GټC@Ss=5WT2U;y,W)!6Ɉ \yNP9FupC77h(o[F9 w1 N-Y_kPWAuF)Q [Q8%FkM 66eYLt ]%XǤɟ-u3xE7 Ir71e..m*sRIY6M8oaˍrP0mT96Gh\ufi!o OCxW P"NޣqϰMK7rEYȼ]ȫM^ĮYҟNKeQdh˘c唨#SBl-b E(Oz0 aZXN} "&O .B|_iŃQ{&sZa^K~<8ܬ r40f8f1C *z qC i f%_CfF'|_Ffq+d~R)E(HS_8-AUZ`6;:9+4>yQk\Ҳ(i8[Yix-Ruj]kp/q}7sWҐ:u XL' J]NlҊ2r\O&'jUJiJ'.O)z0&"`:K=Z},ft̐qZxi 1ײ^' gƾiV.a3Qe]F̘IPVyO1CU֑yVE;*. r7<h2m+.UwLා Z "pl}dO/0H(* 3̎ ߄$Ч9@!A-ݞm |@h㛟h~0#YݽPM_{ o2Q@x]5ӹ`F(J;&F"3p]FQPny//("%SAs2Q LSW^cM[\v|@NNʼnΙ{Ǩ"Rŀe㫶 (("Yo*`QKآ^}Q{ћ0/D;):/89y,>([<<]}VфNY[}43 1QW^zDkbV#r߯\(\͚ r};>I}Y-jn%5Δ$#\ b\NipQ s-2OU"g],`-Ns-ݫ-o^l HgF rWt‘6 {V2mu\'~T~^NEoN \C/ _pB_K/ޭN*A)JQ{]&cVRٟ슌&wә ;d"F꼮 /m8HW(_t;E_nkU}cYՆČl#d^^Œ=H2(];8.֩Tj9췭BA+0n{I2fýdd.3ՋXwwpdWG :&@ D(Fb@ zgYZe6e6bc9cdab370b772d20fcb9265174fbee768df665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01a6b785484aa1064fa7de92ad7f593d6dd1803744