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 ((U ~i6GߦV\[Grq/뇗!qA"=qV3) QLfЙfU)/Ox˱꼥vך 0x CRߨ gjM$ &)dOD^Y63cfCpIwp `X褪p1־Q.ܐŸ#zDJͣb~> OYf4Jvxn!o:f.gN ~ O^[O^8_ˑhM1U@m3Py3Ao_YW__ֆEJG! zyBK*ga0jվ,)HQlU[/t)t*nD2d8iHN'щm%'gm?YҽSC+Rq?/B&[l ?[n r7I@%=gYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 z0?6ϥ|~ZΝ88_6#7(GѷB˶ץd/[u<ƈ|311vܫ 6i5H[ZY tͶd7u_ "3R {~c>qr#eπ7%&GeNeR-")umFBG|)iXiB1 E@[q7]Qk1ĉCIb<bڤLxJִ\C'˰ЗHrմڹ MH)9WJSzcst0([:nZ*PT;̧"yL>+#48(!W(&b~]@k- {޳TR`x U3@54Q?LWz9\#bT!? :|zB ^˚#&IJTjMZ6y,ImB2|V+2|ůYntz=>h#?ž{]vxxal$u۰iXmf=ŧdB\؇rB%zq.F0|;X4j3ZTpa刟R0'lcAÓ wgq>fǎ ԥr `Xr̬u"ޕ:dy6H'錧ohG4_N2)4hH}+Av'"3 FFWu=hϩ 9`ܮ9X ϸ/DώNKzJeTXɌ& j5zքk 4pwEht+/@:ș[䖲W1e>KG6:cR<)F#O|Foީ$(52YŜl]R5&S9zM{ЫU2 S9>sѤec_*%ƕN1>̦՗n9th֕G(yJTj*.*?_Z*[d+#p5K7{XKFY=Q$#Val"-  -HEѱgYZ181adbf30464ebb9c86a226f80d016c3447730fda70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39  TLA