SQLite format 3 @ .
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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
V7 L D ]%
HOL-Quotient_Examples:threads=6elapsed=26.745cpu=44.148gc=3.016factor=1.657zXZ ִF ! ] ŗXf1- q恈N/|p~p%++ "yqL^
?DS^ SBr ~'\;
Hbm4YѪߘ6 SAdp7KrЏN`>nI#[9fG iZZO#`0@wysjRrO >]fIh=GrQpNN|sfSqy "_94a) ƒ]$ 7,#ʪf4-]U X9`c}C #\<, ?:|uDY@PnNHK 4oD;ְ1'ā5" 39~'I%:9l3xx P9'6TJ& :y1{"ܒaVٽ!=C*#Q)a;+.6@E EL GL^rzn7Gl-#umR?#ލ^0lu?W,dL
ejbg7Pމ~'S_͌? " WHlKF;GL m xvh'Uoe-I8H.!4MIϷ^;=vYɿ2h5Gݳŋͱ"{pcFaÆidPܿ?Z`?Q;2 T 6 g YZ7zXZ ִF ! ] ŗXiɟ1Tgs C2MуIT.@o\֙X>O5619.YtDB
HXAH 0x1P7ݸM
߹Z~Z+x::0 X`Ÿ["?ypsHl( L65g늺f).툁\J,A ,Qf7f~!~XnuN<)3#mP %ߑ$] eiC 7tg YZ7zXZ ִF ! c[] ŗXi%Bȿ }/wX\\5;H\ZpuX# ,sE1ok봳Z'+BߐJV5 g?K$DnS=OUKvs؆땜=OE+[ :O] P0jLa _O -PaBdY9 *j|8pr>5H_=$A~V]hW 姷I 'tEP#^v}YyC .D4Vث+(zlEFFv\ o-4vǘI>tj<"6Ů'Bm iFkye F9-6= X/~B~-5FO
ʼn/naO7 )dP
*Io4
DR"ż^'<579 3.B*F
jWN|_R|YBW0ȵ@ F+J[ 9eg YZ7M/ |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListGenerated_Code.ML7zXZ ִF !
6u] 9
! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAc Ðeؠx]G>m/ Xݪ,7Ȣbo:lTC|@piY> j37t ٠ ^r_~ OuBêd(KXBQ8E"Nh}C{?ޖ i SH6S@
&@ Q)zTwn!]Uj"?x1:.1v=E2;-kA "]A^pW:~pz.-nڍPԆTBt:5 ƱYpFpR.1StFq$n̟/}S7fg55x敜՚(W>W.xַ9{yɅ)ڠRS:z{XFت%rQ~Ė.i Y͡ Q8_h
8wPA16ժif'N#=PoYH9|VϦUg6ob /BUg+g}ҽ G| L;z.1?r|L.W55f1N т%in#s q 66iJ s)L; rcղwcH6 eGI8o" v^l{\3lc}M3o!נB\!cbIϝ>5+ա(2--ʲh~0Tg;7vl!Lۧ=Sc]Sz-#Ś^`/y H-@5 q [6g YZ7K/ HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetGenerated_Code.ML7zXZ ִF ! X] 9
! kH
~6ң~&
4E~A3I3?B XCi,ncP)~_ֽ/`gO)cv7[
dC\\[m_ - $NE tWl Ű5^`~C'x$L&TFaN qveQv6+/j*-i~#"z?:UFFfvE{#b=ho]KOK#F_k295f8[GaaYrrrk.]MI71_Ws-dKIB| i^Pw4Nd.SCR֖a) : % :KZ# ?:qY5 P6B;[K}|YCi1Q qL9x,U14A˗ 0)
i|$xd,w]r֯RFsl3f%yyuB\ϏQ/8L+=-k`y)` ( . g YZ
h J7I/HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetGenerated_Code.MLL7M/HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListGenerated_Code.MLJ7K/ HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetGenerated_Code.ML