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 l= {k\%Ipb#?whb;XO{ <9h+ٓJt)1W-*/a"0~ml [r51YF G,kzNa>B N9#V=hN#g|d<%踢 0MH #ϭ¥eq+h$*8Z4iQzWG~`I{PJS^"jJryxENL c=xeC/4TjyJG]L'|qUhX?.BTLL~0TQԕܢ qK|(c<&׸{hQX8HQPG_GJ_Ӷi7.avk~SjëCНotZv_e7"9vW(˝TxmaL%3wC+ұgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ơv@}R0P|)]QV EZw-33ꚉ#\XKb pe+>y ܬ\X  36::=O8R'|*!RJ絷4P! *ߕ9 !<އHjI6L f4]) TA c&Hv-L$P kI3 u]D2'){}6BОAr #O}XAD"%GUߊTro*񶺱#A!21sGc5yM:/x챜FW|B-2XI~W+)Xk,ە1 CngMq䌪_唘l**h0A;xLqx9Yt ٱdnC\wۈ^D9Mqrr#jڠ{8L.Qr{ sLs8Z .D|`¹'MZ/Mi8 "4]f"LskTK# i5 8XQĝfzHadn:tQt߾~!h8Pa[$(y'ds>vl[E >ȯYu5aEA몷Q>g{4PGr]+exؼh!Bu0h,aGi` roDiS(1)gXtMhc,| @D.  ;ԼZr4@KΈv([,`nB*dY~ZirEKu)I/ $) m(}3-jox5ڛI]Oʦl֥obYqLwm"G܁PH^٭+![̸ڞ èDR3X6e~S$kcX4:HɊ N0P*~G[W^c3Y,f"һclXyln/iRo~7[L4+?@>;Rm=tW˃xZe2NPc̤BL]r59$BBA)r_YVJ:}|zAÃ&~O.߰]6ͽ)MMag bJIq_<e(rdOrڑGrdCE Z͔.K0K#ͥ r |jW!zJ-[`cC}u0nF)y￙§,Q"|ΎS|v |>YidiR&'79I5(u]ZFo &t<+{Rur 7{UqZj5U!lPmSeg X,A/̯0ҋl1 b6lgYZc0a16d333d40d05aa6e4c832cf66241d37a991a1665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c 7059b0deb1a41419deae0813f26171d1a4319fbfcd3281bae09c799a64c70f69ffdbbb4c99d4ea41 = Randomised_Social_Choice