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 n7 T l ]% HOL-Quotient_Examples:threads=6elapsed=27.382cpu=43.464gc=2.864factor=1.597zXZִF! J]ŗXf1-q恈N/|p~p%++"yqL^ ?DS^  SBr~'\; Hbm4YѪߘ6S<ȋ~ev12̚y l)i,"Fw[~*W~lbك.umD&{NܭHَIwjuޱ;X`p1fUg.- 0-!IP n>/jIXZѮ'.6Z|HJy}x GT h\`>w`x d zSIT6ج<ɆA1ٲ0T}>Js7y#a 8H9l>Fbc?ƕB}fYz)T#No2Lڻ `ku?U1ko\4V8* ~Y[uC+cSa'ʹmϽ񖨧;õ9?jg'qs^X({K?ɫW⑩Acgި 5m!}_4Xd-)|2}4,mj{4!u gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XOF$W*QH nEJJtU<ɥFe)mPvP J*?ӄNCEjR 377L$BLD c'DrvG !̍h.RQ9HLf,qv6">X Mۊ&s҅W0:Tpⶰ BԾ6+ 02)+]ukYgYZ7zXZִF! ]ŗXi%@f%WjӔKlkFh>j:W8{Hsq= `K* =T#,s UM CrLO-)d0ϩ8QH4|πrQ;[Z:(v6,dw GERp>}7Kd^`S+κE=hj=y/YaK}NW#z NQ>=m%+ T>(lOj M:܉,삺8Y`sTgfYLd g@i۰%YI e[}O@ +'S#/iK#;N%;uh^&2* Mr]1 FXpE}FMtAW"W2r ~$jL>`ftEq8b6B]C)՝~&Bf!`vb;P32H2mA~c9ܯupϖFl!kbvF<"S(׮"0r tҾ扑5D|I` 5[r4 Fa|Gojcla*(P[&&7?c!o)Y8&L")& jZ.i0fW IP2q>mP,jl/8D+M6%x%̡8tȧ}gp\kJ/hcS@I~ %2-xIn̿`p cŵ({|,(hO09/z76-8<0Ir.cŹs [?PlΑ&5ٽ{L]dXxVٜ:3 .^[<]՟>ͧsb: +oGsjur-"!n!EK5'ƖpǴjL F~&; Y~>іح y̟4la쥨'LTECB ݲ"L]'|Bwj aj=>EL񞪴l!Kq ُ mFNiegVj;'tAUUCDk[>&afcmC)h2qq':c1\'~|=Mk_şA+_ӫ$%5M$UT :ĨK򚈌B {p6T[рt8oX]xV\:;*2ZY#vw&w_F{3 rtRdfEÆprMb]!!NKjyǍ(L|s e@R3d^$kR Lڟo5#pAPV>bT;@6{ˉ90{U7`]4e<+RIow&^`mda[xhzFϥq7hT  ܱgYZ65aa066dd363a39f5097807b2726c9e8e2e7c9c6a722fcaa1e8b43a508ba50c6d40dc06804ad4aa9 0a9ce344dfac367830e992bc261ce9786406c92c 6a776fa768e8b16aeaf01a6f504224edb4f9b526 28ad34277ecfac987c6acac2e903416a9a8b5fd1 9e67cde8a5b247f669da880d0001a1f6b176b039 7 HOL-Quotient_Examples