SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   l3 D,\ ]% Residuated_Lattices:threads=4elapsed=34.006cpu=65.848gc=2.048factor=1.947zXZִF! 0]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/DI@QUCɌAiw#GQxNf}*ϐJ6:O`DU}@PAzX8*:72#TF͕$uj]@ɾ2nxšso] k}we@ř97&swWR*pAlqp[vi-|2dzubĖS>yxl堭̾'C $t[{ƺ1JXPfvxnu?M<'^ qI |)4 3 Residuated_Lattices  -%& 1r\mPvx-һ[y&_ښ`)td7*G9^Y2Jm=$ϐȱ::SiX UE}5Evp7J^'9t, uD,gz!3Tۇ V2R3=Q^?Fm)ՙ;Wmr78 #QgR#3xhV@u9^+G ۽7}\2A ݝO ?lvlJb zvs }#],,kpj0)HmA R»w q5!LjϛQE/h[80U'Q T ΅BCHӮ9Uv"KPdRb/?.: #֔Շ nV}yFZid3v\VT×[r9*y> cZ>ƍeCz_s]]h 0E6PG`.HٱgYZ7zXZִF! <]ŗXiɟi5)9ݻs?lҢ 9s%N,;8^BRd X6sRD!3yeO,T-A$+5z72sZ4﹛}4RtQwgYZ7zXZִF! ]ŗXi%Eb⬞E5u8,Z+Ȟ!O2&?L{2i\֔EQD4 ݟ,}&3 \]T(]Vmu z>?tǥ䷅2R{ ! bo -sb)-#J:q,ݳ)V= usqR*[U-Hq 8 .-^9;ALz41 >5խtYFC䠈[?] y.q3zvh̼u̿oA`t>"OO5qsij1x,bF,~n ٵوz=xye`#( 蹚&i&TFaQ[NY1GnW̦=-OMEQD8y%aJ;C/:r#eM#w[gq#N'D 0n[dR"3\!9 ʖHV(3o֌=VH@"ndn}Ҳ]/%5jt.?V kh4+Nn3 ^>J7`?>GTʄ{zrޙ^0iBջ.E:y'45;d'2@jHC7+v:̼^$P0(Bƙ_Gr,L~`E~fP^ jy k U*b^Zj7p|W_RP+y7\"FA5["{sTWD2dfMJrZwBEYX -Uduu7B}{&{{ߗF9ow8}EؔK{Ei:XƸk:e=)hǽFYHE GtVq/I:TMHchu^0u2C^q`SŞ[[_Z◻[x -.1RJ"Gנ4x-$;f{N2t`.10oW8H+:=9iYбdk%V.Ws+H^=-m"gDF>" :Ed.57VH5lI^ۢi!9$kgi,&p%u2CAB n^/,wK]@vT!1x`ƒO8.PݩN47-9zWَʃ9)cb +\7Ȝ&MDQ+d mٺ OfsYA|AxITPϕFJfJ/3q;՜{0WDxHM:]w0!@NغqpLKTlnyNa.O·._t-dvx[qPi7e˝ykʃAypqGl+$+5W*a6YKB4zwܟ C%uqzd \0I9YnnA8n2I6P?t9\Zܝ7:g(k[ZkޕC : H9U>l 56>"޵a,wגyXH$rKYi;{5t Zh\}t4P5~i'BIϞZүy6Ʋ~nYKaNx%ۘXj}4Ø ćJem( 1| eGVJn2 (7"X^Dj%^EռTo> wSy߹ HMC(>r#} >(t:I0!FH4!1_ d F\Y-q}=4 qGwn_2'R9)K佶ͣUt{NϚXL%"8  QO ,&sYZ|~5>\c?Νc a;קAڍbf6Ih{ekza=Ii %<׏G0ņh|RbӤƖ];e6 s,ϔm{Sf\L[@B܃_O??T;e[cG;o1/,qs]+!ujWO:,ߨ<@ G@inH |xm0wbVo=۾b< e+s>$k gYZa0256d688459a74c647d585d0030a2981b65e54087d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 e0ec58326210cfc58d91b410e3bdbb9fe9c4c5fc b2166a7efca2236ae26fc56c535f5cff52f93ff6 fbf44f114b8444a6e0f43f2fafbf74ddc7a35966